Jump to content

Talk:TPTP

Page contents not supported in other languages.
From Wikipedia, the free encyclopedia
WikiProject iconDisambiguation
WikiProject iconThis 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.

TPTP Language

[edit]

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]