SMTtoTPTP

swMATH13650MaRDI QIDQ25564FDOQ25564

Author name not available (Why is that?)

Described by source

• SMTtoTPTP – A Converter for Theorem Proving Formats

Cited In (4)

• The TPTP problem library and associated infrastructure. From CNF to TH0, TPTP v6.4.0
• Beagle – A Hierarchic Superposition Theorem Prover
• Automated deduction -- CADE-25. 25th international conference on automated deduction, Berlin, Germany, August 1--7, 2015. Proceedings
• Solving quantified linear arithmetic by counterexample-guided instantiation

This page was built for software: SMTtoTPTP