{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2022,3,29]]，“日期时间”：“2022-03-29T09:28:08Z”，“时间戳”：1648546088258}，“参考计数”：5，“发布者”：“Elsevier BV”，“许可证”：[{“开始”：{-“日期部分:00Z“，”timestamp“：504921600000}，”content-version“：“tdm”，“delay-in-days”：0，“URL”：“https:\/\/www.elsevier.com//tdm\/userlicense\/1.0\/”}，{“start”：{“date-parts”：[[2013,7,17]]，“date-time”：“2013-07-17T00:00:00Z”，“timestamp”：1374019200000}，“content-version”：“vor”，“delay-in-days”：10059，“URL“https:\\/www.elssevier.com/open-access\/user”许可证\/1.0\/“}]，”内容域“：{”域“：[]，“crossmark-restriction”：false}，“short-container-title”：[“Theoryal Computer Science”]，“published-print”：{“date-parts”：[[1986]]}，”DOI“：”10.1016\/0304-3975（86）90179-9“，”type“：”journal-article“，”created“：“交叉参考”，“is-referenced-by-count”：3，“title”：[“Scott induction and closure under \u03c9-sups”]，“prefix”：“10.1016”，“volume”：“43”，“author”：[{“给定”：“Ana”，“family”：“Pasztor”，“sequence”：“first”，“affiliation”：[]}，{“give”：“Rick”“10.1016\/0304-3975（86）90179-9_bib1”，“series-title”：“格理论”，“author”：“Birkhoff”，“year”：“1973”}，{“key”：“10.1016\/0304-3975“：”Gordon“，”year“：”1979“}，{”key“：“10.1016\/0304-3975（86）90179-9_bib4”，“article-title”：“不动点归纳法的可容许性”，“author”：“Igarashi”，“年份”：“1972”，“日记标题”：“Stanford A.I.，Memo STAN-CS-72-287”}，{“key”：“10.106\/0304-2975（86）9179-9_bib”，“series-title”：《递归函数理论与有效可计算性》，“auth”：“Rogers”，“year”：“1967”}]，“container-title”：[“Theoryal Computer Science”]，“original-title“：[]，“language”：“en”，“link”：[{“URL”：“https:\/\/api.elsevier.com/content\/article\/PII:0304397586901799？httpAccept=text\/xml”，“content-type”：“text\/.xml”，“content-version”：“vor”，“intended-application”：“text-mining”}，{“URL”：“https:\/\/api.elsevier.com/content\/article\/PII:0304397586901799？httpAccept=text\/plain”，“content-type”：“text\/plan”，“内容-版本”：“vor”，“intended-application”：“文本-分钟”}]，“存放”：{“日期-部分”：[[2019,3,21]]，“日期-时间”：“2019-03-21T12:53:04Z”，“时间戳”：1553172784000}，“分数”：1，“资源”：{“主要”：{“URL”：“https:\/\/linkinghub.elsevier.com/retrieve\/pii\/00304397586901799”｝，“副标题”：[]，“短标题”：[]，“已发布”：｛“日期部分”：[[1986]]｝，“引用次数”：5，“替代id”：[“0304397586901799”]，“URL”：“http:\/\/dx.doi.org/10.1016\/00304-3975（86）90179-9”，“关系”：｛｝，“ISSN”：[“0304-3975”]，”ISSN类型“：[｛”value“：”0304-3975“，”type“：”print“｝]，”subject“：[]，“published”：{“date-parts”：[[1986]]}}