Superposition Calculus
From MaRDI portal
- Automated deduction -- CADE-11. Proceedings of the 11th international conference held in Saratoga Springs, NY, USA, June 15--18, 1992
- Basic paramodulation
- Handbook of automated reasoning. In 2 vols
- Unnamed Publication
- Paramodulation-based theorem proving
- Rewrite-based Equational Theorem Proving with Selection and Simplification
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
