Sunshine (2007)
NEEXP ⊆ MIP*Anand Natarajan, California Institute of Technology
，这一点在有道翻译下载中也有详细论述
We then checked the WAL records generated by this query to confirm that it behaved as expected.
Российский врач вернется к работе после истекшей кровью пациентки14:48