scientific article; zbMATH DE number 67453

MaRDI QIDQ4012177zbMATH OpenFDO

Authors Elmar Eder

Publication date 27 September 1992

zbMATH Keywords

clause form theorem provingconnection methodconsolutionresolution

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Recommendations

• Consolution as a framework for comparing calculi
• Dissolution
• scientific article; zbMATH DE number 1748573
• scientific article; zbMATH DE number 4139317
• Linear resolution for consequence finding

Cited in

(6)

• Consolution as a framework for comparing calculi
• Controlled integration of the cut rule into connection tableau calculi
• Computing answers with model elimination
• scientific article; zbMATH DE number 3940761 (Why is no real title available?)
• Model elimination without contrapositives
• What you always wanted to know about rigid \(E\)-unification

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