{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期-部件”：[[2023,10,22]]，“日期-时间”：“2023-10-22T00:06:39Z”，“时间戳”：1697933199169}，“引用-计数”：12，“发布者”：“Elsevier BV”，“许可证”：[{“开始”:{“日期-零件”：[[1986,10]]，”“日期-时刻”：“1986-01-01T00:00:00:00:00 0Z“，”时间戳“：504921600000}，”内容版本“：“tdm”，“delay-in-days”：0，“URL”：“https:\/\/www.elsevier.com//tdm\/userlicense\/1.0\/”}，{“start”：{“date-parts”：[[2013,7,17]]，“date-time”：“2013-07-17T00:00:00Z”，“timestamp”：1374019200000}，“content-version”：“vor”，“delay-in-days”：10059，“URL“https:\\/www.elssevier.com/open-access\/user”许可证\/1.0\/“}]，”内容域“：{”域“：[]，“crossmark-restriction”：false}，“short-container-title”：[“理论计算机科学”]，“published-print”：{“date-parts”：[[1986]]}，”DOI“：”10.1016\/0304-3975（86）90096-4“，”type“：”journal-article“，”created“：{”date-part“：[[2003,4,25]]，”date-time“：”2003-04-25T10:09:04Z“，”timestamp“：1051265344000}”，“page”：“229-255”，”source“：“交叉参考”，“is-referenced-by-count”：20，“title”：[“Partial models and logic programming”]，“prefix”：“10.1016”，“volume”：“48”，“author”：[{“给定”：“Melvin”，“family”：“Fitting”，“sequence”：“first”，“affiliation”：[]}]，“member”：“78”，“reference”：[}“key”：”10.1016\/0304-3975（86）90096-4_BIB1“，”doi-asserted-by“：”crossref“，”第一页“：“841”，“内政部”：“10.1145\/322326.32239”，“article-title”：“对逻辑编程理论的贡献”，“volume”：“29”，“author”：“Apt”，“year”：“1982”，“journal-title“：”J.Assoc.Comput.Mach.“}，{“key”：”10.1016\/0304-3975（86）90096-4_BIB2“，”series-title“：“logic and Data-Bases”，“first page”：第293页“，”article-title“，”：“Negation as failure”，“作者”：“Clark”，“年份”：“1978”}，“”键“：“10.1016\/0304-3975（86）90096-4_BIB3”，“doi-asserted-by”：“交叉引用”，“首页”：“295”，“doi”：“10.106\/S0743-1066（85）80005-4”，“文章标题”：“A Kripke \/Kleene逻辑程序语义”，“作者”：“拟合”，“年份”：“1985”，“日志标题”：”J.logic Programming“}，{“关键字”：“1016\/030-3975（85）90096-4 _BIB4”，“doi-asserted-by“：”crossref“，”首页“：“209”，“DOI”：“10.1007\/BF01744296”，“article-title”：“关于最优不动点的存在性”，“volume”：“13”，“author”：“Gallier”，“year”：“1980”，“journal-title“：”数学系统论“}，{“key”：”10.1016\/0304-3975（86）90096-4_BIB5“，”series-title“：“数学导论”，“作者”：“Kleene”，“年份”：“1952”}，“key/0304-3975（86）90096-4_BIB6“，“doi断言者”：“crossref”，“第一页”：“690”，“doi”：“10.2307\/2024634”，“文章标题”：“真理理论大纲”，“卷”：“72”，“作者”：“Kripke”，“年”：“1975”，“期刊标题”：“哲学”}，{“键”：“10.1016\/00304-3975（86）90096-4BB7”，“doi断言者”：“crossref”，“第一页”：“15”，“doi”：“10.1016\/00304-3975（85）90128-8”，“文章标题”：“逻辑程序的最佳固定点”，“卷”：“39”，“作者”：“Lassez”，“年份”：“1985”，“期刊标题”：“Theoret.Comput.Sci.”}，{“密钥”：“10.1016\/00304-3975（86）90096-4bIB8”，“doi断言者”：“crossref”，“首页”：“414”，“doi”：“10.1137\/020503”，“文章标题”：“最佳固定点的理论方面”，“卷”：“5”，“作者”：“Manna”，“年”：“1976”，“journal-title”：“SIAM J.Computing”}，{“key”：“10.1016\/0304-3975（86）90096-4_BIB9”，“unstructured”：“L.T.McCarthy，子句直觉逻辑的定点语义和表证明程序，罗格斯大学技术报告LRP-TR-18”}，“年份”：“1968”}，{“key”：“10.1016\/0304-3975（86）90096-4_BIB11”，“doi-asserted-by”：“crossref”，“首页”：“733”，“doi”：“101145\/321978.321991”，《文章标题》：“谓词逻辑作为编程语言的语义”，“卷”：“23”，“作者”：“Van Emden”，《年份》：“1976”，“日志标题”：“J.Assoc.Comput.Mach.”}、{“key”：“10.1016\/0304-3975（86）90096-4_BIB12“，”doi-asserted-by“：”crossref“，”first page“：”481“，”doi“：”10.2307\/2024549“，”article-title“：”奇异项、真值缺口和自由逻辑“，”volume“：“63”，”author“：”Van Fraassen“，”year“：”1966“，”journal-title：“J.Philosophy”}]，”container-title”：[“理论计算机科学”]，”original-title:[]，“language”：“en”，“link”：[{“URL”：“https:\/\/api.elsevier.com/content\/article\/PII:0304397586900964？httpAccept=text\/xml“，”content-type“：”text\/.xml“，”content-version“：”vor“，”intended-application“：”text-mining“}，{“URL”：“https:\/\/api.elsevier.com/content\/article\/PII:0304397586900964？httpAccept_text\/plain“，”内容类型“：”文本\/plaine“，”content-version”：“vor”，“intended-epplication”：“text-mining”}]，“存放”：{“date-parts”：[[2019,3,21]]，“date-time“：”2019-03-21T20:53:54Z“，”timestamp“：1553201634000}，”score“：1，”resource“：{主要”：{“URL”：“https:\/\/linkinghub.elsevier.com/retrieve\/pii\/0304397586900964”}}，“subtitle”：[]，“shorttitle”：[]，“issued”：{“date-parts”：[[1986]]}，‘references-count’：12，‘alternative-id’：[”03043975860964“]，“URL”：“http://\/dx.doi.org\/10.1016\/0304-3975（86）90096-4“，”关系“：{}，”ISSN“：[”0304-3975“]，”ISSN-type“：[{”value“：”0304-975“，”type“:”print“}]，”主题“：[]，”published“：{”date-parts“：[[1986]]}}}