Propositional truth maintenance systems: Classification and complexity analysis (Q1924776)
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: Propositional truth maintenance systems: Classification and complexity analysis |
scientific article; zbMATH DE number 937273
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Propositional truth maintenance systems: Classification and complexity analysis |
scientific article; zbMATH DE number 937273 |
Statements
Propositional truth maintenance systems: Classification and complexity analysis (English)
0 references
27 January 1997
0 references
truth maintenance
0 references
0 references
0 references
0.87628114
0 references
0.87234706
0 references
0.8678643
0 references
0.8661519
0 references
0.86414766
0 references
0.86399436
0 references
