TPTP

TPTP is an abbreviation and may refer to

Thousands of Problems for Theorem Provers
Test & Performance Tools Platform, a platform of Eclipse

This disambiguation page lists articles associated with the title TPTP.
If an internal link led you here, you may wish to change the link to point directly to the intended article.