Disambiguation evidence for Babai–Fortnow–Lund–Safra–Szegedy theorem via surface form
"Babai–Fortnow–Lund–Safra–Szegedy theorem"
Triples (1)
Triples where some other subject referred to this entity
as "Babai–Fortnow–Lund–Safra–Szegedy theorem".
MIP = NEXP
→
isCitedAs
→
"Babai–Fortnow–Lund–Safra–Szegedy theorem"
ⓘ
↳ resolves to Babai–Fortnow–Lund–Safra–Szegedy theorem
linked to:
MIP equals NEXP