{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2024,9,7]]，“日期时间”：“2024-09-07T05:54:59Z”，“时间戳”：1725688499712}，“出版商位置”：“柏林，海德堡”，“参考计数”：0，“出版者”：“斯普林格-柏林-海德堡“，”isbn-type“：[{”类型“：“打印”，“值”：“9783839”642316111“}，{”类型“：”电子“，“value”：“9783642316128”}]，“license”：[{“start”：{“date-parts”：[[2012,1,1]]，“date-time”：“2012-01-01T00:00:00Z”，“timestamp”：132537600000}，“content-version”：“tdm”，“delay-in-days”：0，“URL”：“http://www.springer.com\/tdm”}]container-title“：[]，”published-print“：{”date-parts“：[[2012]]}，“DOI”：“10.1007\/978-3642-31612-8”，“type”：“book”，“created”：{“date-parts”：[[2012,6,18]]，“date-time”：“2012-06-18T05:14:42Z”，“timestamp”：1339996482000}，“source”：《Crossref》，“is-referenced-by-count”：4，“title”：[“可满足性测试的理论与应用\u2013 SAT 2012”]，“前缀”：“101007”，“member”：“297”，“container-title”：[“计算机科学课堂讲稿”]，“original-title”：[]，“language”：“en”，“link”：[{“URL”：“http://\/link.springer.com/content\/pdf\/10.1007\/978-3642-31612-8.pdf”，“content-type”：“application\/pdf”，“content-version”：“vor”，“intended-application”：“text-mining”}，{“URL”：“http:\\/link.stringer.com/content\/pdf\/10.1007\/978-3-6 42-31612-8英寸，“content-type”：“unspecified”，“content-version”：“vor”，“intended-application”：“similarity-checking”}]，“deposed”：{“date-parts”：[[2019,5,19]]，“date-time”：”2019-05-19T20:53:09Z“，“timestamp”：1558299189000}，“score”：1，“resource”：{primary“：”{“URL”：“http://link.springer.com\/10007\/978-3642-31612-8”}}，”subtittle“：[“第十五届国际会议，意大利特伦托，2012年6月17日至20日。Proceedings“]，”editor“：[{”given“：”Alessandro“，”family“：”Cimatti“，”sequence“：”first“，”affiliation“：[]}，{”given“:”Roberto“，”家族“：”Sebastiani“，”序列“：”additional“，”filiation”：“[]}]，”shorttitle“：[]，”issued“：{”date-parts“：[[2012]]}、”ISBN“：[”9783642316111“，”978364 2316128“]，“references-count”：0，“URL”：“http:\/\/dx.doi.org/10.1007\/978-3-642-31612-8”，“关系”：｛｝，“ISSN”：[“0302-9743”，“1611-3349”]，“ISSN类型”：[｛“类型”：“打印”，“值”：“0302-9743”｝，｛“类型”：“电子”，“值”：“1611-3349”｝]，“主题”：[]，“已发布”：｛“日期部分”：[[2012]]｝｝