General domain circumscription and its first-order reduction (Q4632291)
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: General domain circumscription and its first-order reduction |
scientific article; zbMATH DE number 7048462
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | General domain circumscription and its first-order reduction |
scientific article; zbMATH DE number 7048462 |
Statements
General domain circumscription and its first-order reduction (English)
0 references
29 April 2019
0 references
function symbol
0 references
predicate symbol
0 references
universal theory
0 references
existential quantifier
0 references
predicate variable
0 references
0 references
0.803227961063385
0 references
0.7603780627250671
0 references