{“状态”:“正常”,“消息类型”:“工作”,“消息版本”:“1.0.0”,“消息”:{“索引”:{“日期部分”:[[2024,9,7]],“日期时间”:“2024-09-07T18:16:26Z”,“时间戳”:1725732986009},“发布者位置”:“柏林,海德堡”,“引用计数”:0,“发布者”:“施普林格-柏林-海德堡”,“isbn类型”:[{“类型”:“打印”,“值”:“9783642390708”},{“类型”:“电子”,“value”:“9783642390715”}],“license”:[{“start”:{“date-parts”:[[2013,1,1]],“date-time”:“2013-01T00:00:00Z”,“timestamp”:1356998400000},“content-version”:“tdm”,“delay-in-days”:0,“URL”:“https:\/\/www.springernature.com\/gp\researters\/text-and-data-mining”},{“tart”:]],“日期时间”:“2013-01-01T00:00:00Z”,“时间戳”:1356998400000},“content-version”:“vor”,“delay-in-days”:0,“URL”:“https:\\/www.springernature.com//gp\/researters\/text-and-data-mining”}],“content-domain”:{“domain”:[],“crossmark-restriction”:false},”short-container-title“:[],”published-print“:{”date-parts“:[2013]}”,“DOI”:“10.1007\/978-3642-39071-5”,“”键入“:”book“,”created“:{”date-parts“:[2013,6,24]],“date-time”:“2013-06-24T01:23:17Z”,“timestamp”:1372036997000},“source”:“Crossref”,“is-referenced-by-count”:0,“title”:[“可满足性测试的理论与应用\u2013 SAT 2013”],“prefix”:“10.1007”,”member“:”297:“https:\/\/link.springer.com/content\/pdf\/10.1007\/978-3642-39071-5.pdf”,“content-type”:“application\/pdf”,“内容版本”:“vor”,“intended-application”:“text-mining”},{“URL”:“http:\/\-link.springer.com/content\/ppdf\/10.10007\/9783-642-390071-5”,“content-type“:”unspecified“,”content-version“:”vor“intended-application:”simily算术校验“}],“deposed”:{“date-parts”:[[2023,2,13]],“date-time”:“2023-02-13T20:19:35Z”,“timestamp”:1676319575000},“score”:1,“resource”:{“primary”:}“URL”:“https:\/\/link.springer.com/10.1007\/978-3642-39071-5”},《副标题》:[“第十六届国际会议,芬兰赫尔辛基,2013年7月8日至12日。Proceedings“],“editor”:[{“given”:“Matti”,“family”:“J\u00e4rvisalo”,“sequence”:“first”,“affiliation”:[]},{“给定的”:“Allen”,“家族”:“Van Gelder”,“序列”:“additional”,“从属关系”:[]}],“短标题”:[],“issued”:{“date-parts”:[2013年]]},“ISBN”:[“9783642390708”,“978364 2390715”],“references-count”:0,“URL”:“http:\/\/dx.doi.org\/10.1007\/978-3642-39071-5“,”关系“:{},”ISSN“:[”0302-9743“,”1611-3349“],”ISSN-type“:[{”类型“:”打印“,”值“:”0302-7743“},{”型号“:”电子“,”数值“:”1611-33049“}],”主题“:[],”发布“:{”日期部分“:[2013]]}}}}