General domain circumscription and its first-order reduction (Q4632291)
From MaRDI portal
scientific article; zbMATH DE number 7048462
| Language | Label | Description | Also known as |
|---|---|---|---|
| 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
