{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2024,9,9]]，“日期时间”：“2024-09-09T04:46:43Z”，“时间戳”：1725857203824}，“出版商位置”：“查姆”，“引用计数”：0，“出版者”：“斯普林格国际出版”，“isbn-type”：[{“类型”：”打印“，“值”：“9783319409696“}，{”类型“：”电子“，“value”：“9783319409702”}]，“license”：[{“start”：{“date-parts”：[[2016,1,1]]，“date-time”：“2016-01-01T00:00:00Z”，“timestamp”：1451606400000}，“content-version”：“tdm”，“delay-in-days”：0，“URL”：“http://\www.springer.com\/tdm”}]container-title“：[]，”published-print“：{”date-parts“：[[2016]]}，“DOI”：“10.1007\/978-3-319-40970-2”，“type”：“book”，“created”：{“date-parts”：[[2016,6,10]]，“date-time”：“2016-06-10T11:14:55Z”，“timestamp”：1465557295000}，“source”：《Crossref》，“is-referenced-by-count”：5，“title”：[“可满足性测试的理论与应用\u2013 SAT 2016”]，“prefix”：“10.007”，“member”：“297”，“container-title”：[“计算机科学课堂讲稿”]，“original-title”：[]，“language”：“en”，“link”：[{“URL”：“http://\/link.springer.com/content\/pdf\/10.1007\/978-3319-40970-2.pdf”，“content-type”：“application\/pdf”、“content-version”：“vor”、“intended-application”：“text-mining”}，{“URL”：“http://www.link.springer/content\/ppdf\/10.10007\/9783-3-370-2.pdf 19-40970-2“，“content-type”：“unspecified”，“content-version”：“vor”，“intended-application”：“similarity-checking”}，“deposed”：{“date-parts”：[[2019,5,20]]，“date-time”：”2019-05-20T04:50:08Z“，”timestamp“：1558327808000}，”score“：1，”resource“：{”primary“：”{“URL”：“http://link.sprimary.com\/1007\/978-319-40970-2”}“，”subtittle“：[“第19届国际会议，法国波尔多，2016年7月5日至8日，会议记录”]，“编辑”：[{“给定”：“纳迪亚”，“家族”：“克里尼欧”，“序列”：“第一”，“从属关系”：[]}，{“给出”：“丹尼尔”，“家庭”：“勒贝雷”，“顺序”：“附加”，“附属关系”：[]}]，“短标题”：[]，“已发布”：{“日期部分”：[2016年]}409702“]，“references-count”：0，“URL”：“http://\/dx.doi.org\/10.1007\/978-3-319-40970-2”，“关系”：{}，“ISSN”：[“0302-9743”，“1611-3349”]，“ISSN-type”：[{“type”:“print”，“value”：“0302-7743”}，{“类型”：“electronic”，“值”：“1611-33049”}]，“主题”：[]，“发布”：{“日期段”：[[2016]]}}}