Propositional Proof Systems

MaRDI QIDQ7361652FDO

Authors Julius Michaelis, Tobias Nipkow

Publication date 21 June 2017

Cites work

• A UNIFYING PRINCIPAL IN QUANTIFICATION THEORY
• Die Grundlagen der Mathematik. Mit Zusätzen von H. Weyl und P. Bernays.
• Unnamed Publication
• Unnamed Publication
• Unnamed Publication
• Unnamed Publication
• Unnamed Publication
• Linear reasoning. A new form of the Herbrand-Gentzen theorem
• Logic in Computer Science
• Untersuchungen über das logische Schliessen. I

Cited in

(4)

• Compactness Theorem for First-Order Logic
• AI Planning Languages Semantics
• Verified SAT-Based AI Planning
• A Modular Splitting Framework for Saturation Theorem Proving

This page was built for software: Propositional Proof Systems