scientific article; zbMATH DE number 67964

zbMATH Open0747.68083MaRDI QIDQ4013973FDOQ4013973

Authors: W. Wernecke, Peter H. Schmitt 

Publication date: 27 September 1992

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

Recommendations

• scientific article; zbMATH DE number 834570
• Simultaneous rigid sorted unification for tableaux
• scientific article; zbMATH DE number 43237
• scientific article; zbMATH DE number 1759378
• Computational aspects of an order-sorted logic with term declarations

zbMATH Keywords

Prologorder-sorted unificationtableaux calculus

Mathematics Subject Classification ID

Logic programming (68N17) Logic in artificial intelligence (68T27)

Cited In (8)

• Reasoning with preorders and dynamic sorts using free variable tableaux
• Simultaneous rigid sorted unification for tableaux
• Ordered semantic hyper tableaux
• First-order automated reasoning with theories: when deduction modulo theory meets practice
• Unification in sort theories and its applications
• Title not available (Why is that?)
• Projection: a unification procedure for tableaux in conceptual graphs
• Title not available (Why is that?)

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