{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部件”：[[2023,3,25]]，“日期-时间”：“2023-03-25T04:38:54Z”，“时间戳”：1679719134831}，“更新到”：[{“更新的”：{-date-parts”：[2023,13]]，”日期-时间“：”2023-01-3T00:00Z“，”时间戳“：16735680000}，”DOI“：“10.1007\/s10817-022-09643-1”，“类型”：“更正”，“label”：“Correction”}]，“reference-count”：0，“publisher”：“Springer Science and Business Media LLC”，“issue”：“1”，“license”：[{“start”：{“date-parts”：[2023,13]]，“date-time”：“2023-01-13T00:00:00Z”，“timestamp”：167356800000}，“content-version”：“tdm”，“delay-in-days”：0；“URL”：“https:\\/creativecommons.org\/licenses\/by\/4.0”}，{”开始“：{”日期部分“用法：[2023,13]]，“date-time”：“2023-01-13T00:00:00Z”，“timestamp”：167356800000}，“content-version”：“vor”，“delay-in-days”：0，“URL”：“https:\/\/creativecommons.org\/licenses\/by\/4.0”}]，“content-domain”：{“domain”:[“link.springer.com”]，“crossmark-restriction”：false}，”short-container-title“：[”J Autom Reasoning“]，”published-print“：{”日期部分“：[[2023,3]]}，“DOI”：“10.1007\/s10817-022-09651-1”，“type”：“journal-article”，“created”：{“date-parts”：[[2023,13]]，“date-time”：“2023-01-13T06:07:29Z”，“timestamp”：1673590049000}，“update-policy”：”http://\/dx.DOI.org\/10.10007\/springer_crossmark_policy“，”source“Crossref”，“is-referenced-by-count”：0，“title”：[“更正：Isabelle \/HOL中Minkowski时空的Schutz\u2019公理形式化”]，“前缀”：“10.1007”，“卷”：“67”，“作者”：[{“ORCID”：“http://\/ORCID.org\/00000-0003-1473-071X”，“authenticated-ORCID”：false，“给定”：“Richard”，“family”：“Schmoetten”，序列”：“additional”，“affiliation”：[]}，{“given”：“Jacques D.”，“family”：“Fleuriot”，“sequence”：“addressional”，“abfiliation“：[]{”，“member”：“297”，“published-on-line”：{“date-parts”：[2023,13]]}；“container-title”：[“Journal of Automated Reasoning”]，“original-title“：[]，“language”：“en”，“link”：[{“URL”：“https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10817--022-09651-1/pdf”，“内容类型”：“应用程序\/pdf”，“内容版本”：“vor”，“预期应用程序”：“文本挖掘”}，｛“URL”：“https:\/\/link.springer.com\/article\/10.1007\/s10817--022-09651-1/fulltext.html”，“内容类型”：“text\/html”，“内容版本”：“vor”，“预期应用程序”：“text-mining”}，{“URL”：“https:\/\/link.springer.com/content\/pdf\/101007\/s10817-022-09651-1.pdf”，“content-type”：“application\/pdf”、“content-version”：“vor”，“intended-application”：“similarity-checking”}]，“deposed”：{“date-parts”：[2023,3,24]]，“date-time”：”2023-03-24T09:24:19Z“，“timestamp”：1679649859000}，“score”：1，“资源”：{“主资源”：}“URL”：“https:\/\/link.springer.com/10.1007\/s10817-022-09651-1”}}，“副标题”：[]，“短标题”：[]，“已发布”：{“日期部分”：[2023,13]]}x.doi.org \/10.1007\/s10817-022-09651-1“，”关系“：{}，”ISSN“：[”0168-7433“，“1573-0670”]，“issn-type”：[{“value”：“0168-7433”，“type”:“print”}，{“value”：“1573-0770”，“type”：“electronic”}]，“subject”：[]，“published”：{“date-parts”：[[2023,13]]}，“assertion”：[[{”value“：“2023年1月13日”，“order”：1，“name”：“first_online”，“label”：“first online”，”group“：{”name“Article History”，“标签“：”文章历史“}}]，”文章编号“：”9“}}