TPTP World

1–10 of 10

Welcome to the TPTP World Google Group, an email list and discussion of the TPTP World - see www.TPTP.org .

0 selected

Geoff Sutcliffe

Aug 9

================================================================================ The TPTP Problem

unread,

================================================================================ The TPTP Problem

Aug 9

Geoff Sutcliffe

Aug 9

CASC-J11 - the 11th IJCAR ATP System Competition

Hi TPTP World! The 11th IJCAR ATP System Competition, CASC-J11, is running live. See the evolving

unread,

CASC-J11 - the 11th IJCAR ATP System Competition

Hi TPTP World! The 11th IJCAR ATP System Competition, CASC-J11, is running live. See the evolving

Aug 9

Geoff Sutcliffe

Apr 25

================================================================================ The TPTP Problem

unread,

================================================================================ The TPTP Problem

Apr 25

Michael Rawson, … Geoff Sutcliffe7

Jan 10

TPTP <comment>s: a minor proposal

Hi all, Having comments between tokens is easy if you just show them away, or at least don't need

unread,

TPTP <comment>s: a minor proposal

Hi all, Having comments between tokens is easy if you just show them away, or at least don't need

Jan 10

Geoff Sutcliffe2

12/9/21

The 11th TPTP Tea Party

Hi everyone, especially those who attended this morning, I have added the Zoom video and chat

unread,

The 11th TPTP Tea Party

Hi everyone, especially those who attended this morning, I have added the Zoom video and chat

12/9/21

Geoff Sutcliffe

11/8/21

CASC-28 talk this Friday, in Zoom

Hi TPTP World, I will be giving a 45 minute talk about the design, organization, and results of CASC-

unread,

CASC-28 talk this Friday, in Zoom

Hi TPTP World, I will be giving a 45 minute talk about the design, organization, and results of CASC-

11/8/21

Geoff Sutcliffe, Alexander Steen3

9/17/21

Non-classical Logic in the TPTP

Hi People in the TPTP World, A while back I sent out an email to people who I know are interested in

unread,

Non-classical Logic in the TPTP

Hi People in the TPTP World, A while back I sent out an email to people who I know are interested in

9/17/21

Geoff Sutcliffe, … Michael Rawson4

7/16/21

Techniques and Standards for Evaluating ATP Techniques and Implementations

Hi all, Thanks for your input and support! I've made https://docs.google.com/document/d/

unread,

Techniques and Standards for Evaluating ATP Techniques and Implementations

Hi all, Thanks for your input and support! I've made https://docs.google.com/document/d/

7/16/21

Geoff Sutcliffe

7/13/21

================================================================================ The TPTP Problem

unread,

================================================================================ The TPTP Problem

7/13/21

Geoff Sutcliffe2

6/12/21

Expansion and Modernisation of the TPTP World

Hi all, Sadly, the NSF has declined this proposal. This decision will have a downstream impact on

unread,

Expansion and Modernisation of the TPTP World

Hi all, Sadly, the NSF has declined this proposal. This decision will have a downstream impact on

6/12/21

Search

Clear search

Close search

Google apps

Main menu