{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[2022,4,2]，“日期时间”：“2022-04-02T00:28:33Z”，“时间戳”：1648859313161}，“引用-计数”：12，“发布者”：“IEEE”，“内容域”：{“域”：[]，“交叉标记-限制”：false}，”短容器-时间“：[]”，“发布-打印”：{“日期部分”：[[2004]]}，“DOI”：“10.1109\/lics.2004.1319614”，“type”：“procesedings-article”，“created”：{“date-parts”：[[2004,11,13]]，“date-time”：“2004-11-13T00:14:14Z”，“timestamp”：1100304854000}，“source”：《Crossref》，“is-referenced-by-count”：0，“title”：[“omega规则是\/spl Pi\/\/sub 2\/\/sup 0\/-在\/spl-lambda\/\/-演算“]，”前缀“：”10.1109“，”作者“：[{“given”：“B.”，“family”：“Intrigila”，“sequence”：“first”，“affiliation”：[]}，{“given”:“R.”，“家族”：“Statman”，“序列”：“additional”，“abfiliation“：[]{]，“member”：“263”，“reference”：[{“key”：”ref4“，“article-title”：“HOL简介：高阶逻辑的定理证明环境”，“author”：“gordon”，“year”：“1993”}，3“，”文章标题“：“The Coq Proof Assistant:A Tutorial:Version 7.2”，“author”：“huet”，“year”：“2002”，“journal-title”：“Technical Report N 256”}，{“key”：“ref10”，“article-title“：”Gentzen的直接证明概念“，“author”：“statman”，“年份”：“1978”，“日记标题”：“数学逻辑手册”}，“author”：“intrigila”，“year”：“0”，“journal-title”：“unpublished paper”}，{“key”：“ref11”，“article-title“：“Normal variations of combinators”，“author”：“statman”，“年份”：“1988”，“journal-ttitle”：《数学系研究报告》89-61”}，“文章标题”：“数值、？-演算和算术”，“作者”：“visser”，“year”：“1980”，“journal-title”：“To H B Curry Essays on combination logic lambda calculation and formalism”}，{“key”：“ref8”，“author”：“rogers”，“year”：”1967“，“jornal-title:”递归函数理论和有效可计算性“}”，{”key“：”ref7“，”doi-asserted-by“：”publisher“，“doi”：“10.1007\/BFb0030541”}，{“key”：“ref2”，“doi-asserted-by”：“publisher”，“doi”：“10.1016\/0168-0072（87）90040-6”}“}]，”事件“：{”名称“：“2004年IEEE第19届计算机科学逻辑年会论文集”，“位置”：“芬兰图尔库”，“开始”：{“日期-部件”：[[2004,7,17]]}，“结束”：{“日期-零件”：[[204,7,17]]}}，”container-title“：[”第19届IEEE计算机科学逻辑研讨会论文集，2004年。“]，”原文标题“：[]，”链接“：[{”URL“：“http://\/xplorestaging.ieee.org\/ielx5\/9221\/29239\/01319614.pdf？arnumber=1319614”，“内容类型”：“未指定”，“content-version”：“vor”，“intended-application”：“相似性检查”}]，“存放”：{“日期部分”：[[2017,3,14]]，“日期时间”：“2017-03-14T02:14:24Z”，“时间戳”：1489457664000}，“分数”：1，“资源”：{primary：{“URL”：“http://\/ieeexplore.iee.org\/document\/1319614\/”}}，“副标题”：[]，“短标题”：[]，“已发布”：{“日期-部件”：[[2004]]}，”引用计数“：12，”URL“：”http://\/dx.doi.org\/10.109\/lics.2004.1319614“，”关系“：{}”，“主题”：[]]，“发布”：}“日期部件”：[[2004]]}}}