{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部件”：[2022,4,2]，“日期-时间”：“2022-04-02T16:10:41Z”，“时间戳”：1648915841498}，“引用-计数”：0，“出版商”：“Springer Science and Business Media LLC”，“问题”：“2”，“许可证”：[{“开始”：{-date-parts”：[2015,9,11]]，“日期时间”：“2015-09-11T00:00:00Z”，“timestamp”：1441929600000}，“content-version”：“tdm”，“delay-in-days”：0，“URL”：“http://www.springer.com/tdm”}]，“content-domain”：{“域”：[“link.springer.com”]，“crossmark-restriction”：false}，”short-container-title“：[”J Autom Reasoning“]，”published-print“：{”date-parts“：[2016,2]}”，“DOI”：“10.1007\/s108 17-015-9347-z“，”type“：”journal-article“，”created“：｛“日期部分”：[[2015,9,11]]，“日期时间”：“2015-09-11T03:55:10Z”，“时间戳”：1441943710000｝，“页面”：“95-98”，“更新策略”：“http:\/\/dx.doi.org/10.1007\/springer_crossmark_policy”，“来源”：“Crossref”，“由计数引用”：0，“标题”：[“纪念Mark Stickel”]，“前缀”：“10.1007”，“卷”：“56”，“作者”：[｛“给定”：“Peter“，”家族“：”鲍姆加特纳“、“sequence”：“first”，“affiliation”：[]}，{“given”：“Wolfgang”，“family”：“Bibel”，“sequences”：“additional”，“filiation“：[]{”given“：”Richard“，”family“：”Waldinger“，”sequence“：”additional“，”affiliation:[]}]，“member”：“297”，“published-online”：{“date-parts”：[[2015,9,11]]}、“container-title”：[“Journal of Automated Reasoning”]，“ori”ginal-title“：[]，”语言“：“en”，“link”：[{“URL”：“http://\/link.springer.com/content\/pdf\/10.1007\/s10817-015-9347-z.pdf”，“content-type”：“application\/pdf”、“content-version”：“vor”，“intended-application”：“text-mining”}，{“URL”：“http:\\/link.sringer.com/article\/10.10007\/s10817-015-9347-z\/fulltext.html”，“内容类型”：“文本\/html”，“content-version“：”vor“，“intended-application”：“text-mining”}，{“URL”：“http://\/link.springer.com/content\/pdf\/101007\/s10817-015-9347-z”，“content-type”：“unspecified”，“content-version”：“vor”，“intented-applection”：”相似性检查“}]，“deposed”：{“date-parts”：[2019,5,31]]，“date-time”：”2019-05-31T01:21:53Z“，“timestamp”：1559265713000}，“score”：1，“资源”：{“主”：{“URL”：“http://\/link.springer.com/10.1007\/s10817-015-9347-z”}}，“subtitle”：[]，“shorttitle”：[]，“issued”：{日期部分：[[2015,9,11]]}，”引用计数“：0，”日志发布“：{”问题“：“2”，“published-print”：{“日期部分”：[[2016,2]}}、“alternative-id”：[“9347”]，”URL“：”http：\/\/dx.doi.org\/10.1007\/s10817-015-9347-z“，”关系“：{}，”ISSN“：[”0168-7433“，“1573-0670”]，“issn-type”：[{“value”：“0168-7433”，“type”:“print”}，{“value”：“1573-0770”，“type”：“electronic”}]，“subject”：[]，“published”：{“date-parts”：[[2015,9,11]]}}}