BibTeX记录日志/corr/abs-2404-03377
@文章{DBLP:journals/corr/abs-2404-03377， author={Oskar Fiuk和 伊曼纽尔·基伦斯基}， title={统一一维片段中的交替量词 对三变量逻辑的理解}， 日志={CoRR}， 体积={abs/2404.03377}， 年份={2024}， url={ https://doi.org/10.48550/arXiv.2404.03377 }, doi={10.48550/ARXIV.2404.03377}， eprinttype＝{arXiv}， eprint={2404.03377}， timestamp={2024年5月13日，星期一08:34:13+0200}， biburl={ https://dblp.org/rec/journals/corr/abs-2404-03377.bib }, bibsource={dblp计算机科学书目， 网址：https://dblp.org } }
