. . . . . “Mnacho-Echenim和Mehdi-Mhalla:Isabelle/HOL.（2024）中CHSH不等式和Tsirelson上界的形式化”。 . . _：ID_27d41ffa116873effca4ba2679ba97d。_：ID_27d41ffa116873有效4ba2679ba97d ._：ID_27d41ffa116873有效4ba2679ba97d ._：ID_27d41ffa116873effca4ba2679ba97d“日记账/jar/EchenimM24”。 _：ID_2872284372d924015f3dd6407cf72ce8。_：ID_2872284372d924015f3dd6407cf72ce8 ._：ID_2872284372d924015f3dd6407cf72ce8 ._：ID_2872284372d924015f3dd6407cf72ce8“10.1007/S10817-023-09689-9”。 “在Isabelle/HOL中CHSH不等式和Tsirelson上界的形式化”。 . . . "2"^^. _：Sig_856cdabcb3f037a5d63066511723939_1。_：Sig_856cdabcb3f037a5d63066511723939_1 ._：Sig_856cdabcb3f037a5d63066511723939_1“Mnacho Echenim”。_：Sig_856cdabcb3f037a5d63066511723939_1 ._：Sig_856cdabcb3f037a5d63066511723939_1"1"^^._：Sig_856cdabcb3f037a5d63066511723939_1 . _：Sig_856cdabcb3f037a5d63066511723939_2。_：Sig_856cdabcb3f037a5d63066511723939_2 ._：Sig_856cdabcb3f037a5d63066511723939_2“Mehdi Mhalla”。_：Sig_856cdabcb3f037a5d63066511723939_2 ._：Sig_856cdabcb3f037a5d63066511723939_2"2"^^._：Sig_856cdabcb3f037a5d63066511723939_2 . . . . “2”。 “J.Autom.理性”。 “J.Autom.理性”。 "68" . "1" . "2024"^^. "--03"^^. “dblp记录'journals/jar/EchenimM24'的RDF数据的来源信息”。 . . . “2024-01-15T08:08:23+0100”。