Linearity and regularity with negation normal form (Q703486)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Linearity and regularity with negation normal form |
scientific article |
Statements
Linearity and regularity with negation normal form (English)
0 references
11 January 2005
0 references
Automated theorem proving
0 references
Negation normal form
0 references
Resolution
0 references
Linear resolution
0 references
Non-clausal resolution
0 references
Tableaux
0 references
Regular tableaux
0 references
Excess literal technique
0 references
0 references
