BibTeX记录日志/corr/abs-2007-00502
@文章{DBLP:journals/corr/abs-2007-00502， author={Mnacho Echenim和 Radu Iosif和 尼古拉斯·佩尔蒂埃}， title={带归纳定义的分离逻辑中的可判定蕴涵： 超越既定体系}， journal＝{CoRR}， 体积={abs/2007.0502}， 年份={2020年}， url={ https://arxiv.org/abs/2007.00502 }, eprinttype={arXiv}， eprint={2007.0502}， timestamp={2020年7月6日星期一15:26:01+0200}， 比布尔={ https://dblp.org/rec/journals/corr/abs-2007-00502.bib }, bibsource={dblp计算机科学书目， 网址：https://dblp.org } }
