Simultaneous paramodulation

DOI10.1007/3-540-52885-7_106zbMath1509.03041MaRDI QIDQ6488550

Dan Benanav

Publication date: 28 April 2023

Mathematics Subject Classification ID

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

• Unnamed Item
• A Technique for Establishing Completeness Results in Theorem Proving with Equality
• Complete Sets of Reductions for Some Equational Theories

This page was built for publication: Simultaneous paramodulation