SMTtoTPTP

MaRDI QIDQ25564swMATHFDO

Official website http://link.springer.com/chapter/10.1007%2F978-3-319-21401-6_19

Described by source

• SMTtoTPTP -- a converter for theorem proving formats

Cited in

(6)

• The TPTP problem library and associated infrastructure. From CNF to TH0, TPTP v6.4.0
• Automated deduction -- CADE-25. 25th international conference on automated deduction, Berlin, Germany, August 1--7, 2015. Proceedings
• Beagle
• FOOL
• Solving quantified linear arithmetic by counterexample-guided instantiation
• Beagle -- a hierarchic superposition theorem prover

This page was built for software: SMTtoTPTP