{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2024,9,8]]，“日期时间”：“2024-09-08T00:29:53Z”，“时间戳”：1725755393020}，“引用-计数”：24，“发布者”：“IEEE Compute.Sco.Press”，“内容域”:{“域”：[]，“交叉标记限制”：false}，”short-container-title“：[]，“内政部”：“10.1109\/lics.1991.151659”，“type”：“procesdings-article”，“created”：{“date-parts”：[2002,12,10]]，“date-time”：“2002-12-10T19:53:10Z”，“timestamp”：1039549990000}，“page”：”350-361“，“source”：《Crossref》，“is-referenced-by-count”：24，“title”：[“可执行的高阶代数规范语言的计算模型”]，“前缀”：“10.109”，“volume”：（b），“author”：[{“given”：“J.-P.”，“family”：“Jouannaud”，“sequence”：“first”，“affiliation”：[]}，{“fixed”：“M.”，“家族”：“Okada”，“序列”：“additional”，“ffiliation”：“[]}]，“member”：“263”，“reference”：[}“journal title”：“Theoryal Computer Science”，“article-title”：《条件等式编程的基本原理》，“年份”：“1991”，“authors”：“dershowitz”，“key”：“ref10”}，{“key”：“ref11”，“doi-asserted-by”：“publisher”，“doi”：“10.1016\/0890-5401（92）90064-M”}剑桥理论计算机科学丛书”，“年份”：“1989年”，“author”：“girard”，“key”：“ref14”}，{“key“：“ref15”，“doi-asserted-by”：“publisher”，“doi”：“10.1007\/BFb0015747”}：“递归路径排序理论的无量词片断是可判定的”，“年份”：“1991”，“作者”：“jouannaud”，“key”：“ref17”}，{“密钥”：“ref18”，“doi-asserted-by”：“publisher”，“doi”：“10.1007\/3-540-19488-6_123”}serted-by“：”publisher“，”doi“：“10.1016\/0304-3975（91）90037-3”}，{“key”：“ref3”，“doi-asserted-by”：“publisher”，“doi”：“10.1109\/LICS.1988.5103”}：“ref5”}，{“key”：“ref8”，“首页”：“243”，“卷”：“b”，“作者”：“dershowitz”，“年份”：“1990”，“新闻标题”：“理论计算机科学手册”}，{“key”：“ref7”，“doi-asserted-by”：“publisher”，“doi”：“10.1016\/0304-3975（82）90026-3”}“新闻标题”：“理论计算机科学手册”}，{“key”：“ref1”，“doi-asserted-by”：“publisher”，“doi”：“10.1007\/3-540-54317-1_96”}，“author”：“okada”，“key”：“ref20”}，{“key“：”ref22“，”doi-asserted-by“：”publisher“，”doi“：”10.1007\/BFb0029599“}，”journal-title“：”重写高等类型泛函唯一性条件的理论“，”year“：”1990“，”author“：”okada“，34“}，{”key“：”ref23“，”doi-asserted-by“：“publisher”，“DOI”：“10.1016\/0020-0190（87）90122-0”}]，“event”：{“name”：“第六届IEEE计算机科学中的逻辑研讨会”，“location”：“阿姆斯特丹，荷兰”}，“container-title”：[“[1991]第六届电气与电子工程师协会计算机科学中逻辑研讨会论文集”]，“原文标题”：[]，“link”：[{“URL”：“http://\/xplorestaging.ieee.org\/ielx2\/360\/3979\/00151659.pdf？arnumber=151659”，“内容类型”：“未指定”，“content-version”：“vor”，“intended-application”：“相似性检查”}]，“存放”：{“日期部分”：[[2017,3,9]]，“日期时间”：“2017-03-09T11:10:32Z”，“时间戳”：1489057832000}，“分数”：1，“资源”primary“：{”URL“：“http://\/ieeexplore.iee.org\/document\/151659\/”}}，“副标题”：[]，“短标题”：[]，“发布”：{“日期部分”：[[null]]}，”引用计数“：24，”URL“：”http://\/dx.doi.org\/10.109\/lics.1991.151659“，”关系“：{}，‘主题’：[]}