Simultaneous paramodulation
From MaRDI portal
Publication:6488550
DOI10.1007/3-540-52885-7_106zbMath1509.03041MaRDI QIDQ6488550
Publication date: 28 April 2023
Mechanization of proofs and logical operations (03B35) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)
Related Items (5)
Implementing Superposition in iProver (System Description) ⋮ Superposition for higher-order logic ⋮ Superposition with first-class booleans and inprocessing clausification ⋮ Superposition for full higher-order logic ⋮ A comprehensive framework for saturation theorem proving
Cites Work
This page was built for publication: Simultaneous paramodulation