Disambiguation evidence for TPTP via surface form

"TPTP Problem Library"

Triples (1)

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

CADE ATP System Competition relatedTo
"TPTP Problem Library"
↳ resolves to TPTP