BibTeX记录日志/afp/Echenim21
@文章{DBLP:journals/afp/Echenim21， 作者={Mnacho Echenim}， title={量子投影测量和{CHSH}不等式}， 日志={Arch.Formal Proofs}， 体积＝{2021}， 年份={2021}， url={ https://www.isa-afp.org/entries/Projective（http://www.isa-afp.org/entries/Projective） \_Measurements.html}， 时间戳={2021年3月24日星期三17:37:24+0100}， biburl={ https://dblp.org/rec/journals/afp/Echenim21.bib }, bibsource={dblp计算机科学书目， 网址：https://dblp.org } }
