Pages that link to "Item:Q5919011"

The following pages link to Formalizing Bachmair and Ganzinger's ordered resolution prover (Q5919011):

Displaying 4 items.

• The CADE-28 Automated Theorem Proving System Competition – CASC-28 (Q5069650) (← links)
• A comprehensive framework for saturation theorem proving (Q5970776) (← links)
• Verified Given Clause Procedures (Q6492729) (← links)
• An Isabelle/HOL Formalization of the SCL(FOL) Calculus (Q6492734) (← links)