提供商：Schloss Dagstuhl-莱布尼茨信息中心数据库：dblp计算机科学书目内容：文本/纯文本；charset=“utf-8”TY-非正式或其他出版物ID-DBLP:日志/corr/abs-2103-08535AU-埃切宁，姆纳乔AU-迈赫迪，姆哈拉TI-Isabelle/HOL中的量子投影测量和CHSH不等式。JO-CoRR公司VL-abs/2103.085352021年上半年//UR-（欧元）https://arxiv.org/abs/2103.08535急诊室-