Groups
Conversations
All groups and messages
Send feedback to Google
Help
Sign in
Groups
TPTP World
Conversations
About
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
.
Mark all as read
Report abusive group
0 selected
Geoff Sutcliffe
Aug 9
TPTP v8.1.0
================================================================================ The TPTP Problem
unread,
TPTP v8.1.0
================================================================================ 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
TPTP v8.0.0
================================================================================ The TPTP Problem
unread,
TPTP v8.0.0
================================================================================ The TPTP Problem
Apr 25
Michael Rawson
, …
Geoff Sutcliffe
7
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 Sutcliffe
2
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 Steen
3
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 Rawson
4
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
TPTP v7.5.0
================================================================================ The TPTP Problem
unread,
TPTP v7.5.0
================================================================================ The TPTP Problem
7/13/21
Geoff Sutcliffe
2
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