{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部件”：[[2023,10,18]]，“日期-时间”：“2023-10-18T20:18:30Z”，“时间戳”：1697660310709}，“引用-计数”：10，“发布者”：“爱思唯尔BV”，“问题”：“2”，“许可证”：[{“开始”：{“日期-零件”：[[1979,8,1]]，“1979-08-01T00:00:00Z”，“时间戳”：30231360000}，“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”：12404，“URL“https:\\/www.else vier.com.\/open-access\/userlicense\/1.0\/“}]，”内容域“：{”域“：[]，“crossmark-restriction”：false}，“short-container-title”：[“Theory Computer Science”]，“published-print”：{“date-parts”：[[1979,8]]}，”DOI“：”10.1016\/0304-3975（79）90023-9“，”type“：”journal-article“，”created“：{”date-part“：[[2002,7,25]]，”date-time“：”2002-07-25T23:48:55Z“，”timestamp“：1027640935000}”，“page”：“153-172”，“source”：“Crossref”，“is-referenced-by-count”：10，“title”：[“P\u03c9中的链属性”]，“prefix”：“10.1016”，“volume”：“9”，“author”：[{“给定”：“A.”，“family”：“Tang”，“sequence”：“first”，“affiliation”：[]}]，“member”：“78”交替链方法”，“作者”：“艾迪生”，“年份”：“1965”}，{“key”：“10.1016\/0304-3975（79）90023-9_BIB2”，“series-title”：“计算数学理论”，“author”：“Manna”，“year”：“1974”}：“Proc.Second Collocium on Automata，Languages and Programming”}，{“key”：“10.1016\/0304-3975（79）90023-9_BIB4”，“series-title”：“递归函数和有效可计算性的理论”，“author”：“Rogers”，“year”：“1967”}、{“key”：。斯科特，连续格，数学讲义274（施普林格，柏林）。“}，{”key“：”10.1016\/0304-3975（79）90023-9_BIB6“，”doi-asserted-by“：”crossref“，”doi“：”101137\/0205037“，”article-title“：”Data-types as lattices“，”author“：”Scott“，”year“：”1976“，”journal title“：“日志标题”：“P\u03c9“}中的范式定理和枚举可约性，{“key”：“10.1016\/0304-3975（79）90023-9_BIB8”，“article-title”：“可容许域中的可计算性理论”，“author”：“Sciore”，“year”：“1978”，“journal-title“：”SIGACT计算理论“}，{”问题：“No.137”，“key“10.1016 \/0304-2975（79）900023-9_BAB9”，“article-titel”：“P\u03 c9中的Borel集”，“”author“：”Tang“，”year“：”1975“，”journal-title“：”IRIA Report“}，{“key”：“10.1016\/0304-3975（79）90023-9_BIB10”，“unstructured”：“A.Tang和W.Wadge，P\u03c9中的Wadge可约性（准备中）。”}]，“container-title”：[“理论计算机科学”]，“original-title:[]，“language”：“en”，“link”：[{“URL”：“https:\/\/api.elsevier.com/content\/article\/PII:0304397579900239？httpAccept=text\/xml“，”content-type“：”text\/.xml“，”content-version“：”vor“，”intended-application“：”text-mining“}，{“URL”：“https:\/\/api.elsevier.com/content\/article\/PII:0304397579900239？httpAccept_text\/plain“，”内容类型“：”文本\/plaine“，”content-version”：“vor”，“intended_application”：“text-mining”}]，”存放“：{“date-parts”：[[2019,4,12]，“date-time“：”2019-04-12T23:23:52Z“，”timestamp“：1555111432000}，”score“：1，”resource“：{主要”：{“URL”：“https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/0304397579900239”}}，“subtitle”：[]，“shorttitle”：[]，“issued”：“published-print”：{“date-parts”：[[1979,8]]}}，“alternative-id“：[”0304397579900239“]，“URL”：“http://\/dx.doi.org\/10.1016\/0304-3975（79）90023-9”，“关系”：{}，“ISSN”：[“0304-3975”]，“ISSN-type”：[{“值”：“0304-975”，“类型”：“打印”}]，“主题”：[]，“发布”：{“日期部分”：[1979,8]]}}}}