{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[[2023,10,21]]，“日期时间”：“2023-10-21T18:01:31Z”，“时间戳”：1697911291764}，“引用计数”：19，“发布者”：“IEEE”，“内容域”：{:“域”：[]，“交叉标记限制”：false}，”短容器时间“：[]”，“published-print”：{“日期部分”：[[1977,9]]}，“DOI”：“10.1109\/sfcs.1977.9”，“type”：“proceedings-article”，“created”：{“date-parts”：[[2008,7,31]]，“date-time”：“2008-07-31T15:45:51Z”，“timestamp”：1217519151000}，“source”：”Crossref“，”is-referenced-by-count“：25，”title“：[”Conflunt reductions:抽象属性和术语重写系统的应用程序“]，”前缀“：”10.1109“，“author”：[{“给定”：”Gerard“”，“family”：“Huet”，“sequence”：“first”，“affiliation”：[]}]，“member”：“263”，“reference”：[{“key”：“ref4b”，“doi-asserted-by”：”publisher“，”doi“：”10.2307\/2272337“}，{“key”：”ref4a“，”doi-assert-by“：”crossref“，“first-page”：“545”，“doi”：“10.2307\/2270849”，“article-title”：“An abstract Church-Rosse r定理“，”卷“：”34“，”作者“：”辛德利“，”年份“：”0“，“journal-title”：“journal of Symbolic Logic”}，{“key”：“ref10”，“author”：“plotkin”，“year”：“1970”，“johnal-title:“包容备忘录的格理论性质MIP-R-77”}“，”卷“：”5“，“author”：“reynolds”，“year”：“1970”，“journal-title”：“Machine Intelligence”}，{“key”：“ref13”，“doi-asserted-by”：“publisher”，“doi”：“10.1145\/321250.3212553”}321850.321862“}，{”key“：”ref16“，”doi-asserted-by“：”crossref“，“首页”：“291”，“DOI”：“10.1007\/BFb0062861”，“作者”：“史泰博”，“年份”：“1975”，“日记标题”：“数学课堂笔记”}，{“key”：“ref17”，“DOI-asserted-by”：“publisher”，“DOI”：”10.1145\/800105.803419“}，“key“：”ref18“，”DOI-assert-by“：”publisher“，”DOI“：”10.145\/800113.803646“}”，{“键”：“参考3”，“卷”：“1”，“作者”：“咖喱”，“年份”：“1958”，“新闻标题”：“组合逻辑”}，{“key”：“ref6”，“doi-asserted-by”：“publisher”，“doi”：“10.1016\/B978-0-08-012975-4.50028-X”}、{“key”：”ref5“，“author”：“huet”，“year”：“1976”，“journal-title”：“R\uffdsolution d'\uffdfdquations dans des langages d'ordre 1 2？Th\ufffdse d'Etat”}“，{”key“：”ref8“，”doi-asserted-by“：”publisher“，”doi“：”10.2307\/1968867“}，{”key“：”ref7“，”author“：“lankford”，“year”：“1975”，“journal-title”：“规范推理报告”}，{“key”：“ref2”，“first page”：”472“，”volume“：”39“，”author“：”church“，”year“：”1936“，”journal-title“：”AMS转换事务的某些属性“}，”{“key”：“ref1”，“article-title“”：“代码优化和有限的church-Rosser系统”，“author”：“aho”，“年”：“1972”，“journal-ttitle”：《Courant计算机科学研讨会论文集》，{“key”：“ref9”，“author”：“nivat”，“year”：“1971”，“journal title”：“Congresses parfaites et qua准parfaites S\uffadminaire Dubreil”}]，“event”：{“name”：“第18届计算机科学基础年度研讨会（sfcs 1977）”，“location”：“Providence，RI，USA”，“start”：{“date parts”：[[1977,10,31]]]，“end”：{“date-parts”：[[1977,11,2]]}}，“container-title”：[“第十八届计算机科学基础年会（sfcs 1977）”]，“原始标题”：[]，“链接”：[{“URL”：“http://\explorestaging.ieee.org\/ielx5\/4567914\/04567923.pdf？arnumber=4567923”，“content-type”：“unspecified”，“内容版本”：“vor”，“intended-application”：“相似性”检查“}]，“存放”：{“日期部分”：[[2017,6,18]]，“日期时间”：“2017-06-18T10:32:00Z”，“时间戳”：1497781920000}，“分数”：1，“资源”：{“主要”：{'URL“：”http://\/ieeexplore.ieee.org\/document\/4567923\/“}}，”副标题“：[]，”短标题“：[]，”发布“：{”日期部分“：[[1977,9]]}，：19，“URL”：“http://\/dx.doi.org\/10.109\/sfcs.1977.9”，“关系”：{}，“主题”：[]，“发布”：{“日期部分”：[[1977,9]]}}