{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2024,9,7]]，“日期时间”：“2024-09-07T01:21:51Z”，“时间戳”：1725672111763}，“引用计数”：11，“发布者”：“IEEE Compute.Sco.Press”，“内容域”：{-“域”：[]，“交叉标记限制”：false}，“内政部”：“10.1109\/lics.1991.151656”，“type”：“procesdings-article”，“created”：{“date-parts”：[2002,12,10]]，“date-time”：“2002-12-10T14:53:10Z”，“timestamp”：1039531990000}，“page”：”322-327“，“source”：《Crossref》，“is-referenced-by-count”：24，“title”：[“Prop reviewed：命题公式作为基础性分析的抽象域”]，“prefix”：“10.109”，“author”：[{“given”：“A.”，“family”：“Cortesi”，“sequence”：“first”，“affiliation”：[]}“doi”：“10.1145\/115865.115872”}，{“键”：“参考3”，“doi-asserted-by”：“publisher”，“doi”：“10.1145\/512950.512973”}，{“journal-title”：“智能系统逻辑编程过程研讨会”，“article-title“：“Prolog程序模式声明的自动生成”，“year”：“1981”，“author”：“mellish”，“key”：“ref10”}：“逻辑程序中变量别名的准确有效近似”，“年份”：“1989”，“作者”：“jacobs”，“key”：“ref6”}，{“journal-title”：“布尔函数的复杂性”，“年”：“1987”，“author”：“wegener”，“密钥”：“ref11”}、{“key“：”ref5“，”doi-asserted-by“：”publisher“，”doi“：”10.1145 \/65979.65983“}，”{“日记标题”：“NACLP”，“article-ti tle“：“逻辑程序抽象解释教程注释”，“年份”：“1989”，“作者”：“marriott”，“key”：“ref8”}，{“journal-title”：“声明语言的抽象解释”，“年”：“1987”，“author”：“jones”，“密钥”：“ref7”}：“逻辑程序抽象解释的实用框架”，“年份”：“1988年”，“作者”：“bruynooghe”，“key”：“ref2”}，{“journal-title”：“Proc GULP'90”，“article-title“：逻辑程序的抽象解释：指称方法”，“year”：“1990”，“author”：“marriott”，“key”：“ref9”}：“1977”，“author”：“bell”，“key”：“ref1”}]，“event”：{“name”：“第六届IEEE计算机科学逻辑研讨会”，“location”：“Amsterdam，Netherlands”}，“container-title”：[“[1991]Proceedings Sixth Annual IEEE Symposium on Logic in Computer Science”]，“original title”：[]，“link”：[{“URL”：“http://explorestaging.IEEE.org\/ielx2\/360\/3979\/00151656.pdf？arnumber=151656“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[[2017,3,9]]，”date-time“：“2017-03-09T06:08:57Z”，”timestamp“：1489039737000}，”score“：1，”resource“：”{“primary”：{“URL”：“http://ieexplore.iee.org\/document\/151656\/”}}，“副标题”：[]，“短标题”：[]，“发出“：{“date-parts”：[[null]]}，“references-count”：11，“URL”：“http://\/dx.doi.org\/10.109\/lics.1991.151656”，“relation”：{}，”subject“：[]}}”