Same as QMIP, except that now the provers share only a polynomial number of EPR pairs, instead of an unlimited number.
Defined in [KM02], where it was also shown that QMIPle is contained in NEXP = QMIPne.
Same as QMIP, except that now the provers have no prior entanglement.
Defined in [KM02], where it was also shown that QMIPne = NEXP. Thus, QMIPne contains QMIPle.