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

Related topics

Related topics

6 relations

Broader (1)

Eclipse
Integrated development environmentJavaMicrosoft WindowsPlug-in (computing)
Expand

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
Decidability of the Monadic Shallow Linear First-Order Fragment with Straight Dismatching Constraints
The monadic shallow linear Horn fragment is well-known to be decidable and has many application, e.g., in security protocol… Expand
  • figure 1
Is this relevant?
2016
2016
Predicting SMT Solver Performance for Software Verification
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
Is this relevant?
2015
2015
PSOA2Prolog: Object-Relational Rule Interoperation and Implementation by Translation from PSOA RuleML to ISO Prolog
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
Is this relevant?
Highly Cited
2012
Highly Cited
2012
ATP and Presentation Service for Mizar Formalizations
This paper describes the Automated Reasoning for Mizar ($\textsf{Miz}\mathbb{AR}$) service, which integrates several automated… Expand
  • table 1
  • figure 1
Is this relevant?
2011
2011
Sort It Out with Monotonicity - Translating between Many-Sorted and Unsorted First-Order Logic
We present a novel analysis for sorted logic, which determines if a given sort is monotone. The domain of a monotone sort can… Expand
Is this relevant?
2008
2008
Integration of the TPTPWorld into SigmaKEE
This paper describes the integration of the ATP support of the TPTPWorld into the Sigma Knowledge Engineering Environment. The… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2006
Highly Cited
2006
Using the TPTP Language for Writing Derivations and Finite Interpretations
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
Is this relevant?
2006
2006
The CADE-20 Automated Theorem Proving Competition
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
Is this relevant?
Highly Cited
2006
Highly Cited
2006
MPTP 0.2: Design, Implementation, and Initial Experiments
  • J. Urban
  • Journal of Automated Reasoning
  • 2006
    • Corpus ID: 21315287
This paper describes the second version of the Mizar Problems for Theorem Proving (MPTP) system and first experimental results… Expand
  • table I
  • table II
  • table III
  • table IV
Is this relevant?
2005
2005
Reflecting Proofs in First-Order Logic with Equality
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
Is this relevant?
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy, Terms of Service, and Dataset License
ACCEPT & CONTINUE