Disambiguation evidence for TPTP via surface form

"TPTP problem library"

Triples (2)

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

CADE ATP System Competition → uses →
"TPTP problem library"
↳ resolves to TPTP
ⓘ
TPTP → hasComponent →
"TPTP problem library"
↳ resolves to TPTP
ⓘ