swMATH28571MaRDI QIDQ40285FDOQ40285
Author name not available (Why is that?)
Official website: https://www.isa-afp.org/entries/SuperCalc.html
Cited In (20)
- Formalization of the resolution calculus for first-order logic
- Formalizing Bachmair and Ganzinger's ordered resolution prover
- Robinson arithmetic
- Abstract Completeness
- Completeness theorem
- FOL Fitting
- Abstract Soundness
- Incompleteness Theorems
- Logtk
- Paraconsistency
- Incredible Proof Machine
- Propositional Resolution
- Nested Multisets
- Verified Prover
- FOL_Harrison
- Ordered_Resolution_Prover
- Saturation_Framework
- Formalizing Bachmair and Ganzinger's ordered resolution prover
- Programming and verifying a declarative first-order prover in Isabelle/HOL
- Epistemic Logic
This page was built for software: Superposition Calculus
