TPTP World

1–4 of 4

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

0 selected

Geoff Sutcliffe, Alexander Steen2

Jul 20

Non-classical Logic in the TPTP

Hi all, Here are the (scribbled) notes of the discussion at CADE-28's topical zoom room on non-

unread,

Non-classical Logic in the TPTP

Hi all, Here are the (scribbled) notes of the discussion at CADE-28's topical zoom room on non-

Jul 20

Geoff Sutcliffe, … Michael Rawson4

Jul 16

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/

Jul 16

Geoff Sutcliffe

Jul 13

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

unread,

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

Jul 13

Geoff Sutcliffe2

Jun 12

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

Jun 12

Search

Clear search

Close search

Google apps

Main menu