Propositional Resolution

MaRDI QIDQ40555swMATHFDO

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
• Completeness theorem
• Superposition Calculus
• Paraconsistency
• Knuth Bendix Orders
• Abstract Completeness
• FOL Fitting
• Incompleteness Theorems
• Verified Prover
• Abstract Soundness
• Incredible Proof Machine
• FOL_Harrison
• Epistemic Logic

This page was built for software: Propositional Resolution