Ordered_Resolution_Prover

MaRDI QIDQ53728swMATHFDO

Authors Anders Schlichtkrull, Jasmin Christian Blanchette, Dmitriy Traytel, Uwe Waldmann

Publication date 18 January 2018

Official website https://www.isa-afp.org/entries/Ordered_Resolution_Prover.html

Described by source

• Formalizing Bachmair and Ganzinger's ordered resolution prover

Cited in

(7)

• CLSAT
• Resolution theorem proving
• Logtk
• Nested Multisets
• Saturation_Framework
• A comprehensive framework for saturation theorem proving
• A comprehensive framework for saturation theorem proving

This page was built for software: Ordered_Resolution_Prover