Pages that link to "Item:Q5916290"
From MaRDI portal
The following pages link to Formalizing Bachmair and Ganzinger's ordered resolution prover (Q5916290):
Displayed 5 items.
- Formalization of the resolution calculus for first-order logic (Q1663242) (← 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)
- Formalizing Bachmair and Ganzinger's ordered resolution prover (Q5919011) (← links)
- Superposition with lambdas (Q5919500) (← links)