Abstract
The Thousands of Problems for Theorem Provers (TPTP) problem library is the basis of a well established infrastructure supporting research, development, and deployment of first-order Automated Theorem Proving (ATP) systems. Recently, the TPTP has been extended to include problems in higher-order logic, with corresponding infrastructure and resources. This paper describes the practical progress that has been made towards the goal of TPTP support for higher-order ATP systems. © 2009 Springer Berlin Heidelberg.
Cite
CITATION STYLE
Sutcliffe, G., Benzmüller, C., Brown, C. E., & Theiss, F. (2009). Progress in the development of automated theorem proving for higher-order logic. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 5663 LNAI, pp. 116–130). https://doi.org/10.1007/978-3-642-02959-2_8
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
