{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部件”：[2022,4,2]，“日期-时间”：“2022-04-02T19:22:10Z”，“时间戳”：1648927330238}，“引用-计数”：14，“发布者”：“Elsevier BV”，“问题”：“2”，“许可证”：[{“开始”：{-date-parts”：[1989,8,1]]，“日期时间”：1989-08-01T00:00:00Z“，“时间戳”：617932800000}，“content-version”：“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”：8751，“URL”：“http://\/www.elsevier.com/”/open-access\/userlicense\/1.0\/“}]，”内容域“：{”域“：[]，“交叉标记限制”：false｝，“短容器标题”：[“理论计算机科学”]，“已发表的印刷品”：｛“日期部分”：[[1989,8]]｝，“DOI”：“10.1016\/00304-3975（89）90135-7”，“类型”：“期刊文章”，“创建的”：｛“日期部分”：[[2002,7,26]，“日期时间”：“2002-07-26T03:07:16Z”，“时间戳”：1027652836000｝，“页面”：“205-232”，“来源”：“Crossref”，“按计数引用”：4，“标题”：[“知识模型理论的逻辑代数方法”]，“前缀”：“10.1016”，“卷”：“66”，“作者”：[{“给定”：“M.A.”，“家族”：“Nait Abdallah”，“序列”：“第一”，“从属关系”：[]}]，“成员”：“78”，“引用”：[}“键”：“101016\/0304-3975（89）90135-7_BIB1”，“系列时间”：“格理论”，“作者”：“Birkhoff”，“年份”：“1967”}，{“key”：“10.1016\/0304-3975（89）90135-7_BIB2”，“series-title”：“逻辑编程”，“首页”：“153”，”article-title“：逻辑编程中语言和元语言的融合”，“author”：“Bowen”，“year”：“1982”}类型“，“volume”：“5”，“author”：“Church”，“year”：“1940”，“journal-title”：“JSL”}，{“key”：”10.1016\/0304-3975（89）90135-7_BIB4“，“series-title”：”逻辑和数据库“，”first page“：”293“，”article-title“：”否定即失败“，”author“：”Clark“，”year“：”1978“}，”{“密钥”：“10.1016\/0304-975（89）9135-7_BIB”，“”doi-asserted-by“：”crossref“，”首页“：”733“，”doi“：“10.1145\/321978.321991”，“article-title”：“谓词逻辑作为编程语言的语义”，“volume”：“23”，“author”：“van Emden”，“year”：“1976”，“journal-title“：”J.ACM“}，{“key”：”10.1016\/0304-3975（89）90135-7_BIB6“，”article-title“:”代数语义“，”volume“：”volume 99“，”author“：”Guessarian“，”year“：”1981“}”，{：“10.1016\/0304-3975（89）90135-7_BIB7“，“series-title”：“解决问题的逻辑”，“author”：“Kowalski”，“year”：“1979”}，{“key”：“10.1016\/0304-3975（89）90135-7_ BIB8”，“series-title”：”IFIP 1983“，”first page“：”133“，”article-title“：”逻辑编程“，”author“：”Kowalska“，”year“：”1983“系列-时间”：“论知识的模型理论”author“：”McCarthy“，”year“：”1978“}，{“key”：“10.1016\/0304-3975（89 Horn-子句编程“，”volume“：“Vol.225”，“author”：“Nait Abdallah”，“year”：“1986”}，{“key”：“10.1016\/0304-3975（89 13“，”首页“：”11“，”文章标题“：”离子逻辑编程”，“卷”：“卷267”，“作者”：“Nait Abdallah”，“年”：“1987”}，{“键”：“10.1016\/0304-3975（89）90135-7_BIB14”，“系列-时间”：“逻辑、语义和元数学”，“首页”：“152”，“文章-时间”，“形式化语言中的真理概念”，“作家”：“塔斯基”，“年份”：“1956”}]，“容器-时间”理论计算机科学“]，”original-title“：[]，”language“：”en“，”link“：[{”URL“：”https:\/\/api.elsevier.com/content\/article\/PII:0304397589901357？httpAccept=text\/xml“，”content-type“：”text\/xml“，”content-version“：”vor“，”intended-application“：”text-mining“}，{”URL:“https:\//api.elsevier.com/content\/aarticle\/PII:0304397 589901357？httpAccept=text\/plain“，”content-type“：”text\/prain“，“content-version”：“vor”，“intended-application”：“text-mining”}]，“deposed”：{“date-parts”：[[2019,4,13]]，“date-time”：“2019-04-13T22:25:05Z”，“timestamp”：1555194305000}，“score”：1，“resource”：{primary“：{”URL“https:\\/linkinghub.elsevier.com\/retrieve\/pii\/030433 97589901357“}}，”副标题“：[]，”短标题“：[]，”已发布“：{”日期部分“：[[1989,8]]}，”引用计数“：14，”日志发布“：}”问题“：“2”，”发布-发布“：“日期部分”：[[1899,8]}}，“alternative-id”：[“0304397589901357”]，“URL”：“http://\/dx.doi.org\/10.10016\/0304-3975（89）90135-7”，“关系”：{}、“ISSN”：[“0304-3975”]，“ISSN-type”：[{“value”：“0304-975”，“type”:“print”}]，“subject”：[]，“发布的“：{“date-parts”：[[1989,8]]}}}