BibTeX记录日志/ipl/EchenimP23
@文章{DBLP:journals/ipl/EchenimP23， author={Mnacho Echenim和 尼古拉斯·佩尔蒂埃}， title={分离逻辑与理论推理的不可判定性结果}， 日志={Inf.Process.Lett.}， 体积={182}， 页数={106359}， 年份={2023}， url={ https://doi.org/10.1016/j.ipl.2023.106359 }, doi={10.1016/J.IPL.2023.106359}， timestamp={2023年6月15日星期四21:57:42+0200}， 比布尔={ https://dblp.org/rec/journals/ipl/EchenimP23.bib }, bibsource={dblp计算机科学书目， 网址：https://dblp.org } }
