{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[[2024,9,1]]，“日期时间”：“2024-09-01T02:27:04Z”，“时间戳”：1725157624082}，“引用计数”：5，“发布者”：“IEEE”，“内容域”:{“域”：[]，“交叉标记限制”：false}，”短容器时间“：[]”，“published-print”：{“日期部分”：[[1977,9]]}，“DOI”：“10.1109\/sfcs.1977.23”，“type”：“proceedings-article”，“created”：{“date-parts”：[[2008,7,31]]，“date-time”：“2008-07-31T15:45:51Z”，“timestamp”：1217519151000}，“source”：《Crossref》，“is-referenced-by-count”：15，“title”：[“presburger算术和加法实数的精确界限：初步报告”]，“前缀”：“10.109”，“author”：[{“给定”：“Leonard”，“family”：“Berman”，“sequence”：“first”，“affiliation”：[]}]，“member”：“263”，“reference”：[{“key”：“ref4”，“doi-asserted-by”：”publisher“，”doi“：”10.1109\/SFCS.1976.20“}，{“key”：”ref3“，”doi-assert-by“：”publiser“，“doi”：“10.1007\/978-3-7091-9459-15”}，“key“：”ref5“，”y“：”publisher“，”doi“：”10.1145\/800125.804029“}，{”key“：”ref2“，”author“：“ferrante”，“year”：“1973”，“journal title”：“一阶实加法理论的决策过程”}，{“key”：“ref1”，“doi asserted by”：“publisher”，“doi”：“10.1109\/SFCS.1976.4”}]，“event”：{“name”：“第18届计算机科学基础年度研讨会（SFCS 1977）”，“location”：“Providence，RI，USA”，“start”：{“date parts”：[[1977,10,31]]}，“end”：{“date-parts”：[[1777,11,2]]}}，”container-title“：[“第十八届计算机科学基础年会（sfcs 1977）”]，”original-title”：[]，“link”：[{“URL”：“http://\explorestaging.ieee.org\/ielx5\/4567914\/4567815\/04567930.pdf？arnumber=4567930”，“content-type”：“unspecified”，“content-version”：“vor”、“intended-application”：“相似性检查”}]，“存放”：{“日期部分”：[[2017,3,16]]，“日期时间”：“2017-03-16T19:01:02Z”，“时间戳”：1489690862000}，“分数”：1，“资源”：{primary“：{”URL“：”http:\/\/ieeexplore.ieee.org\/document\/4567930\/“}}，”substitle“：[]，”shortitle“：[]，”issued“：{”date-parts“：[[1977,9]]}，“references-count”：5，“URL”：“http://\/dx.doi.org\/10.109\/sfcs.1977.23”，“关系”：{}，“主题”：[]，“发布”：{“日期部分”：[[1977,9]]}}