swMATH19193MaRDI QIDQ31023FDOQ31023
Author name not available (Why is that?)
Official website: https://bitbucket.org/isafol/isafol/wiki/Home
Cited In (11)
- Formalization of the resolution calculus for first-order logic
- 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
- versat
- Locales
- DPT
- Completeness theorem
- FOL Fitting
- Paraconsistency
- SAT Solver Verification
This page was built for software: IsaFoL
