scientific article

zbMath0747.68083MaRDI QIDQ4013973

W. Wernecke, Peter H. Schmitt

Publication date: 27 September 1992

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

Prologorder-sorted unificationtableaux calculus

Mathematics Subject Classification ID

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

Related Items

Unification in sort theories and its applications, Projection: A unification procedure for tableaux in Conceptual Graphs, First-order automated reasoning with theories: when deduction modulo theory meets practice