Pages that link to "Item:Q1060859"

The following pages link to A mechanical solution of Schubert's steamroller by many-sorted resolution (Q1060859):

Displaying 21 items.

• Translation of first order formulas into ground formulas via a completion theory (Q266881) (← links)
• Order-sorted unification (Q582269) (← links)
• Kernel functions for case-based planning (Q622125) (← links)
• Strict coherence of conditional rewriting modulo axioms (Q683741) (← links)
• Order-sorted logic programming with predicate hierarchy (Q814621) (← links)
• A mechanical solution of Schubert's steamroller by many-sorted resolution (Q1060859) (← links)
• Seventy-five problems for testing automatic theorem provers (Q1101242) (← links)
• A new reduction rule for the connection graph proof procedure (Q1114445) (← links)
• The substitutional framework for sorted deduction: Fundamental results on hybrid reasoning (Q1182164) (← links)
• A semantic backward chaining proof system (Q1193483) (← links)
• An order-sorted logic for knowledge representation systems (Q1193487) (← links)
• Completing sort hierarchies (Q1202662) (← links)
• Reduction and unification in lambda calculi with a general notion of subtype (Q1340967) (← links)
• An order-sorted resolution in theory and practice (Q1390960) (← links)
• Automatic synthesis of logical models for order-sorted first-order theories (Q1655487) (← links)
• Deductive synthesis of sorting programs (Q1822927) (← links)
• A typed resolution principle for deduction with conditional typing theory (Q1855225) (← links)
• Resolution for label-based formulas in hierarchical representation (Q1882550) (← links)
• CoLab: A hybrid knowledge representation and compilation laboratory (Q1897397) (← links)
• Equational unification and matching, and symbolic reachability analysis in Maude 3.2 (system description) (Q2104541) (← links)
• Order-Sorted Rewriting and Congruence Closure (Q2811360) (← links)