Disambiguation evidence for Thousands of Problems for Theorem Provers via surface form
"Thousands of Problems for Theorem Provers"
Triples (2)
Triples where some other subject referred to this entity
as "Thousands of Problems for Theorem Provers".
TPTP
→
fullName
→
"Thousands of Problems for Theorem Provers"
ⓘ
↳ resolves to Thousands of Problems for Theorem Provers
TPTP
→
acronymFor
→
"Thousands of Problems for Theorem Provers"
ⓘ
↳ resolves to Thousands of Problems for Theorem Provers