FOL Fitting
From MaRDI portal
Software:40325
swMATH28611MaRDI QIDQ40325FDOQ40325
Author name not available (Why is that?)
Cited In (6)
- Formalization of the resolution calculus for first-order logic
- Soundness and completeness proofs by coinductive methods
- Formalization of the Resolution Calculus for First-Order Logic
- Formalized soundness and completeness of epistemic logic
- Programming and verifying a declarative first-order prover in Isabelle/HOL
- Unified Classical Logic Completeness
This page was built for software: FOL Fitting
