scientific article; zbMATH DE number 4164185

MaRDI QIDQ3491006zbMATH OpenFDO

Authors X. Nee, David A. Plaisted

Publication date 1990

zbMATH Keywords

proof systemresolution

Mathematics Subject Classification ID

Recommendations

• A complete semantic back chaining proof system
• A semantic backward chaining proof system
• scientific article; zbMATH DE number 4195154
• scientific article; zbMATH DE number 4022664
• Completeness of hyper-resolution via the semantics of disjunctive logic programs

Cited in

(3)

• A semantic backward chaining proof system
• Upside-down meta-interpretation of the model elimination theorem-proving procedure for deduction and abduction
• A complete semantic back chaining proof system

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