Pages that link to "Item:Q1897557"

The following pages link to Theorem proving with ordering and equality constrained clauses (Q1897557):

Displaying 26 items.

• Paramodulation with non-monotonic orderings and simplification (Q352977) (← links)
• Model evolution with equality -- revised and implemented (Q429586) (← links)
• A combined superposition and model evolution calculus (Q438531) (← links)
• Superposition-based equality handling for analytic tableaux (Q877891) (← links)
• Deciding expressive description logics in the framework of resolution (Q924723) (← links)
• A resolution-based decision procedure for \({\mathcal{SHOIQ}}\). (Q928657) (← links)
• Local simplification (Q1271570) (← links)
• Decidability and complexity analysis by basic paramodulation (Q1281494) (← links)
• Practical algorithms for deciding path ordering constraint satisfaction. (Q1400710) (← links)
• On using ground joinable equations in equational theorem proving (Q1404987) (← links)
• Superposition with completely built-in abelian groups (Q1432887) (← links)
• Induction = I-axiomatization + first-order consistency. (Q1854350) (← links)
• Model completeness, uniform interpolants and superposition calculus. (With applications to verification of data-aware processes) (Q2051565) (← links)
• Pay-as-you-go consequence-based reasoning for the description logic \(\mathcal{SROIQ} \) (Q2238693) (← links)
• Model completeness, covers and superposition (Q2305411) (← links)
• Reasoning in description logics by a reduction to disjunctive datalog (Q2462648) (← links)
• Superposition with equivalence reasoning and delayed clause normal form transformation (Q2486577) (← links)
• Mechanising first-order temporal resolution (Q2486579) (← links)
• Efficient description logic reasoning in Prolog: The DLog system (Q3393230) (← links)
• Reasoning with Uncertain and Inconsistent OWL Ontologies (Q4647816) (← links)
• Harald Ganzinger’s Legacy: Contributions to Logics and Programming (Q4916069) (← links)
• Superposition and Model Evolution Combined (Q5191094) (← links)
• What you always wanted to know about rigid E-unification (Q5235253) (← links)
• A comprehensive framework for saturation theorem proving (Q5918558) (← links)
• Formalizing Bachmair and Ganzinger's ordered resolution prover (Q5919011) (← links)
• A comprehensive framework for saturation theorem proving (Q5970776) (← links)