On the satisfiability of circumscription (Q1073786)
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: On the satisfiability of circumscription |
scientific article; zbMATH DE number 3946106
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | On the satisfiability of circumscription |
scientific article; zbMATH DE number 3946106 |
Statements
On the satisfiability of circumscription (English)
0 references
1986
0 references
Es wird gezeigt: Wenn A erfüllbar ist und fast universal bezüglich P, so ist Circum(A;P) erfüllbar. Wenn A universal und erfüllbar ist, so ist Circum(A;P;Q) erfüllbar. Für disjunkte \(P^ 1,...,P^ k\), Q und jedes universale, erfüllbare A ist Circum(A,\(P^ 1>...>P^ k,Q)\) erfüllbar.
0 references
0.9208788
0 references
0.8993158
0 references
0.89063704
0 references
0.8893121
0 references
0.8878452
0 references
0.8872713
0 references
0.88347036
0 references
