scientific article; zbMATH DE number 8781

zbMATH Open0744.68115MaRDI QIDQ3971269FDOQ3971269

Authors: Ralf Socher 

Publication date: 25 June 1992

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

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

zbMATH Keywords

resolutiontheorem provingcompleteness proofs

Mathematics Subject Classification ID

Cited In (5)

• Title not available (Why is that?)
• Title not available (Why is that?)
• The Completeness of Propositional Resolution: A Simple and Constructive Proof
• Completeness of hyper-resolution via the semantics of disjunctive logic programs
• Completeness of resolution revisited

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)