SMTtoTPTP – A Converter for Theorem Proving Formats
From MaRDI portal
Publication:3454101
DOI10.1007/978-3-319-21401-6_19zbMath1465.68276MaRDI QIDQ3454101
Publication date: 2 December 2015
Published in: Automated Deduction - CADE-25 (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-319-21401-6_19
68V15: Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.)
Related Items
Uses Software