scientific article

zbMath0747.68079MaRDI QIDQ4013974

Ulrich Hedtstück, Peter H. Schmitt

Publication date: 27 September 1992

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

zbMATH Keywords

order-sorted predicate logicresolution-based deduction systemsort literals

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Abstract data types; algebraic specification (68Q65)

Related Items

An order-sorted logic for knowledge representation systems