{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部件”：[[2024,7,7]]，“日期-时间”：“2024-07-07T06:41:37Z”，“时间戳”：1720334497794}，“参考-计数”：8，“发布者”：“Elsevier BV”，“许可证”：[{“开始”：{“日期-部分”：[2023,8,1]]，”日期-时间“：”2023-08-01T00:00:00 0:00Z“，”时间戳“：1690848000000}，”内容-版本“：“tdm”，“delay-in-days”：0，“URL”：“https:\/\/www.elsevier.com/tdm\/userlicense\/1.0\/”}，{“start”：{“date-parts”：[[2024,1,27]]，“date-time”：“2024-01-27T00:00:00Z”，“timestamp”：1706313600000}，“content-version”：“am”，“delay-in-days”：179，“URL”：“http://www.elseviers.com/open-access\/userlicense”\/1.0\/“}，{“开始”：{“日期部分”：[[2023,8,1]]，“日期时间”：“2023-08-01T00:00:00Z”，“timestamp”：1690848000000}，“content-version”：“stm-asf”，“delay-in-days”：0，“URL”：“https:\/\/doi.org\/10.15223\/policy-017”}，{“start”：{“date-parts”：[[2023,8,1]]，“date-time”：“2023-08-01T00:00Z”，in-days“：0，”URL“：”https:\/\/doi.org\/10.15223\/policy-037“}，{“start”：{“date-parts”：[[2023,8,1]]，“date-time”：“2023-08-01T00:00:00Z”，“timestamp”：1690848000000}，“content-version”：“stm-asf”，“delay-in-days”：0，“URL”：“https:\/\/doi.org\/10.15223\/policy-012”}，{“start”：{（日期-部件）：[[2023,8,1]，“日期-时间”：“2013-08-01T_00:00Z”，”timestamp“169 0848000000}，“content-version”：“stm-asf”，“delay-in-days”：0，“URL”：“https:\/\/doi.org\/10.15223\/policy-029”}，{“start”：{“date-parts”：[[2023,8,1]]，“date-time”：“2023-08-01T00:00:00Z”，“timestamp”：1690848000000}，“content-version”：“stm-asf”，“delay-in-days”：0，“URL”：“http:\//doi.org\/10.152 23\/plicy-004”}]，“出资人”：[{“doi”：“10.13039 \/501100016394“，”name“：”ANR“，”doi-asserted-by“：”publisher“，”id“：[{”id“：“10.13039\/501100016394”，“id type”：“DOI”，“断言者”：“publisher”｝]｝，｛“DOI”：“10.13039\/50100001665”，“name”：“Agence National de la Recherche”，“DOI断言者”：“publisher”，“award”：[“ANR-21-CE48-0011”]，“id”：[｛“id”：“10.13039\/50100001665”，“id type”：“DOI”，“断言者”：“publisher”｝]｝]，“内容域”：｛“domain“：[”elsevier.com“，”sciencedirect.com“]，“crossmark-restriction”：true}，“short-container-title”：[“Information Processing Letters”]，“published-print”：{“date-parts”：[[2023,8]]}，”DOI“：”10.1016\/j.ipl.2023.106359“，”type“：”journal-article“，”created“：{”date-part“：[2023,10]]，”date-time“：”2023-01-10T16:51:11Z“，”timestamp“：1673369471000}，政策”：“http://\/dx.doi.org\/10.1016\/elsevier_cm_policy”，“source”：“Crossref”、“is-referenced-by-count”：0，“special_numberg”：“C”，“title”：[“带理论推理的分离逻辑的不可判定结果”]，“prefix”：“10.1016”，“volume”：”182“，”author“：[{”given“：”Mnacho“，“family”：“Echenim”，“sequence”：“first”，“affiliation”：[]}，{“ORCID”：“http://\/orcid.org\/00000-0002-8943-7000”，“authenticated-orcid”：false，“given”：“Nicolas”，“family”：“Peltier”，“sequence”：“additional”，“affiliation”：[]}]，“member”：“78”，“reference”：[{“key”：”10.1016\/j.ipl.2023.106359_br0010“，”series-title“CADE-24的Proc.”，“article-title”：“带递归定义的分离逻辑的树宽度”，“volume”：“vol.7898”，“author”：“Iosif”，“year”：“2013”}，{“key”：“10.1016\/j.ipl.2023.106359_br0020”，“series-title”：“ACM SIGPLAN Notices”，“first page”：”14“，”article-title“：”Bi as an assertion language for mutable data structures“，”volume“：”vol.36“，”author“：”Ishtiaq“，”year“：”2001 0030“，”series-title“：”LICS'02程序“，“文章标题”：“分离逻辑：共享可变数据结构的逻辑”，“作者”：“Reynolds”，“年份”：“2002”}，｛“密钥”：“10.1016\/j.ipl.2023.106359_br0040”，“系列标题”：“ATVA 2014，Proceedings”，“首页”：“201”，“文章标题”：“用树自动机确定归纳分离逻辑中的内含物”，“卷”：“第8837卷”，“作者”：“Iosif”，“年”：“2014”}，{“key”：“10.1016\/j.ipl.2023.106359_br0050”，“series-tile”：“LPAR-23”，“first page”：”390“，“article-title”：“Beyond symbol heaps:decision separation logic with inductive definitions”，“volume”：《第73卷》，“author”：“Pagel”，“year”：“2020”}：“773”，“article-title”：“使用SMT实现分离逻辑自动化”，“author”：“Piskac”，“year”：“2013”}，{“key”：“10.1016\/j.ipl.2023.06359_br0070”，“series-title”：”ACM SIGPLAN PLDI'13“，“first page”：”231“，“artice-title“：”结构、数据和分离的自然证明_br0080“，”系列标题“：“CADE 26”，“first page”：“509”，“article-title”：“具有树谓词和数据约束的组合分离逻辑的可满足性”，“volume”：《vol.10395》，“author”：“Xu”，“year”：“2017”}]，“container-title“：[“Information Processing Letters”]，“original-title）：[]，“language”：“en”，“link”：[{“URL”：“https:\/\/api.elsevier.com/content\/article\/PII:S0020019023000029？httpAccept=text\.xml”，“content-type”：“text\/xml”，“content-version”：“vor”，“intended-application”：“text-mining”}，{“URL”：“http:\/\-api.elsever.com/content\/article \/PII:S00200190029？httpAccept=text\/plain”，“内容类型”：“文本\/plaine”，“content-version“：“vor”，“intended-application”：“text-mining”}]，“deposed”：{“date-parts”：[[2023,5,16]]，“date-time”：“2023-05-16T15:35:35Z”，“timestamp”：1684251335000}，“score”：1，“resource”：{“primary”：}“URL”：“https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0020019023000029”}，”subtitle“：[]，”shorttitle“：[]，”issued“：{”date-part rts“：[[2023,8]]}，“引用计数”：8，“alternative-id”：[“S0020019023000029”]，“URL”：“http://\/dx.doi.org\/10.1016\/j.ipl.2023.06359”，“关系”：{}，“ISSN”：[”0020-0190“]，“ISSN-type”：[{“值”：“0020-0190]，“类型”：“打印”}]，“主题”：[]，“发布”：{“日期部分”：[2023,8]]}，“name”：“publisher”，“label”：“本文由”}，{“value”维护”：“具有理论推理的分离逻辑的不可判定结果”，“name”：“articletite”，“label”：“Article Title”}，{“value”：“Information Processing Letters”，“name:”journaltitle“，”label“：”Journal Title“}，”value“：”https:\/\/doi.org\/101016\/j.ipl.2023.106359“，”name“：”articlelink“，”标签“：”CrossRef doi link to publisher maintained version“}”，{“value”：“article”，“name”：“content_type”，“label”：“content-type”}，{“value”：“\u00a9 2023 Elsevier B.V.保留所有权利。”，“名称”：“版权”，“标签”：“copyright”}]，“文章编号”：“106359”}}