scientific article; zbMATH DE number 8781

MaRDI QIDQ3971269zbMATH OpenFDO

Authors Ralf Socher

Publication date 25 June 1992

zbMATH Keywords

resolutiontheorem provingcompleteness proofs

Mathematics Subject Classification ID

Recommendations

• Completeness of resolution revisited
• The Completeness of Propositional Resolution: A Simple and Constructive Proof
• Resolution theorem proving
• Completeness of hyper-resolution via the semantics of disjunctive logic programs
• Proof normalization for resolution and paramodulation

Cited in

(6)

• Completeness of hyper-resolution via the semantics of disjunctive logic programs
• scientific article; zbMATH DE number 4128784 (Why is no real title available?)
• Completeness of resolution revisited
• Generalized completeness for SOS resolution and its application to a new notion of relevance
• scientific article; zbMATH DE number 1507189 (Why is no real title available?)
• The Completeness of Propositional Resolution: A Simple and Constructive Proof

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