{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2024,9,4]]，“日期时间”：“2024-09-04T21:01:04Z”，“时间戳”：1725483664253}，“出版商位置”：“柏林，海德堡”，“参考计数”：2，“出版者”：“斯普林格-柏林-海德堡“，”isbn-type“：[{”type“打印”，“值”：“9783834253”540657637“}，{”类型“：”电子“，“value”：“9783540489597”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[[1999]]}，”DOI“：”10.1007\/3-540-48959-2_1“，”type“：”book-chapter“，”created“：{”date-ports“：[2007,5,3]]，”date-time“：”2007-05-03T16:52:16Z“，”timestamp“：1178211136000}，”页面“：”1-5“，”源“：”Crossref“，“is-referenced-by-count”：0，“title”：[“The Coordination Language Facility and Applications”]，“prefix”：“10.1007”，“author”：[{“given”：“Jean-Marc”，“family”：“Andrelio”，“sequence”：“first”，“affiliation”：[]}]，“member”：“297”，“published-online”：{“date-parts”：[[2002,5,27]]}，“reference”：[[{”key“1_CR1”，“doi-asserted-by”：“：”J-M。安德烈奥利：用线性逻辑集中证明的逻辑编程。《逻辑与计算杂志》，2（3），1992年。“，“DOI”：“10.1093\/logcom\/2.3.297”}，{“key”：“1_CR2”，“DOI-asserted-by”：“crossref”，“unstructured”：“J-M.Andreoli和F.Pacull：预期框架中的分布式按需打印系统。分布式与并行数据库杂志，1998年。出现。“，”DOI“：”10.1007\/BFb0053407“}]，”container-title“：[”计算机科学课堂讲稿“，”键入Lambda Calculi和应用程序“]，”原始标题“：[]，”链接“：[{”URL“：”http://\/link.springer.com\/content\/pdf\/10.1007\/3-540-48959-2_1“，”内容类型“：”unspecified“，”content-version“：”vor“，”intended-application“：”相似性检查“}]”，“存放”：{“date-parts“：[[2019,2,16]]，”date-time“：”2019-02-16T12:09:07Z“，”timestamp“：1550318947000}，”score“：1，”resource“：{主要”：{“URL”：“http://\/link.sprimary.com\/10.1007\/3-540-48959-2_1”}，“副标题”：[]，“短标题”：[]，“已发布”：{“date-part”：[1999]}，《ISBN》：[“9783540657637”，“9783540489597“]，”references-count“：2，”URL“：”http://\/dx.doi.org\/10.1007\/3-540-48959-2_1“，”关系“：{}，”ISSN“：[”0302-9743“]，”ISSN-type“：[{”类型“：”打印“，”值“：”0302-7743“}]，”主题“：[]，”发布“：{”日期部分“：[1999]]}}}