Prime implicants of first order formulas via transversal clauses (Q4464262)
From MaRDI portal
scientific article; zbMATH DE number 2067696
Language | Label | Description | Also known as |
---|---|---|---|
English | Prime implicants of first order formulas via transversal clauses |
scientific article; zbMATH DE number 2067696 |
Statements
Prime implicants of first order formulas via transversal clauses (English)
0 references
27 May 2004
0 references
propositional knowledge bases
0 references