{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[2022,4,4]，“日期时间”：“2022-04-04T04:55:49Z”，“时间戳”：1649048149748}，“引用计数”：12，“发布者”：“IEEE”，“内容域”：{:“域”：[]，“交叉标记限制”：false}，”短容器时间“：[]”，“published-print”：{“日期部分”：[[1977,9]]}，“DOI”：“10.1109\/sfcs.1977.10”，“type”：“proceedings-article”，“created”：{“date-parts”：[[2008,7,31]]，“date-time”：“2008-07-31T15:45:51Z”，“timestamp”：1217519151000}，“source”：”Crossref“，“is-referenced-by-count”：22，“title”：[“Data types”]，“prefix”：“10.1108”，“author”：[{“give”：“Daniel J.”，“family”：“Lehmann”，“sequence”：“first”，“affiliation”：[]}，{“given”：“Michael B.”，“family”：“Smyth”，“sequence”：“additional”，“affiliation”：[]}]，“member”：“263”，“reference”：[{“key”：“ref4”，“volume”：”4“，“author”：“burstoll”，“year”：“1969”，“journal-title”：“Machine Intelligence”}，{“密钥”：“ref3”，”doi-asserted-by“publisher”，“doi”：“10.1016\/S0022-0000（76）80030-X”}、{“key”：“ref10”，“doi-asserted-by”：“publisher”，“doi”：“10.1007\/3-540-07142-3_85”}，{“key”：“ref6”，“doi-asserted-by”：“crossref”，“author”：“guttag”，”年份“：“1976”，“journal-title”：“抽象数据类型和软件验证”，“doi”：“10.21236\/ADA029896”}asserted-by“：”publisher“，”doi“：“10.1007\/3-540-07142-3_71”}，{“key”：“ref12”，“首页”：“65”，“article-title”：“格、数据类型和语义”，“卷”：“2”，“作者”：“scott”，“年份”：“1972”，“新闻标题”：“Courant Computer Science Symposia”}asserted-by“：”crossref“，”first page“：”97“，”doi“：“10.1007”，“BFb0073967”，“article-title”：“连续格”，“volume”：“274”，“author”：“scott”，“year”：“1972”，“journal-title“：数学课堂笔记”}，{“key”：”ref2“，”doi-asserted-by“：”publisher“，”doi“：”10.1145 \/321992.321997“}，“key“：”ref9“，”author“：”smyth“，”year“：”1976“，”journal-title“：“递归域方程的范畴理论解”}，{“key”：“ref1”，“article-title”：“作为初始代数的抽象数据类型和数据表示的正确性”，“author”：“goguen”，“year”：“1975”，“journal-title“：“计算机图形模式识别和数据结构的Proc-Conf”}]，“event”：{“name”：“第18届计算机科学基础年度研讨会（sfcs 1977）”，“地点”：“普罗维登斯，RI，美国”，“开始”：{“日期部分”：[[1977,10,31]]}，“结束”：{“日期部分“：[[177,11,2]}}，”容器-标签“：[”第18届年度计算机科学基础研讨会（sfcs1977）“]，”原文标题“：[]，”链接“：[{”URL“：“http://explorestaging.ieee.org/ielx5\/4567914\/4567915\/04567920.pdf？arnumber=4567920”，“内容类型”：“未指定”，“内容版本”：“vor”，“预期应用程序”：“相似性检查”｝]，“存放”：｛“日期部分”：[[2019,5,13]]，“日期时间”：“2019-05-13T02:33:46Z”，“时间戳”：1557714826000｝，“分数”：1，“资源”：｛“主要”：｛“URL”：“http://\/ieeexplore.iee.org\/document\/4567920\/”}}，“副标题”：[]，“短标题”：[]，“已发布”：{“日期-部件”：[[1977,9]]}，”引用计数“：12，”URL“：”http://\/dx.doi.org\/10.109\/sfcs.1977.10“，”关系“：{}”主题“：[]”，“发布”：}“日期–部件”：[1977,9]]}}}