scientific article; zbMATH DE number 512974

MaRDI QIDQ4281685zbMATH OpenFDO

Authors Christian G. Fermüller

Publication date 28 July 1994

zbMATH Keywords

clause logicdecidabilitydecision problemresolution

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Recommendations

• scientific article; zbMATH DE number 1418449
• Resolution decision procedures
• scientific article; zbMATH DE number 516992

Cited in

(11)

• Deciding the E^+-class by an a posteriori, liftable order
• An overview of resolution decision procedures
• BDI: a new decidable clause class
• scientific article; zbMATH DE number 440110 (Why is no real title available?)
• scientific article; zbMATH DE number 19146 (Why is no real title available?)
• scientific article; zbMATH DE number 1341614 (Why is no real title available?)
• scientific article; zbMATH DE number 516992 (Why is no real title available?)
• Semantic trees revisited: some new completeness results
• scientific article; zbMATH DE number 1418334 (Why is no real title available?)
• Recognizing unnecessary clauses in resolution based systems
• First-order automatic literal model generation

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