swMATH28841MaRDI QIDQ40555FDOQ40555
Author name not available (Why is that?)
Official website: https://www.isa-afp.org/entries/PropResPI.html
Cited In (15)
- Formalization of the resolution calculus for first-order logic
- theoremprover-museum
- GRAT
- Abstract Completeness
- Completeness theorem
- FOL Fitting
- Abstract Soundness
- Knuth Bendix Orders
- Incompleteness Theorems
- Paraconsistency
- Incredible Proof Machine
- Superposition Calculus
- Verified Prover
- FOL_Harrison
- Epistemic Logic
This page was built for software: Propositional Resolution
