Mnacho Echenim和Mehdi Mhalla：伊莎贝尔/HOL中CHSH不等式和Tsirelson上界的形式化。(2023) 期刊/corr/abs-2306-12535 10.48550/ARXIV.2306.12535 Isabelle/HOL中CHSH不等式和Tsirelson上界的形式化。 2 Mnacho Echenim公司 1 迈赫迪·姆哈拉 2 CoRR公司 CoRR公司 abs/2306.12535 2023 dblp记录'journals/corr/abs-2306-12535'的RDF数据的来源信息 2020年3月6日至28日11:02:38+0200