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
ⓘ