{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期-部分”：[[2024,7,26]]，“日期-时间”：“2024-07-26T14:33:55Z”，“时间戳”：1722004435917}，“引用-计数”：0，“发布者”：“Springer Science and Business Media LLC”，“问题”：“2”，“内容-域”：{-“域”：[]，“交叉标记限制”：false}，”short-contain惰性物质“：[]，“published-print”：{“date-parts”：[1997]]}，“DOI”：“10.1023\/a:1005879229581”，“type”：“journal-article”，“created”：{“date-ports”：[[2002,12,21]]，“date-time”：“2002-12-21T18:56:21Z”，“timestamp”：1040496981000}，”page“：”189-198“source”：”Crossref“，”is-referenced-by-count“：41，”title“：[]，”prefix“：”10.1 007“，“卷”：“18”，“作者”：[{“给定”：“J\u00f6rg”，“家族”：“Denzinger”，“sequence”：“first”，“affiliation”：[]}，{“given”：“Martin”，“family”：“Kronenburg”，”sequence“：”additional“，”affiliance“：[]{，”given“：”Stephan“，”family“：”Schulz“，”se序列“：”附加“，”从属“：[]}]，“member”：“297”，“container-title”：[“Journal of Automated Reasoning”]，“original title”：[]，“deposed”：{“date-parts”：【2012年12月27日】]，“日期-时间”：“2012-12-27T16:27:19Z”，“时间戳”：1356625639000｝，“分数”：1，“资源”：｛“主要”：｛“URL”：“http:\/\/link.springer.com\/10.1023\/A:1005879229581”｝，“副标题”：[]，“短标题”：[]，“已发布”：｛“日期部分”：[[1997]]｝，“引用次数”：0，“期刊发行”：｛“发行”：“2”｝，“备选id”：[“133465”]，“URL”：“http://\/dx.doi.org\/10.1023\/a:1005879229581”，“关系”：{}，“ISSN”：[“0168-7433”]，“ISSN-type”：[{“值”：“0168-8433”，“类型”：“打印”}]，“主题”：[]，“发布”：{“日期部分”：[1997]}}}}