{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[[2024,9,5]]，“日期时间”：“2024-09-05T09:32:43Z”，“时间戳”：1725528763348}，“引用计数”：16，“发布者”：“IEEE Compute.Sco.Press”，“内容域”：{“域”：[]，“交叉标记限制”：false}，”shortcontainer-title“：[]，“内政部”：“10.1109\/lics.1991.1511630”，“类型”：“议事录文章”，“已创建”：{“日期部分”：[[2002,12,10]]，“日期时间”：“2002-12-10T14:53:10Z”，“时间戳”：1039531990000}，“页面”：“51-62”，“来源”：“Crossref”，“由计数引用”：9，“标题”：[“线性化直觉暗示”]，“前缀”：“10.1109”，“卷”：“6”，“作者”：[{“给定”：“P”，“家族”：“林肯”、“sequence”：“first”，“affiliation”：[]}，{“given”：“A.”，“family”：“Scedrov”，“sequences”：“additional”，“abfiliation“：[]{”given“：”N.“，”family“：”Shankar“，”sequence“：”additional“，”affiliance“：[]}]，“member”：“263”，“reference”：[{“doi-asserted-by”：”publisher“，“key”：”ref10“，“doi”：“10.1007\/3-52335-9_55}，{“年份”：“1987”，“新闻标题”：“IEEE计算机科学逻辑研讨会”，“key”：“ref11b”}，{“key“：”ref12“，”首页“：”416“，”article-title“：”on a version of the constructive predicate calculation without structural rules“，”volume“：“6”，“author”：“pliushkevichus”，“year”：“1965”，“journal-title”：“Soviet Math Doklady”}、{“doi-asserted-by”：“publisher”，“key”：“ref13”，“doi”：“10.1016\/0304-3975（79）90006-9”}，{“doi-asserted-by”：“publisher”，“key”：“ref11a”，“doi”：“10.12016\/0168-0072（91）90068-W”}、{“key“：”ref14“，“first page”：”193“，“article-title”：“构造命题演算中的新可导算法”，“volume”:“52”，“author”：“vorobjev”，“year”：“1958”，“journal-title“：”Proc Stekljev ov Inst Math“}，{”key“：”ref15“，“首页”：“45”，“卷”：“46”，“作者”：“wajsberg”，“年份”：“1938”，“日记标题”：“Wiaiomosci Matematyczne”}，{“年份”:“1989”，“作家”：“hudelmaier”，“新闻标题”：《直觉命题逻辑中消减的界限》，“key”：“ref4”}、{“year”：“1989”、“作者”:“girard”，“日志标题”：：“ref3”}，{“doi-asserted-by”：“publisher”，“key”：“ref6”，“doi”：“10.1016\/0304-3975（84）90047-1”}，“key”：“ref8”}，{“doi-asserted-by”：“publisher”，“key”：“ref7”，“doi”：“10.1109”\/FSCS.1990.89588 329“，”卷“：”31“，”作者“：”米勒“，”年份“：”1990“，”新闻标题“：“逻辑与计算机科学”}]，“事件”：{“名称”：“第六届IEEE计算机科学中的逻辑研讨会”，“地点”：“荷兰阿姆斯特丹”}，“容器-标签”：[“[1991]第六届电气与电子工程师协会计算机科学中逻辑研讨会论文集”]，“原始标题”：[]，“链接”：[{“URL”：“http://\explorestaging.IEEE.org\/ielx2\/360\/3979\/00151630.pdf？arnumber=151630“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[[2017,3,9]]，”date-time“：“2017-03-09T07:21:17Z”，”timestamp“：1489044077000}，”score“：1，”resource“：”{“primary”：{“URL”：“http://ieexplore.iee.org\/document\/151630\/”}}，“副标题”：[]，“短标题”：[]，“发出“：{“date-parts”：[[null]]}，“references-count”：16，“URL”：“http://\/dx.doi.org\/10.1109\/lics.1991.151630”，“relation”：{}，”subject“：[]}}”