{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[2022,4,1]]，“日期时间”：“2022-04-01T11:09:11Z”，“时间戳”：1648811351792}，“发布者位置”：“查姆”，“引用计数”：0，“发布商”：“斯普林格国际出版”，“isbn-type”：[{“值”：“9783030138370”，“类型”：”打印“}，{“值”：“9783030138387”，“type”：“electronic”}]，“license”：[{“start”：{“date-parts”：[[2019,1,1]]，“date-time”：“2019-01-01T00:00:00Z”，“timestamp”：1546300800000}，“content-version”：“tdm”，“delay-in-days”：0，“URL”：“http://\www.springer.com\/tdm”}]tle“：[]，”published-print“：{”date-parts“：[2019]]}，”DOI“：“10.1007\/978-3-030-13838-7”，“type”：“book”，“created”：{“date-parts”：[[2019,2,22]]，“date-time”：“2019-02-22T03:15:23Z”，“timestamp”：1550805323000}，“source”：”Crossref“，“is-referenced-by-count”：1，“title”：[“Logic-Based Program Synthesis and Transformation”]，“prefix”：“10.107]，“member”：“297”，“container-title”：【“计算机科学课堂笔记”】，“original-title”：[]，“link”：[{“URL”：“http://\/link.springer.com/content\/pdf\/10.1007\/978-3-030-13838-7.pdf”，“content-type”：“application\/pdf”、“content-version”：“vor”，“intended-application”：“text-mining”}，{“URL”：“http:\\/link.sringer.com/content\/ppdf\/10.10007\/978-30-13838-7”，“内容类型”：“unspecified”，“content-versions”离子“：”vor“，“意向应用程序”：“相似性检查”}]，“存放”：{“日期-部分”：[[2019,5,20]]，“日期-时间”：“2019-05-20T11:33:15Z”，“时间戳”：1558351995000}，“分数”：1，“资源”:{“主要”：{“URL”：“http://\link.sprimary.com\/10007\/978-3-030-13838-7”}}，”副标题“：[“第28届国际研讨会，2018年9月4日至6日，德国法兰克福，第28届LOPSTR，2018，修订论文集”]，“编辑”：[{“给定”：“弗雷德”，“家族”：“梅斯纳德”，“序列”：“第一”，“从属关系”：[]}：[“9783030138370”，“97830.30138387”]，“references-count”：0，“URL”：“http://\/dx.doi.org\/10.1007\/978-3-030-13838-7”，”关系“：{}，”ISSN“：[”0302-9743“，”1611-3349“]，“ISSN-type”：[{“value”：“0302-9643”，”type“：”print“}，{“value”：”1611-349“，”类型“electronic”}]，“subject”：[]，“已发布”：{“日期部分”：[2019]]}}