{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2024,9,4]]，“日期时间”：“2024-09-04T05:31:41Z”，“时间戳”：1725427901833}，“引用计数”：16，“发布者”：“IEEE Compute.Sco.Press”，“内容域”：{-“域”：[]，“交叉标记限制”：false}，”short-container-title“：[]，“内政部”：“10.1109\/lics.1991.151653”，“type”：“proceedings-article”，“created”：{“date-parts”：[2002,12,10]]，“date-time”：“2002-12-10T14:53:10Z”，“timestamp”：1039531990000}，“page”：”286-297“，“source”：《Crossref》，“is-referenced-by-count”：3，“title”：[“On the deduction rule and number of proof proof lines”]，“prefix”：”10.1109“volume”：1“，“author”：[{“给定”：“M.L.”，“family”：“Bonet”，“sequence”：“first”，“affiliation”：[]}，{“given”：“S.R.”，“faily”：”Buss“，”sequence“：”additional“，”affiliation:[]}]，“member”：“263”，“reference”：[{“volume”：”1“，”journal-title“：”Kurt G\ufffddel Collected Works“，”first page“：”394“，”year“：”1986“，”key“：“doi-asserted-by”：“publisher”，“doi”：“10.1007\/BF01095640”}，{“key”：“ref4a”，“first page”：“23”，“article-title”：“auffdber die L\ufffdnge von Beweisen”，“author”：“g\uffddel”，“year”：“1936”，“journal-title“：”Ergebnisse eines mathematischen Kolloquiums“}，{“key”：”ref10a“，“first-page:”326“，”article-title“”：“从其方案中重建证明”，“volume”：数学Doklady“}，{“key”：“ref11”，“doi asserted by”：“publisher”，“doi”：“10.1090\/S002-9947-1973-0432416-X”}，{“key”：“ref12”，“doi asserted by”：“publisher”，“doi”：“10.1016\/S0049-237X（09）70442-2”}，{“期刊标题”：“证明理论”，“年份”：“1987”，“作者”：“takeuti”，“key”：“ref13”}，{“卷”：“137”，“期刊标题”：“Zap Nauchn Sechn M L O M I Steklov”，“首页”：“87”，“年份”：“1984”，“key”：“ref9b”}，{“key“：“ref3”，“doi-asserted-by”：“publisher”，“doi”：“10.2307\/2273702”}“1986年”，“新闻标题”：“IEEE电子器件汇刊”}，{“journal-title”：“元数学导论”，“年份”：“1971年”，“作者”：“kleene”，“key”：“ref5”}纯逻辑与应用逻辑年鉴”，“article-title”：“k-provability的不可判定性”，“year”：“0”，“author”：“buss”，“key”：“ref2”}，{“key“：”ref1“，”doi-asserted-by“：”publisher“，”doi“：”10.1145\/321812.321815“}，}“volume”：”293“，”journal-title“：”Dok Akad Nauk SSSR“，“first page“：“313”，”year“：”1987“，”key“:”ref10b“}]，“活动：{“name”：“第六届IEEE计算机科学逻辑年会”，“location”：“Amsterdam，Netherlands”}，“container-title”：[“[1991]Proceedings Sixth Annual IEEE Symposium on Logic in Computer Science”]，“原始标题”：[]，“链接”：[{“URL”：“http://\/xplorestaging.IEEE.org\/ielx2\/360\/3979\/00151653.pdf？arnumber=151653”，“内容类型”：“unspecified”，“content-version”：“vor”，“intended-application”：“similarity-checking”}]，“存放”：{“日期-部分”：[[2017,6,15]]，“日期-时间”：“2017-06-15T11:41:45Z”，“时间戳”：1497526905000}，“分数”：1，“资源”：{“主要”：}“URL”：“http://\/ieeexplore.iee.org\/document\/151653\/”}}，”副标题“[]，”短标题“：[]，“发布”：{”日期-部分“：[null]]}，，“URL”：“http://\/dx.doi.org\/10.109\/lics.1991.151653”，“关系”：{}，“主题”：[]}}