scientific article; zbMATH DE number 512974

zbMATH Open0791.68148MaRDI QIDQ4281685FDOQ4281685

Authors: Christian G. Fermüller 

Publication date: 28 July 1994

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

Recommendations

• Publication:4942004
• Resolution decision procedures
• scientific article; zbMATH DE number 516992

zbMATH Keywords

resolutiondecidabilitydecision problemclause logic

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Cited In (8)

• Recognizing unnecessary clauses in resolution based systems
• Title not available (Why is that?)
• Semantic trees revisited: some new completeness results
• Title not available (Why is that?)
• Title not available (Why is that?)
• BDI: a new decidable clause class
• An overview of resolution decision procedures
• 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 Q4281685)