{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期-部件”：[[2022,4,1]]，“日期-时间”：“2022-04-01T03:42:49Z”，“时间戳”：1648784569834}，“参考-计数”：0，“出版商”：“Springer Science and Business Media LLC”，“问题”：“7”，“许可证”：[{“开始”：{-“日期-零件”：[2020,5,26]]，”日期-时间“：“2020-05-26T00:00:00Z”，“timestamp”：1590451200000}，“content-version”：“tdm”，“delay-in-days”：0，“URL”：“https:\/\/creativecommons.org\/licenses\/by\/4.0”}，{“start”：{“date-parts”：[[2020,5,26]]，“date-time”：“2020-05-26T00:00:00Z”，“timetamp”：15.9045120000}，”content-version:“vor”，“delay-in-days”：“0，”URL“https:\\/creativecommons.org\/licenses\/by\/4.0“}]，“出资人”：[{“名称”：“Baden-Wuertemberg合作州立大学斯图加特分校（DHBW Stuttgart）”}]，“内容域”：{“域”：[“link.springer.com”]，“crossmark-restriction”：false}，“short-container-title”：[”J Autom Reasoning“]，“published-print”：{“date-parts”：[[2020,10]]}，”DOI“：”10.1007\/s10817-020-09556-x“，”类型“：”journal-article“，”created“：{”date-part“”：[2020,5,26]]，“date-time”：“2020-05-26T02:02:30Z”，“timestamp”：1590458550000}，“page”：“1165-1167”，“update-policy”：”http://\/dx.doi.org\/10.1007\/springer_crossmark_policy“，”source“：”Crossref“，“is-referenced-by-count”：0，“title”：[“前言：2018年IJCAR精选扩展论文特刊”]，“前缀”：“10.1007”，”volume“：“64”，“author”：[”{“给定“：”迪迪埃“，“family”：“Galmiche”，“sequence”：“first”，“affiliation”：[]}，{“ORCID”：“http://\/ORCID.org\/00000-0001-6262-8555”，“authenticated-ORCID”：false，“given”：斯蒂芬，“faily”：舒尔茨，“segmentation”：“additional”，“从属关系”：[]}，“giving”：罗伯托，“falment”：“Sebastiani”，“序列”：“附加”，“附属关系”：[]}]，“member”：“297”，“在线发布”：{“date-parts”用法：[[2020,5,26]]}，“container-title”：[“Journal of Automated Reasoning”]，“原始标题”：[]，“语言”：“en”，“链接”：[{“URL”：“https:\/\/link.springer.com\/content\/pdf\/10.10007\/s10817-020-09556-x.pdf”，“内容类型”：“application\/pdf”，“content-version”：“vor”，“intended-application”：“text-mining”}，{“URL”：“https:\/\/link.springer.com/article\/10.1007\/s10817-020-09556-x\/fulltext.html”，“content-type”：“text\/html”，“内容-版本”：“vor”，“intended-application”：“文本-分钟”}，{“URL”：“http:\/\-link.springer.com\/content\/pdf\/10.10007\/s10817-02-09556-x.pdf”，“content-type“：”application\/pdf“，“content-version”：“vol”nded应用程序“：“相似性检查”}]，“存放”：{“日期部分”：[[2021,5,25]]，“日期时间”：“2021-05-25T23:29:55Z”，“时间戳”：1621985395000}，“分数”：1，“资源”：{“主要”：{:“URL”：“https:\\/link.springer.com\/10.10007\/s10817-020-09556-x”}}，”副标题“：[]，”短标题“：[]，”已发布“：{”日期部分“：[2020,5,26]]}，“references-count”：0，“journal-issue”：{“issue”：“7”，“published-print”：{“date-parts”：[[2020,10]]}}，“alternative-id”：[“9556”]，“URL”：“http://\/dx.doi.org\/10.1007\/s10817-020-09556-x”，“relation”：{}，”ISSN“：[“0168-7433”，“1573-0670”]，”ISSN-type“：[{”value“：”0168-74303“，”type“”：“print”}，{“value”：“1573-0770”，“type”“：”电子“}]，”主题“：[]，”发布“：{”日期部分“：[[2020,5,26]]}，”断言“：[{”值“：“2020年4月17日”，“订单”：1，“名称”：“已接收”，“标签”：“收到”，“组”：{“名称”:“文章历史”，“label”：“文章历史记录”}}，{“值”：“2020年4月24日”，”订单“：2，”名称“：”接受“，”标签“：”接收“，”组“：{”名称“:”文章历史“，”label“：”文章历史记录“}，”值“：”2020年5月26日“，”订单：3，“名称“：“first_online”，”标签：“首次在线”，“群组”：{“name”：“ArticleHistory”，“label”：“文章历史”}}]}}