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. |
Article policies
|
Find sources: Google (books · news · scholar · free images · WP refs) · FENS · JSTOR · TWL |
Disambiguation | ||||
|
TPTP Language
editWould 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)