FOL Fitting
From MaRDI portal
Software:40325
No author found.
Related Items (6)
Soundness and completeness proofs by coinductive methods ⋮ Formalized soundness and completeness of epistemic logic ⋮ Unified Classical Logic Completeness ⋮ Formalization of the resolution calculus for first-order logic ⋮ Programming and verifying a declarative first-order prover in Isabelle/HOL ⋮ Formalization of the Resolution Calculus for First-Order Logic
This page was built for software: FOL Fitting
