Prime implicants of first order formulas via transversal clauses (Q4464262)
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: Prime implicants of first order formulas via transversal clauses |
scientific article; zbMATH DE number 2067696
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| 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
0.8201649188995361
0 references
0.8173537850379944
0 references
0.7988832592964172
0 references
0.7936049103736877
0 references
