Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 226,134,375 papers from all fields of science
Search
Sign In
Create Free Account
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…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
2 relations
Automated reasoning
Automated 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
Alexander Maletzky
,
W. Windsteiger
International Conference on Intelligent Computer…
2017
Corpus ID: 12515465
In earlier work presented at CICM, four theorem provers (Isabelle, Mizar, Hets/CASL/TPTP, and Theorema) were compared based on a…
Expand
2013
2013
LEO-II and Satallax on the Sledgehammer test bench
Nikolai Sultana
,
J. Blanchette
,
Lawrence Charles Paulson
Journal of Applied Logic
2013
Corpus ID: 2615471
2011
2011
A Repository for Tarski-Kleene Algebras
Walter Guttmann
,
G. Struth
,
Tjark Weber
Workshop on Automated Theory Engineering
2011
Corpus ID: 13891553
We have implemented a repository of algebraic structures and theorems in the theorem proving environment Isabelle/HOL. It covers…
Expand
2009
2009
Fast Clause Normalization for Higher-Order Automated Theorem Proving
Christoph Benzmüller
2009
Corpus ID: 16516182
The old LEO-I system [4] was prototypically integrated with first-order automated theorem provers using the agent based OANTS…
Expand
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)
ACCEPT & CONTINUE