{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[2022,4,2]，“日期时间”：“2022-04-02T22:23:26Z”，“时间戳”：1648938206654}，“引用计数”：11，“发布者”：“IEEE Compute.Sco.Press”，“内容域”：{“域”：[]，“交叉标记限制”：false}，“内政部”：“10.1109\/lics.1991.151627”，“type”：“procesdings-article”，“created”：{“date-parts”：[2002,12,10]]，“date-time”：“2002-12-10T19:53:10Z”，“timestamp”：1039549990000}，“source”：”Crossref“，“is-referenced-by-count”：2，“title”：[“Term declaration logic and generalised composita”]，“prefix”：“10.1101109”，“author”：[{“给定”：“P”，“family”：“Aczel”，“sequence”：“first”，“affiliation”：[]}]，“member”：“263”，“reference”：[{“key”：“ref4b”，“year”：“1984”}，{“密钥”：“ref4a”，“首页”：“307”，“article-title”：“多种等式逻辑的完备性”，“volume”：”11“author”：“goguen”，“年份”：“1985”，“journal-title“：”Houston J Math“}”，{”key“：”ref3“authors”：“barwise”，“year”“：”1987“，”journal-title“：”The Liar“}，{”key“：”ref10“，“author”：“williams”，“year”：“1990”，“journal-title”：“实例化理论”}，{“key”：“ref6”，“volume”：”2参考8“，“doi-asserted-by”：“publisher”，“doi”：“10.1007\/BFb0024065”}，{“key”：“ref7”，“首页”：“139”，”author“：”nerode“，”year“：”1959“，”journal-title“：”Composita Equations and Freely Generated Algebras“}，”{“key”：”ref2“，”doi-assert-by“：”publisher“，：“schmidt-schauss”，“年份”：“1988年”，“新闻标题”：“统一代数统一方程求解和约束求解的公理方法”}，{“key”：“ref1”，“author”：“aczel”，“year”：“1990”，“journal title”：“替换系统和情境理论的公理化及其应用”}]，“event”：{“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\/00151627.pdf？arnumber=151627”，“内容类型”：“unspecified”，“content-version”：“vor”，“intended-application”：“similarity-checking”}]，“存放”：{“日期-部分”：[[2017,3,9]]，“日期-时间”：“2017-03-09T12:20:24Z”，“时间戳”：1489062024000}，“分数”：1，“资源”：{“主要”：}“URL”：“http://\/ieeexplore.iee.org\/document\/151627\/”}}，”副标题“：[]，”短标题“：[]，”已发布“：{”日期-部分“：[空]}”，“引用-计数”：11，“URL”：“http://\/dx.doi.org\/10.1109\/lics.1991.151627”，“关系”：{}，“主题”：[]}}