scientific article; zbMATH DE number 4045228

zbMATH Open0641.68144MaRDI QIDQ3782841FDOQ3782841

Authors: G. E. Mints 

Publication date: 1987

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

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

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)

Cited In (6)

• Declarative Logic Programming: Theory, Systems, and Applications
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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)