Geo# Sutcli#e and Christian Suttner. The TPTP problem library. Journal of Automated Reasoning, 21(2):177--203, 1998.  Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Irrationality of √2 - A case study in ΩMEGA - Benzmüller, Fiedler.. (1999) (Correct)
.... fteen (interactive) theorem proving systems, which were asked to present their solution (see [53] This represents an important shift of emphasis in the eld of automated deduction away from the somehow arti cial problems of the past as represented, for example, in the test set of the TPTP library [50] back to real mathematical challenges. The structure of this report is as follows: We rst present an overview of the mega system as far as it is relevant for the purpose of this report in Section 2 and describe the central data structure for proof objects in Section 3. Section 4 presents our ....
Geo Stucli e, Christian Suttner, and Theodor Yemenis. The TPTP problem library. In Bundy [16].
It is Time to Mechanize Programming Language Metatheory - Pierce, Sewell, Weirich.. (Correct)
No context found.
Geo# Sutcli#e and Christian Suttner. The TPTP problem library. Journal of Automated Reasoning, 21(2):177--203, 1998.
Mechanized Metatheory for the Masses: The PoplMark.. - Aydemir, Bohannon.. (2005) (6 citations) (Correct)
No context found.
Geo# Sutcli#e and Christian Suttner. The TPTP problem library. Journal of Automated Reasoning, 21(2):177--203, 1998.
Bridging Theorem Proving and Mathematical - Knowledge Retrieval Christoph (2005) (Correct)
No context found.
Geo Sutcli e, Christian Suttner, and Theodor Yemenis. The TPTP problem library. In A. Bundy, editor, Proceedings of the 12th International Conference on Automated Deduction, number 814 in LNAI, pages 252-266, Nancy, 1994. Springer.
Mechanized Metatheory for the Masses: The PoplMark.. - Aydemir, Bohannon.. (2005) (6 citations) (Correct)
No context found.
Geo# Sutcli#e and Christian Suttner. The TPTP problem library. Journal of Automated Reasoning, 21(2):177--203, 1998.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC