BibTeX记录日志/corr/abs-2305-08419
@文章{DBLP:journals/corr/abs-2305-08419， author={Mnacho Echenim和 尼古拉斯·佩尔蒂埃}， title={分离逻辑中的可拓和难拓蕴涵问题 带有归纳定义谓词}， 日志={CoRR}， 体积={abs/2305.08419}， 年份={2023}， url={ https://doi.org/10.48550/arXiv.2305.08419 }, doi={10.48550/ARXIV.2305.08419}， eprinttype={arXiv}， eprint＝{2305.08419}， timestamp={2023年5月17日星期三15:47:36+0200}， biburl={ https://dblp.org/rec/journals/corr/abs-2305-08419.bib }, bibsource={dblp计算机科学书目， 网址：https://dblp.org } }
