scientific article; zbMATH DE number 1090101

MaRDI QIDQ4366602zbMATH OpenFDO

Authors Reiner Hähnle, Neil V. Murray, Erik Rosenthal

Publication date 3 May 1999

zbMATH Keywords

negation normal formcompleteness proofsnonclausal inference systemsregular connected tableaux

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Recommendations

• Linearity and regularity with negation normal form
• The Completeness of Propositional Resolution: A Simple and Constructive Proof
• A-ordered tableaux
• Publication:3485886
• scientific article; zbMATH DE number 1189103
• scientific article; zbMATH DE number 4210103
• scientific article; zbMATH DE number 3871320
• scientific article; zbMATH DE number 5173934
• scientific article; zbMATH DE number 4039343
• scientific article; zbMATH DE number 1761419

Cited in

(1)

• Linearity and regularity with negation normal form

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4366602)