Pages that link to "Item:Q5916290"
From MaRDI portal
The following pages link to Formalizing Bachmair and Ganzinger's ordered resolution prover (Q5916290):
Displaying 10 items.
- Formalization of the resolution calculus for first-order logic (Q1663242) (← links)
- Distilling the requirements of Gödel's incompleteness theorems with a proof assistant (Q2051568) (← links)
- Reliable reconstruction of fine-grained proofs in a proof assistant (Q2055877) (← links)
- A formally verified abstract account of Gödel's incompleteness theorems (Q2305432) (← links)
- Formalization of the Resolution Calculus for First-Order Logic (Q2829269) (← links)
- A comprehensive framework for saturation theorem proving (Q5918558) (← links)
- Formalizing Bachmair and Ganzinger's ordered resolution prover (Q5919011) (← links)
- Superposition with lambdas (Q5919500) (← links)
- A comprehensive framework for saturation theorem proving (Q5970776) (← links)
- Verifying a sequent calculus Prover for first-order logic with functions in Isabelle/HOL (Q6611963) (← links)
