{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2024,5,13]]，“日期时间”：“2024-05-13T13:14:57Z”，“时间戳”：1715606097876}，“出版商位置”：“查姆”，“参考计数”：0，“出版者”：“斯普林格国际出版公司”，“isbn-type”：[{“值”：“9783319088662”，“类型”：”打印“}，{“值”：“9783319088679”，“type”：“electronic”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[[2014]]}，”DOI“：”10.1007\/978-319-08867-9_53“，”type“：”book-capter“，”created“：”{“date-part”：[[2014.6,28]]，“date-time”：“2014-06-28T11:37:30Z”，“timestamp”：140 3955450000}，“页面”：“797-813”，“来源”：“Crossref”，“is-referenced-by-count”：50，“title”：[“通过学习终止程序进行终止分析”]，“prefix”：“10.1007”，“author”：[{“given”：“Matthias”，“family”：“Heizmann”，“sequence”：“first”，“affiliation”：[]}，{“给定”：“Jochen”，《family》：“Hoenicke”，“serquence”:“additional”，“atriation”：[]}，“affiliation”：[]}]，“member”：“297”，“container-title”：[“Computer Aided Verification”，“Teach Notes in Computer Science”]，“original-title“：[]，“link”：[{“URL”：“http://\/link.springer.com\/content\/pdf\/10007\/978-319-08867-9_53”，“content-type”：“unspecified”，“content-version”：“vor”，“intended-application”：“similarity-checking”}，“deposed”：{“date-parts”：[[2014,6,28]]，“date-time”：“2014-06-28T11:38:18Z”，“timestamp”：1403955498000}，“score”：1，“resource”：{”primary“：{（URL）：“http://\/link.springer.com\/10.1007\/978-3-198867-9_53”}，”subtitle“：[]，”shorttitle“：[]，”issued“：{“date-ports”：[2014]}，《ISBN》：[“978331908868686”62“，”9783319088679“]，”references-count“：0，”URL“：“http://\/dx.doi.org\/10.1007\/978-3-319-08867-9_53”，“关系”：{}，“ISSN”：[“0302-9743”，“1611-3349”]，“ISSN-type”：[{“value”：“0302-7743”