提供商：Schloss Dagstuhl-莱布尼茨信息中心数据库：dblp计算机科学书目内容：文本/纯文本；charset=“utf-8”今天ID-DBLP:日志/jar/EchenimM24AU-埃切宁，姆纳乔AU-Mhalla，迈赫迪TI-Isabelle/HOL中CHSH不等式和Tsirelson上界的形式化。JO-J.汽车。原因。VL-68为-1SP-2PY-2024/03年/DO-10.1007/S10817-023-09689-9UR-（欧元）https://doi.org/10.1007/s10817-023-09689-9急诊室-