scientific article; zbMATH DE number 910745

zbMATH Open0859.03006MaRDI QIDQ4885907FDOQ4885907

Hans de Nivelle

Publication date: 7 April 1997

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

Recommendations

• scientific article; zbMATH DE number 2079034
• Resolution theorem proving
• Theory and Applications of Satisfiability Testing
• Resolution decision procedures

zbMATH Keywords

sequent calculitheorem provingdecision proceduresproof searchresolution gamecomplete resolution refinements

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Cited In (2)

• Application of the strategy of ordering disjunctives for a modification of the method of resolutions
• 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 Q4885907)