scientific article; zbMATH DE number 67453

zbMATH Open0745.68090MaRDI QIDQ4012177FDOQ4012177

Authors: Elmar Eder 

Publication date: 27 September 1992

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

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

zbMATH Keywords

resolutionconnection methodclause form theorem provingconsolution

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Cited In (5)

• Model elimination without contrapositives
• What you always wanted to know about rigid \(E\)-unification
• Computing answers with model elimination
• Controlled integration of the cut rule into connection tableau calculi
• Title not available (Why is that?)

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)