scientific article; zbMATH DE number 910745

MaRDI QIDQ4885907zbMATHFDO

Authors Hans de Nivelle

Publication date 7 April 1997

zbMATH Keywords

sequent calculitheorem provingdecision proceduresproof searchresolution gamecomplete resolution refinements

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Recommendations

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

Cited in

(3)

• scientific article; zbMATH DE number 2079034 (Why is no real title available?)
• Application of the strategy of ordering disjunctives for a modification of the method of resolutions
• A classification of non-liftable orders for resolution

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)