Linearity and regularity with negation normal form (Q703486)
From MaRDI portal
!
WARNING
This is the item page for this Wikibase entity, intended for internal use and editing purposes.
Please use the normal view instead:
scientific article; zbMATH DE number 2126079
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Linearity and regularity with negation normal form |
scientific article; zbMATH DE number 2126079 |
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
0.8654761910438538
0 references
0.8013901710510254
0 references
0.8010410070419312
0 references
