Exploiting data dependencies in many-valued logics (Q4868234)
From MaRDI portal
scientific article; zbMATH DE number 852012
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Exploiting data dependencies in many-valued logics |
scientific article; zbMATH DE number 852012 |
Statements
Exploiting data dependencies in many-valued logics (English)
0 references
6 March 1996
0 references
direct products of structures
0 references
resolution
0 references
automated theorem proving
0 references
many-valued logics
0 references
many-valued first-order clauses
0 references
polarity
0 references
Horn formulas
0 references
Davis-Putnam procedure
0 references
0 references
