scientific article; zbMATH DE number 2169302

MaRDI QIDQ4676752zbMATH OpenFDO

Authors Oleksandr Z. Kalynovskyj

Publication date 20 May 2005

zbMATH Keywords

calculusclausecompletenessresolution

Mathematics Subject Classification ID

Recommendations

• scientific article; zbMATH DE number 67452
• Resolution theorem proving
• scientific article; zbMATH DE number 19145
• Generalization of clauses relative to a theory
• A Non-clausal Connection Calculus

Cited in

(4)

• On Generalization and Subsumption for Ordered Clauses
• scientific article; zbMATH DE number 19145 (Why is no real title available?)
• Does This Set of Clauses Overlap with at Least One MUS?
• Generalization of clauses relative to a theory

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