TPTP World

Contact owners and managers

1–18 of 18

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

0 selected

Geoff Sutcliffe

Jul 4

The CADE ATP System Competition ... part of ... The 12th International Joint Conference on Automated

unread,

The CADE ATP System Competition ... part of ... The 12th International Joint Conference on Automated

Jul 4

Geoff Sutcliffe

Jul 4

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

unread,

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

Jul 4

Geoff Sutcliffe2

Apr 1

------------------------------------------------------------------------------- CASC-J12 - The CADE

unread,

------------------------------------------------------------------------------- CASC-J12 - The CADE

Apr 1

Geoff Sutcliffe2

5/1/23

The 2023 TPTP Tea Party - a COST EuroProofNet WG2 event

Hi TPTP World, Just a reminder that if you would like to participate the 2023 TPTP Tea Party, and if

unread,

The 2023 TPTP Tea Party - a COST EuroProofNet WG2 event

Hi TPTP World, Just a reminder that if you would like to participate the 2023 TPTP Tea Party, and if

5/1/23

Geoff Sutcliffe

2/8/23

CASC-29 - The CADE-29 ATP System Competition

CASC-29 - The CADE ATP System Competition to be held at The 29th International Conference on

unread,

CASC-29 - The CADE-29 ATP System Competition

CASC-29 - The CADE ATP System Competition to be held at The 29th International Conference on

2/8/23

Geoff Sutcliffe

11/17/22

Support for the TPTP World

Hi TPTP Users, It's coming to the end of the year, and last year I learned that people sometimes

unread,

Support for the TPTP World

Hi TPTP Users, It's coming to the end of the year, and last year I learned that people sometimes

11/17/22

Geoff Sutcliffe, … Martin Suda4

10/31/22

Natural numbers in the TPTP

Hi Martin, > My opinion is that for the modeling purposes, using just $int and adding "X >

unread,

Natural numbers in the TPTP

Hi Martin, > My opinion is that for the modeling purposes, using just $int and adding "X >

10/31/22

Geoff Sutcliffe2

10/17/22

Hi TPTP Users, I found some mistakes and omissions in the Documents of TPTP v8.1.1. I have fixed

unread,

Hi TPTP Users, I found some mistakes and omissions in the Documents of TPTP v8.1.1. I have fixed

10/17/22

Geoff Sutcliffe

8/9/22

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

unread,

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

8/9/22

Geoff Sutcliffe

8/9/22

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

8/9/22

Geoff Sutcliffe

4/25/22

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

unread,

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

4/25/22

Michael Rawson, … Geoff Sutcliffe7

1/10/22

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

1/10/22

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