Disambiguation evidence for TPTP via surface form

"TPTP"

Triples (2)

Triples where some other subject referred to this entity as "TPTP".

IJCAR → typicalEventsUnified →
"TPTP"
↳ resolves to TPTP
ⓘ
Vampire automated theorem prover → hasInputFormat →
"TPTP"
↳ resolves to TPTP
ⓘ