Pages that link to "Item:Q5919011"
From MaRDI portal
The following pages link to Formalizing Bachmair and Ganzinger's ordered resolution prover (Q5919011):
Displaying 7 items.
- Ordered_Resolution_Prover (Q53728) (← links)
- Completeness results for inequality provers (Q1079960) (← links)
- Set of support, demodulation, paramodulation: a historical perspective (Q2102923) (← links)
- Formalizing axiomatic systems for propositional logic in Isabelle/HOL (Q2128791) (← links)
- The CADE-28 Automated Theorem Proving System Competition – CASC-28 (Q5069650) (← links)
- A comprehensive framework for saturation theorem proving (Q5970776) (← links)
- Saturation-based Boolean conjunctive query answering and rewriting for the guarded quantification fragments (Q6149592) (← links)
