｛“status”：“ok”，“message type”：“work”，“message version”：“1.0.0”，“message”：｛“indexed”：｛“date parts”：[[2022,4,2]]，“date-time”：“2022-04-02T20:42:40Z”，“timestamp”：1648932160397｝，“publisher location”：“Cham”，“reference count”：0，“publisher”：“Springer International Publishing”，“isbn type”：[｛“value”：“9783319942049”，“type”：“print”｝，｛“value”：“9783319942056”，“type”：“electronic”}]，“license”：[{“start”：{“date-parts”：[[2018,1,1]]，“date-time”：“2018-01-01T00:00:00Z”，“timestamp”：1514764800000}，“content-version”：“tdm”，“delay-in-days”：0，“URL”：“http:\\/www.springer.com\/tdm”}]title“：[]，”published-print“：{”date-parts“：[[2018]]}，”DOI“：“10.1007\/978-3-319-94205-6”，“type”：“book”，“created”：{“date-parts”：[[2018,6,29]]，“date-time”：“2018-06-29T16:22:50Z”，“timestamp”：1530289370000}，“source”：”Crossref“，“is-referenced-by-count”：1，“title”：[“Automated Reasoning”]，“prefix”：“10.1006”，“member”：“297”，“container-title”：【计算机科学课堂笔记】，“original-title“：[]，”链接“：[{”URL“：“http://\/link.springer.com/content\/pdf\/10007\/978-3-319-94205-6.pdf”，“content-type”：“application\/pdf”，“内容版本”：“vor”，“intended-application”：“text-mining”}，{“URL”：“http://\/link.stringer.com/content\/pdf\/10007\/978-3-319-94205-6”，“content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”相似检查“}]，“存放”：{“日期-部分”：[[2020,1,8]]，“日期-时间”：“2020-01-08T18:40:33Z”，“时间戳”：1578508833000}，“分数”：1，“资源”：{“主要”：{:“URL”：“http://\/link.springer.com\/10.1007\/978-3319-94205-6”}}，”副标题“：[“第九届国际联席会议，IJCAR2018，作为联邦逻辑会议的一部分举行，FloC2018，英国牛津，2018年7月14日至17日，会议记录”]，“编辑”：[｛“给定”：“Didier”，“家族”：“Galmiche”，“序列”：“first”，“affiliation”：[]｝，｛“给定”：“Stephan”，“家族”：“Schulz”，“序列”：“additional”，“affiliation”：[]｝，｛“给定”：“Roberto”，“family”：“Sebastiani”，“sequence”：“additional”，“affiliation”：[]}]，“short title”：[]，“issued”：{“date-parts”：[[2018]]}，“ISBN”：[“9783319942049”，“97833942056”]，“references-count”：0，“URL”：“http://\/dx.doi.org\/10007\/978-319-94205-6”，“relationship”：{}，”ISSN“：[”0302-9743“，”1611-3349“]，“ISSN-type”：[{“value”：“0302-9743”，“type”:“print”}，{“value”：“1611-3349”，“类型”：“电子”}]，“主题”：[]，“发布”：{“日期部分”：[[2018]]}}}