The TPTP problem library is now available in KIF.

"Vishal I. Sikka" <vishal@CS.Stanford.EDU>
Date: Thu, 15 Jun 95 13:05:24 PDT
From: "Vishal I. Sikka" <vishal@CS.Stanford.EDU>
Cc: vishal@CS.Stanford.EDU, genesereth@CS.Stanford.EDU
Subject: The TPTP problem library is now available in KIF.
Message-id: <CMM.>
Precedence: bulk

The TPTP (Thousands of Problems for Theorem Provers) problem library
for testing automated theorem provers is now also available in KIF.
This library, which is a brainchild of Dr. Geoff Sutcliffe of James
Cook University, Australia, and Dr. Christian Suttner of Technische
Universitat Munchen, has widely been used as a standard for performing
evaluations and comparisons of automated reasoning systems.

For more information, or to obtain a copy of the TPTP library,
navigate on the Web to: Copies of the
library can be obtained by anonymous ftp from

or from the homepage directly.

Alternatively, Chris Suttner's homepage in Germany also has the same;
his homepage is

which has information on how to get it from there.

The Stanford Encyclopedia of Logic Technology
( also has more information on TPTP.
The kif homepage at Stanford ( has
more information on KIF.

I apologize if this message gets to you twice.



Vishal Sikka                           
The Logic Group                                     Phone: 415-725-2602
Computer Science Department                           Fax: 415-725-7411
Stanford University                                Stanford, CA - 94305