{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[[2024,9,4]]，“日期时间”：“2024-09-04T12:18:52Z”，“时间戳”：1725452332916}，“引用计数”：7，“发布者”：“IEEE Compute.Sco.Press”，“内容域”：{“域”：[]，“交叉标记限制”：false}，“内政部”：“10.1109\/lics.1991.151639”，“type”：“proceedings-article”，“created”：{“date-parts”：[2002,12,10]]，“date-time”：“2002-12-10T14:53:10Z”，“timestamp”：1039531990000}，“page”：”146-151“，“source”：：“Crossref”，“is-referenced-by-count”：0，“title”：[“Parallel PCF具有唯一的扩展模型”]，“prefix”：”10.1109“，“author”：[{“given”：a。“，”family“：”斯托顿“，“sequence”：“first”，“affiliation”：[]}]，“member”：“263”，“reference”：[{“key”：“ref4”，“doi-asserted-by”：“publisher”，“doi”：“10.1016\/0304-3975（77）90044-5”}，{“密钥”：“ref3”，”doi-assert-by“：”publisher“，”doi“：”10.1016\/0304-975（77）900053-6“}，“key“：”ref6“，”doi-asserted-by“：“publisher”，“doi”：“10.1007\/BFb0040262”}，{“journal-title”：“理论计算机科学研究笔记”，“年份”：“1988”，“作者”：“stoughton”，“key”：“ref5”}，{“key”：“ref7”，“doi断言”：“出版商”，“doi”：“10.1016\/00304-3975（91）90337-2”}，{“期刊标题”：“语义学中的代数方法”，“首页”：“89”，“年份”：“1985”，“作者”：“berry”，“key”：“ref2”}，{“期刊标题”：“Th\uffdse de Doctorat d‘Etat”，“年份”：“1979”，“author”：“berry”，“key”：“ref1”}]，“event”：{“name”：“第六届IEEE计算机科学逻辑研讨会”，“location”：“Amsterdam，Netherlands”}，“container-title”：[“[1991]Proceedings Sixth Annual IEEE Symposium on Logic in Computer Science”]，“original title”：[]，“link”：[{“URL”：“http://explorestaging.IEEE.org\/ielx2\/360\/3979\/00151639.pdf？arnumber=151639“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[[2017,3,9]]，”date-time“：“2017-03-09T06:07:57Z”，”timestamp“：1489039677000}，”score“：1，”resource“：”{“primary”：{“URL”：“http://ieexplore.iee.org\/document\/151639\/”}}，“副标题”：[]，“短标题”：[]，“发出“：{“date-parts”：[[null]]}，“references-count”：7，“URL”：“http://\/dx.doi.org\/10.109\/lics.1991.151639”，“relation”：{}，”subject“：[]}}”