Pages that link to "Item:Q5049017"

The following pages link to Implementing Superposition in iProver (System Description) (Q5049017):

Displaying 10 items.

• Larry Wos: visions of automated reasoning (Q2102922) (← links)
• Set of support, demodulation, paramodulation: a historical perspective (Q2102923) (← links)
• A posthumous contribution by Larry Wos: excerpts from an unpublished column (Q2102925) (← links)
• Ground joinability and connectedness in the superposition calculus (Q2104507) (← links)
• Heterogeneous heuristic optimisation and scheduling for first-order theorem proving (Q2128804) (← links)
• AC simplifications and closure redundancies in the superposition calculus (Q2142076) (← links)
• The CADE-28 Automated Theorem Proving System Competition – CASC-28 (Q5069650) (← links)
• A comprehensive framework for saturation theorem proving (Q5970776) (← links)
• The 11th IJCAR automated theorem proving system competition – CASC-J11 (Q6095787) (← links)
• Semantically-guided goal-sensitive reasoning: decision procedures and the Koala prover (Q6156634) (← links)