BibTeX记录日志/corr/abs-2103-08535
@文章{DBLP:journals/corr/abs-2103-08535， author={Mnacho Echenim和 Mehdi Mhalla}， title={量子投影测量和Isabelle/HOL}中的{CHSH}不等式， journal＝{CoRR}， 体积={abs/2103.08535}， 年份={2021}， url={ https://arxiv.org/abs/2103.08535 }, eprinttype={arXiv}， eprint={2103.08535}， timestamp={2021年3月23日星期二16:29:47+0100}， 比布尔={ https://dblp.org/rec/journals/corr/abs-2103-08535.bib }, bibsource={dblp计算机科学书目， 网址：https://dblp.org } }
