Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

Test & Performance Tools Platform

Known as: TPTP 
The Test & Performance Tools Platform (TPTP) is an Eclipse tool used to profile plug-ins of the IDE that may run on different platforms. TPTP is… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
The monadic shallow linear Horn fragment is well-known to be decidable and has many application, e.g., in security protocol… Expand
  • figure 1
Review
2017
Review
2017
  • G. Sutcliffe
  • Journal of Automated Reasoning
  • 2017
  • Corpus ID: 31280466
This paper describes the TPTP problem library and associated infrastructure, from its use of Clause Normal Form (CNF), via the… Expand
  • figure 1
  • table 2
  • table 3
  • table 4
  • table 4
2016
2016
The approach Why3 takes to interfacing with a wide variety of interactive and automatic theorem provers works well: it is… Expand
  • table 1
  • figure 1
  • figure 2
  • figure 3
  • table 2
2016
2016
The RuleML knowledge-interoperation hub provides for syntactic/semantic representation and internal/external transformation of… Expand
2015
2015
PSOA2Prolog consists of a multi-step source-to-source normalizer followed by a mapper to a pure (Horn) subset of ISO Prolog. We… Expand
  • table 1
  • table 2
  • figure 2
Highly Cited
2012
Highly Cited
2012
A key driver of SMT over the past decade has been an interchange format, SMT-LIB, and a growing set of benchmarks sharing this… Expand
2006
2006
The CADE ATP System Competition (CASC) is an annual evaluation of fully automatic, first order Automated Theorem Proving systems… Expand
  • table 1
  • table 2
  • table 3
  • table 4
  • table 5
Highly Cited
2006
Highly Cited
2006
One of the keys to the success of the TPTP and related projects is their consistent use of the TPTP language. The ability of the… Expand
2005
2005
Our general goal is to provide better automation in interactive proof assistants such as Coq. We present an interpreter of proof… Expand
  • figure 1
  • figure 2
  • figure 4
Review
2004
Review
2004
This paper provides a detailed description of the CNF part of the TPTP Problem Library for automated theorem-proving systems. The… Expand
  • table I
  • table II
  • table III
  • figure 1
  • figure 3