Skip to search formSkip to main contentSkip to account menu

System on TPTP

System on TPTP is an online interface to several automated theorem proving systems and other automated reasoning tools.It allows users to run the… 
Wikipedia (opens in a new tab)

Related topics

Related topics

2 relations
Automated reasoningAutomated theorem proving

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Review
2017
Review
2017
The Formalization of Vickrey Auctions: A Comparison of Two Approaches in Isabelle and Theorema
In earlier work presented at CICM, four theorem provers (Isabelle, Mizar, Hets/CASL/TPTP, and Theorema) were compared based on a… 
2015
2015
Premise Selection and External Provers for HOL4
Learning-assisted automated reasoning has recently gained popularity among the users of Isabelle/HOL, HOL Light, and Mizar. In… 
2013
2013
LEO-II and Satallax on the Sledgehammer test bench
2011
2011
A Repository for Tarski-Kleene Algebras
We have implemented a repository of algebraic structures and theorems in the theorem proving environment Isabelle/HOL. It covers… 
2009
2009
Fast Clause Normalization for Higher-Order Automated Theorem Proving
The old LEO-I system [4] was prototypically integrated with first-order automated theorem provers using the agent based OANTS… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)