TSTP Data-Exchange Formats for Automated Theorem Proving Tools

TSTP Data-Exchange Formats for Automated Theorem Proving Tools (2004)

Cached

Download Links

by Geoff Sutcliffe , Jürgen Zimmer , Stephan Schulz

Citations:

BibTeX

@MISC{Sutcliffe04tstpdata-exchange,
    author = {Geoff Sutcliffe and Jürgen Zimmer and Stephan Schulz},
    title = { TSTP Data-Exchange Formats for Automated Theorem Proving Tools},
    year = {2004}
}

Bookmark

OpenURL

Abstract

Citations

364	Knowledge Interchange Format Version 3 Reference Manual - Genesereth, Fikes - 1992
254	Otter 3.0 Reference Manual and Guide - McCune - 1994
129	The design and implementation of Vampire - Riazanov, Voronkov
124	Ontology Reasoning in the SHOQ(D) Description Logic - Horrocks, Sattler
113	Solution to the Robbins problem - McCune - 1997
99	E—a brainiac theorem prover - Schulz - 1994
75	An overview of the MIZAR project - Rudnicki - 1992
54	Automated reasoning and exhaustive search: Quasigroup existence problems - Slaney, Fujita, et al. - 1995
41	New techniques that improve MACE-style finite model finding - Claessen, Sörensson - 2003
39	OMDoc: Towards an Internet Standard for the Administration, Distribution and Teaching of mathematical Knowledge - Kohlhase - 2000
32	Splitting without Backtracking - Riazanov, Voronkov
29	DISCOUNT: A Distributed and Learning Equational Prover - Denzinger, Kronenburg, et al. - 1997
25	FINDER: Finite domain enumerator – system description - Slaney - 1994
24	P.rex: An Interactive Proof Explainer - Fiedler - 2001
17	Learning Search Control Knowledge for Equational Theorem Proving - Schulz - 2001
16	Recording, Analyzing and Presenting Distributed Deduction Processes - Denzinger, Schulz - 1994
16	2.0 Reference Manual and Guide - MACE - 2001
14	Common Syntax of the DFG-Schwerpunktprogramm Deduction - Hähnle, Kerber, et al. - 1996
11	A Phytography of Waldmeister - Hillenbrand, Löchner - 2002
10	Recording and Analysing Knowledge-Based Distributed Deduction Processes - Denzinger, Schulz - 1996
10	A Computer Environment for Writing Ordinary Mathematical Proofs - McMath, Rosenfeld, et al. - 2001
8	OpenMath and MathML: Semantic Mark Up for Mathematics - Caprotti, Carlisle - 1999
8	System Description: TRAMP - Transformation of Machine-Found Proofs into Natural Deduction Proofs at the Assertion Level - Meier - 2000
8	SETHEO and E-SETHEO: The CADE-13 Systems - Moser, Ibens, et al. - 1997
6	Communication Protocols for Mathematical Services based on KQML and OMRS - Armando, Kohlhase, et al.
5	Verification of Hardware Systems with First-Order Logic - Claessen, Hähnle, et al. - 2002
3	A Grand Challenge of Theorem Discovery - Sutcliffe, Gao, et al. - 2003
2	Proving Harder Theorems by Axiom Reduction - Sutcliffe, Dvorsky - 2003
1	Email to - Pudlak - 2003
1	artensson. Verific ation of Hardware Systems with First-Order Logic - Claessen, Hähnle, et al. - 2002