scientific article; zbMATH DE number 67963

zbMATH Open0747.68084MaRDI QIDQ4013971FDOQ4013971

Authors: Christoph Walther 

Publication date: 27 September 1992

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

Recommendations

• scientific article; zbMATH DE number 43237
• scientific article; zbMATH DE number 3902617
• Publication:4729409
• scientific article; zbMATH DE number 4049132
• Completing sort hierarchies

zbMATH Keywords

many-sorted logicmany-sorted unificationmany- sorted paramodulationmany-sorted resolution

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Cited In (12)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Bayesian ranking for strategy scheduling in automated theorem provers
• Reasoning with preorders and dynamic sorts using free variable tableaux
• A mechanical solution of Schubert's steamroller by many-sorted resolution
• Title not available (Why is that?)
• A First Class Boolean Sort in First-Order Theorem Proving and TPTP
• First-order automated reasoning with theories: when deduction modulo theory meets practice
• Title not available (Why is that?)
• Abstract valuation semantics
• Completing sort hierarchies
• Unsorted functional translations

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