Mnacho-Echenim和Mehdi-Mhalla:Isabelle/HOL中的量子投影测量和CHSH不等式。(2021) 期刊/corr/abs-2103-08535 2103.08535 Isabelle/HOL中的量子投影测量和CHSH不等式。 2 Mnacho Echenim公司 1 迈赫迪·姆哈拉 2 CoRR公司 CoRR公司 abs/2103.08535 2021 dblp记录'journals/corr/abs-2103-08535'的RDF数据的来源信息 2021-03-23T16:29:47+0100