{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期-部分”：[[2022,3,29]]，“日期-时间”：“2022-03-29T22:19:58Z”，“时间戳”：1648592398686}，“引用-计数”：0，“发布者”：“Springer Science and Business Media LLC”，“问题”：“3”，“内容-域”:{“域”：[]，“交叉标记限制”：false}，”short-container-ti“：[]，“published-print”：{“date-parts”：[1997]]}，“DOI”：“10.1023\/a:1005877613942”，“type”：“journal-article”，“created”：{“date-ports”：[[2002,12,21]]，“date-time”：“2002-12-21T23:56:21Z”，“timestamp”：1040514981000}，”page“：”319-346“，”source“Crossref”，”is-referenced-by-count“：2，”title“：[]，”prefix“：”10.1 007”，“卷”：“19”，“作者”：[{“给定”：“艾伦”，“家庭”：“Bundy”，“sequence”：“first”，“affiliation”：[]}，{“given”：“Fausto”，“family”：“Giunchiglia”，“序列”：“additional”，“abfiliation“：[]{”given“：”Adolfo“，”family“：”Villafiorita“，”sequence“：”additional“，”集装箱标签“：[“Journal of Automated Reasoning”]，“original-title”：[]，“deposed”：{“date-parts”：[[2012,12,27]]，“date-time”：“2012-12-27T21:27:03Z”，“timestamp”：1356643623000}，“score”：1，“resource”：{primary“URL”：“http://link.springer.com\/101023\/A:1005877613942”}，rts“：[1997]]}，”references-count“：0，“日志问题”：{“问题”：“3”}，“替代id”：[“134801”]，“URL”：“http://\\dx.doi.org\/10.1023\/a:1005877613942”，“关系”：{}，”ISSN“：[“0168-7433”]，”ISSN-type“：[{“值”：“0168-8433”，“类型”：“打印”}]，“主题”：[]，“发布”：{“日期段”：[[1997]]}}}}