Completing sort hierarchies (Q1202662)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Completing sort hierarchies |
scientific article; zbMATH DE number 109174
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Completing sort hierarchies |
scientific article; zbMATH DE number 109174 |
Statements
Completing sort hierarchies (English)
0 references
14 February 1993
0 references
sort hierarchy
0 references
many sorted logic
0 references
resolution theorem proving
0 references
