Superposition Calculus
From MaRDI portal
Cited in
(20)- Formalization of the resolution calculus for first-order logic
- Completeness theorem
- Paraconsistency
- Abstract Completeness
- FOL Fitting
- Incompleteness Theorems
- Logtk
- Verified Prover
- Abstract Soundness
- Incredible Proof Machine
- Propositional Resolution
- Nested Multisets
- FOL_Harrison
- Programming and verifying a declarative first-order prover in Isabelle/HOL
- Ordered_Resolution_Prover
- Saturation_Framework
- Formalizing Bachmair and Ganzinger's ordered resolution prover
- Formalizing Bachmair and Ganzinger's ordered resolution prover
- Robinson arithmetic
- Epistemic Logic
This page was built for software: Superposition Calculus
