{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部件”：[[2022,3,30]]，“日期-时间”：“2022-03-30T09:54:27Z”，“时间戳”：1648634067891}，“参考-计数”：22，“出版商”：“爱思唯尔BV”，“许可证”：[{“开始”：{“日期-零件”：[[1986,1]]，”“日期-时刻”：“1986-01-01T00:00: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”：[“Theory Computer Science”]，“published-print”：{“date-parts”：[[1986]]}，”DOI“：”10.1016\/0304-3975（86）90097-6“，”type“：”journal-article“，”created“：{”date-part“：[[2003,4,25]]，”date-time“：”2003-04-25T10:09:04Z“，”timestamp“：”1051265344000}“page”：“257-272”，“source”：“交叉参考”，“is-referenced-by-count”：0，“title”：[“算法理论的一阶近似值”]，“prefix”：“10.1016”，“volume”：“48”，“author”：[{“给定”：“Wiktor”，“family”：“Da\u0144ko”，“sequence”：“First”，“affiliation”：[]}]，“member”：“78”蒂尔”：“通过扩展算法逻辑调查程序”，“卷”：“1”，“作者”：“Banachowski”，“年份”：“1977”，“新闻标题”：“基金通知”}，{“关键”：“10.1016\/0304-3975（86）90097-6_BIB1_2”，“首页”：“169”，“文章标题”：，“年份”：“1977年”，“新闻标题”：“基金.信息”}，{“关键字”：“10.1016\/0304-3975（86）90097-6_BIB2”，“系列标题”：《算法逻辑导论》，“作者”：“巴纳科夫斯基”，“年”：“1997年”}4“，”首页“：”379“，”文章标题“：“带表程序的算法属性”，“卷”：“1”，“作者”：“Da\u0144ko”，“年份”：“1978”，“期刊标题”：“基金.信息”}，{“关键”：“10.1016\/0304-3975（86）90097-6_BIB5”，“系列标题”：《Proc.MFCS’80》，“首页”：“205”，《文章标题》：“算法理论不可判定性的标准”，“体积”：“88”，“作家”：“Da\u0144”4ko“，”年份“：”1980“}，｛“key”：“10.1016\/00304-3975（86）90097-6BB6”，“series title”：“Proc.Symp.on Logics of Programs”，“首页”：“118”，“文章标题”：“有限生成结构的算法性质”，“volume”：“148”，“author”：“Da\u0144ko”，“year”：“1982”｝，｛“key”：“10.1016\/00304-3975（86）90097-6BB7”，“首页”：“391”，“文章标题”：“带堆栈的算法逻辑及其模型理论属性”，“卷”：“7”，“作者”：“Da\u0144ko”，“年份”：“1985”，“日志标题”：“Fund.Inform.”}，{“键”：“10.1016\/0304-3975（86）90097-6_BIB8”，“首页”：“269”，“文章标题”：”程序多种分类逻辑中的公理化类“，”作者：“Da\ u0144ko”，年：“1985年”，“新闻标题”：“Fund.Inform”}，{“key”：“10.1016\/0304-3975（86）90097-6_BIB9”，“series-title”：“On the relationship between algorithmic logic and the full weak direcondary logic”，“author”：“Grabowski”，“year”：“1979”}，{“键”：“10.1016\/0304-3975（86）90097-6_BIB11”，“series-title”：“无限逻辑的模型理论”，“author”：“Keisler”，“year”：“1972”}，{“key”：“10.101-/0304-2975（86基金。通知。“}，{”键“：“10.1016\/0304-3975（86）90097-6_BIB12_2”，“首页”：“147”，“文章标题”：“算法逻辑及其在程序理论中的应用”，“卷”：“1”，“作者”：“Mirkowska”，“年份”：“1977”，“期刊标题”：《基金会通知》}，{“关键字”：“10.12016\/034-3975（86）90007-6_BIB13”“}，{”键“：“10.1016\/0304-3975（86）90097-6_BIB14”，“非结构化”：“H.Oktaba，On algorithmic theory of references，Fund.Inform.，to appears.”}，{“key”：“10.12016\/034-3975（86）900097-6_IB15”，“series-title”：“Fundamentals of Computing theory”，“first page”：《371》，“article-title”：《复杂算法的逻辑》，“author”：“Rasiowa”，“year”：“1979”}、{“key”：“10.1016\/0304-3975（86）90097-6_BIB16”，“series-title”：“元数学的数学”，“author”：“Rasiowa”，“year”：“1963”}，{“key”：“10.12016\/034-3975（86）900097-6_BAB17”，“series-title”：”递归函数理论和有效可计算性“，”author“：”Rogers“，“year:”1967 title“：“程序MFCS’78”，“首页”：“311”，“文章标题”：“关于堆栈的算法理论”，“卷”：“64”，“作者”：“Salwicki”，“年份”：“1978”}，｛“键”：“10.1016\/00304-3975（86）90097-6BB19”，“非结构化”：“A.Salwicki，关于字典的算法理论，基金。通知。，出现。”｝，｛“键”：“10.1016\/00304-3975（86）90097-6BB20”，“系列标题”：“Proc.MFCS'80”，“首页”：“552”，“article-title”：“算法逻辑公理单独决定程序的语义”，“volume”：“68”，“author”：“Salwicki”，“year”：“1980”}]，“container-title“：[”理论计算机科学“]，“original-tittle”：[]，“language”：“en”，“link”：[{“URL”：“https:\/\/api.elsevier.com\/content\/article\/PII:0304397586900976？httpAccept=text\/xml”，“content-type”：“text\/xml”，“content-version”：“vor”，“intended-application”：“text-mining”}，{“URL”：“https:\/\/api.elsevier.com/content\/article\/PII:0304397586900976？httpAccept=text\/plain”，“内容-类型”：“文本\/plaine”，“content-version“：”vor“intended-application:”text-mining“}”，“存放”：{“日期-部分”：[2019,3,21]]，“日期-时间”：“2019-03-21T20:53:53Z”，“timestamp”：1553201633000}，“score”：1，“resource”：{“primary”：{“URL”：“https:\/\/linkinghub.elsevier.com/retrieve\/pii\/0304397586900976”}}，”subtitle“：[]，”shorttitle“：[]，”issued“：{”date-parts“：[[1986]]}”，“references-count”：22，“alternative-id”：[“0304397586009769076”]，“URL”：“http://\/dx.doi.org\/10.1016\/0304-3975（86）90097-6”，“关系”：{}，“ISSN”：[“0304-3975”]，“ISSN-type”：[{“值”：“0304-975”，“类型”：“打印”}]，“主题”：[]，“发布”：{“日期部分”：[[1986]]}}}