Detection of First Order Axiomatic Theories

DOI10.1007/978-3-642-40885-4_16zbMath1398.68481OpenAlexW77643759MaRDI QIDQ2849492

Simon Cruanes, Guillaume Burel

Publication date: 20 September 2013

Published in: Frontiers of Combining Systems (Search for Journal in Brave)

Full work available at URL: https://hal.inria.fr/hal-00919759/file/theory_detection_free.pdf

Mathematics Subject Classification ID

Uses Software

• VAMPIRE
• SPASS
• TPTP
• iProver
• E Theorem Prover
• Waldmeister

This page was built for publication: Detection of First Order Axiomatic Theories