The horn basis of a set of clauses (Q3841098)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The horn basis of a set of clauses |
scientific article |
Statements
The horn basis of a set of clauses (English)
0 references
6 October 1998
0 references
set of propositional clauses
0 references
Horn basis
0 references
