scientific article; zbMATH DE number 1090101

zbMATH Open0912.03007MaRDI QIDQ4366602FDOQ4366602

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

Publication date: 3 May 1999

Title of this publication is not available (Why is that?)

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
• scientific article; zbMATH DE number 3871320
• scientific article; zbMATH DE number 5173934
• scientific article; zbMATH DE number 4039343
• scientific article; zbMATH DE number 1761419

zbMATH Keywords

negation normal formcompleteness proofsnonclausal inference systemsregular connected tableaux

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

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)