IsaFoL
From MaRDI portal
Cited in
(11)- Formalization of the resolution calculus for first-order logic
- versat
- Locales
- DPT
- Completeness theorem
- FOL Fitting
- Paraconsistency
- SAT Solver Verification
- A verified SAT solver framework with learn, forget, restart, and incrementality
- A verified SAT solver framework with learn, forget, restart, and incrementality
- Formalization of the Resolution Calculus for First-Order Logic
This page was built for software: IsaFoL
