A first polynomial non-clausal class in many-valued logic (Q6083144)
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: A first polynomial non-clausal class in many-valued logic |
scientific article; zbMATH DE number 7757584
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A first polynomial non-clausal class in many-valued logic |
scientific article; zbMATH DE number 7757584 |
Statements
A first polynomial non-clausal class in many-valued logic (English)
0 references
31 October 2023
0 references
regular many-valued logic
0 references
Horn
0 references
non-clausal
0 references
tractability
0 references
resolution
0 references
DPLL
0 references
satisfiability testing
0 references
logic programming
0 references
theorem proving
0 references
0 references
0 references
0 references
