No label defined (Q3123888)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article |
Statements
9 March 1997
0 references
deduction problem
0 references
many-valued logic
0 references
propositional formula
0 references
polynomial
0 references
algebraic variety
0 references
algorithm
0 references
