Abstract Completeness

MaRDI QIDQ7361556FDO

Authors Jasmin Christian Blanchette, Andrei Popescu, Dmitriy Traytel

Publication date 16 April 2014

Cites work

• Mechanizing the metatheory of Sledgehammer
• Unified Classical Logic Completeness

Cited in

(4)

• A Sequent Calculus Prover for First-Order Logic with Functions
• Abstract Soundness
• A Naive Prover for First-Order Logic
• The meta theory of the Incredible Proof Machine

This page was built for software: Abstract Completeness