Talk:TPTP

Learn more about this page

This is the talk page for discussing improvements to the TPTP page.
This is not a forum for general discussion of the article's subject.

Put new text under old text. Click here to start a new topic.
New to Wikipedia? Welcome! Learn to edit; get help.

Article policies

Find sources: Google (books · news · scholar · free images · WP refs) · FENS · JSTOR · TWL

Disambiguation

This disambiguation page is within the scope of WikiProject Disambiguation, an attempt to structure and organize all disambiguation pages on Wikipedia. If you wish to help, you can edit the page attached to this talk page, or visit the project page, where you can join the project or contribute to the discussion.DisambiguationWikipedia:WikiProject DisambiguationTemplate:WikiProject DisambiguationDisambiguation articles

TPTP Language

Latest comment: 5 years ago1 comment1 person in discussion

Would have expected to see a link/reference to the TPTP language heave although it is associated with Automated Theorem Proving so it may be argued the existing link is relevant. There is still possibly an hiatus somewhere.Djm-leighpark (talk) 09:04, 7 November 2018 (UTC)Reply

Add topic