Pages that link to "Item:Q2829269"
From MaRDI portal
The following pages link to Formalization of the Resolution Calculus for First-Order Logic (Q2829269):
Displaying 6 items.
- A verified SAT solver framework with learn, forget, restart, and incrementality (Q1663234) (← links)
- Formalization of the resolution calculus for first-order logic (Q1663242) (← links)
- Formalizing a Seligman-style tableau system for hybrid logic (short paper) (Q2096470) (← links)
- Soundness and completeness proofs by coinductive methods (Q2362498) (← links)
- Programming and verifying a declarative first-order prover in Isabelle/HOL (Q5145439) (← links)
- (Q6060676) (← links)
