{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期-部件”：[2022,4,4]，“日期-时间”：“2022-04-04T10:45:06Z”，“时间戳”：1649069106451}，“参考-计数”：0，“出版商”：“Springer Science and Business Media LLC”，“发行”：“4”，“许可证”：[{“开始”:{“日期-零件”：[2006,12,15]]，“日期时间”：“2006-12-15T00:00:00Z”，“时间戳”：1166140800000｝，“内容版本”：“tdm”，“延迟天数”：0，“URL”：“http:\/\/wspringer.com\/tdm”｝]，“内容域”：｛“域”：[]，“交叉标记限制”：false｝，“短容器标题”：[“J Autom推理”]，“已发布的印刷品”：｛“日期部分”：[[2007,1,2]]｝，“DOI”：“10.1007\\s10817-006-9059-5”，“类型”：“期刊文章”，“已创建”：｛“日期部分”：[[2006,12,14]]，“日期-时间”：“2006-12-14T04:25:37Z”，“时间戳”：1166070337000}，“页面”：“287-287”，“源”：“交叉引用”，“被引用计数”：0，“标题”：[“经验性成功的自动推理：系统问题”]，“前缀”：“10.1007”，“卷”：“36”，“作者”：[{“给定”：“Bernd”，“家族”：“Fischer”，“序列”：“第一”，“从属关系”：[]}，{“给定”：“杰夫”，“family”：“Sutcliffe”，“sequence”：“additional”，“affiliation”：[]}，{“given”：“Stephan”，“faily”：”Schulz“，”sequence“：”additional“，”affiliation:[]}]，“member”：“297”，“published-online”：{“date-parts”：[[2006,12,15]]}：“http://\/link.springer.com/content\/pdf\/10.1007\/s10817-006-9059-5.pdf”，“content-type”：“application\/pdf”、“content-version”：“vor”、“intended-application”：“text-mining”}，{“URL”：“http://\\link.springer\com/article\/10.10007\/s10817-006-9059-5\/fulltext.html”，“内容类型”：“文本\/html”、“内容-version“：”vor“，”intended d-应用程序“：”text-mining“}，{“URL”：“http://\/link.springer.com/content\/pdf\/101007\/s10817-006-9059-5”，“content-type”：“unspecified”，“content-version”：“vor”，“intended-application”：“similarity-checking”}]，“deposed”：{“date-parts”：[[2019,5,30]]，“date-time”：”2019-05-30T21:21:47Z“timestamp”：1559251307000}，“score”：1，“resource”：{“primary”：{URL”：“http://\/link.springer.com/10.1007\/s10817-006-9059-5”}}，“副标题”：[]，“短标题”：[]，“已发布”：{“日期-parts”：[[2006,12,15]]}，”引用计数“：0，”日志发布“：{”发布“：”4“，”发布发布“：/dx.doi.org \/10.1007\/s10817-006-9059-5“，”关系“：{}，”ISSN“：[”0168-7433“，“1573-0670”]，“issn-type”：[{“value”：“0168-7433”，“type”:“print”}，{“value”：“1573-0770”，“type”：“electronic”}]，“subject”：[]，“published”：{“date-parts”：[[2006,12,15]]}}}