scientific article; zbMATH DE number 1507189

MaRDI QIDQ4503909zbMATH OpenFDO

Authors Christian G. Fermüller

Publication date 4 June 2001

zbMATH Keywords

implicational completenessresolutionsigned logics

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Recommendations

• On the refutational completeness of signed binary resolution and hyperresolution
• scientific article; zbMATH DE number 4022664
• The Completeness of Propositional Resolution: A Simple and Constructive Proof
• Completeness of resolution revisited
• scientific article; zbMATH DE number 8781

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 Q4503909)