scientific article; zbMATH DE number 4045228

MaRDI QIDQ3782841zbMATH OpenFDO

Authors G. E. Mints

Publication date 1987

zbMATH Keywords

proof theorylogic programmingproof searchHorn clausesPROLOGminimal predicate calculus

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Structure of proofs (03F07)

Recommendations

• scientific article; zbMATH DE number 4139316
• scientific article; zbMATH DE number 4058910
• Negation as inconsistency. I
• scientific article; zbMATH DE number 52709
• Logic and logic programming. Vol. 1: Foundations

Cited in

(6)

• Declarative Logic Programming: Theory, Systems, and Applications
• scientific article; zbMATH DE number 4139316 (Why is no real title available?)
• scientific article; zbMATH DE number 1983047 (Why is no real title available?)
• scientific article; zbMATH DE number 52709 (Why is no real title available?)
• scientific article; zbMATH DE number 4058910 (Why is no real title available?)
• Proving completeness of logic programs with the cut

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