Talk:TPTP
| 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 |
 | This disambiguation page does not require a rating on Wikipedia's content assessment scale. It is of interest to the following WikiProjects: | |||||||
| ||||||||
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)