BibTeX记录日志/jar/EchenimM24
@文章{DBLP:journals/jar/EchenimM24， author={Mnacho Echenim和 Mehdi Mhalla}， title={CHSH}不等式和Tsirelson上界的形式化 在Isabelle/HOL}， 日志={J.自动原因}， 体积={68}， 数字={1}， 页数={2}， 年份={2024}， url={ https://doi.org/10.1007/s10817-023-09689-9 }, doi＝{10.1007/S10817-02-03-9689-9}， timestamp={星期一，2024年1月15日08:08:23+0100}， biburl={ https://dblp.org/rec/journals/jar/EchenimM24.bib }, bibsource={dblp计算机科学书目， 网址：https://dblp.org } }
