Toward a Procedure for Data Mining Proofs

DOI10.1007/978-3-642-36675-8_12zbMath1383.68075OpenAlexW3245662MaRDI QIDQ4913870

Seth Kurtenbach, Zachary Ernst

Publication date: 16 April 2013

Published in: Automated Reasoning and Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-36675-8_12

Mathematics Subject Classification ID

Uses Software

• Unnamed Item
• TPTP
• Prover9

Cites Work

• Using hints to increase the effectiveness of an automated reasoning program: Case studies
• The TPTP problem library and associated infrastructure and associated infrastructure. The FOF and CNF parts, v3.5.0

This page was built for publication: Toward a Procedure for Data Mining Proofs