Disambiguation evidence for MIP equals NEXP via surface form

"MIP equals NEXP"

Triples (1)

Triples where some other subject referred to this entity as "MIP equals NEXP".

PCP theorem → relatedTheorem →
"MIP equals NEXP"
↳ resolves to MIP equals NEXP
ⓘ