RE is contained in MIP*_{1,1/2}(2,1): a polynomial-time verifier for every recursively enumerable language

Initializing...

RE is contained in MIP*_{1,1/2}(2,1): a polynomial-time verifier for every recursively enumerable language · Prove2Me