{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期-部件”：[2022,4,3]]，“日期-时间”：“2022-04-03T02:04:28Z”，“时间戳”：1648951468797}，“引用-计数”：8，“发布者”：“爱思唯尔BV”，“问题”：“1-3”，“许可证”：[{“开始”：{:“日期-零件”：[1992,4,1]]，”日期-时间“：”199 2-04-01T00:00:00Z“，”时间戳“：702086400000}，“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”：7777，“URL”：“http://\/www.elsevier.com/”/open-access\/userlicense\/1.0\/“}]，”内容域“：{”域“：[]，“crossmark-restriction”：false}，“short-container-title”：[“Pure and Applied Logic年鉴”]，“published-print”：{“date-parts”：[[1992,4]]}，”DOI“：”10.1016\/0168-0072（92）90065-8“，”type“：”journal-article“，”created“：{”date-part“：[[2002,10,11]]，”date-time“：”2002-10-11T16:46:26Z“，”timestamp“：1034354786000}“page”：“7-17”，“source”：“Crossref”，“is-referenced-by-count”：4，“title”：[“Mints type deductive calculli for logic programming”]，“prefix”：“10.1016”，“volume”：“56”，“author”：[{“given”：”J.C.“，“family”：“Shepherdson”，“sequence”：“first”，“affiliation”：[]}]，“member”：“78”，“reference”：[[{”key“10.1016\/0168-0072（92）90065-8_BIB1”，“首页”：“10”，“article-title”：“基于静态数据依赖性分析的Prolog的半智能回溯”，“作者”：“Chang”，“年份”：“1985”，“期刊标题”：“Proc.1985 Symp.on Logic Programming”}，{“关键”：“10.1016\/0168-0072（92）90065-8_BIB2”，”series-title“：“逻辑和数据库”，“首页”：“293”，“文章标题”：，{“issue”：“1”，“key”：“10.1016\/0168-0072（92）90065-8_BIB3”，“doi-asserted-by”：“crossref”，”first page“：”1“，”doi“：”10.1016\/0743-1066（86）90002-6“，”article-title“：”Negation as inconsidence“，”volume“：“3”，“author”：“Gabbay”，“year”：“1986”，“journal-title”：“J.Logic Programming”}，{“key 92）90065-8_BIB4“，”系列标签“：“技术报告#719”，“文章标题”：“逻辑程序中的签名数据依赖性”，“作者”：“Kunen”，“年份”：“1987”｝，｛“密钥”：“10.1016/0168-0072（92）90065-8_BIB5”，“系列标题”：“逻辑编程基础”，“作者”：“Lloyd”，“年份”：“1987”｝，｛“问题”：“4”，“密钥”：“10.1016/0168-0072（92）90065-8_BIB6”，“首页”：“367”，“文章标题”：“纯Prolog的完整微积分”，“volume”：“35”，“author”：“Mints”，“year”：“1986”，“journal-title”：“Proc.Acad.Sci.Estonian SSR”}，{“key”：”10.1016\/0168-0072（92）90065-8_BIB7“，”doi-asserted-by“：”crossref“，”first page“：”185“，“doi”：“10.1016\/0743-1066（85）90018-4”，“article-title“：”Negation as failure II“，”volume“：”3“，”author“：”Shepherdson“，”year“：“1985”，“journal-title”：“J.Logic Programming”}，{“issue”：“3”，“key”：“10.1016\/0168-0072（92）90065-8_BIB8”，“doi-asserted-by”：“crossref”，“first page”：《343》，“doi”：“101016\/0304-3975（89）90106-0”，《article-title》：“作为失败的否定版本的完整语义”，“volume”：”65“，“author”：“Shepherdson”，“year”：“1989”“，”日志标题“：“Theoret.Compute.Sci.”}]，“container-title”：[“Pure and Applied Logic年鉴”]，“原始标题”：[]，“language”：“en”，“link”：[{“URL”：“https:\/\/api.elsevier.com\/content\/article\/PII:0168007292900658？httpAccept=text\/xml”，“content-type”：“text\/xml”，“content-version”：“vor”，“intended-application”：“text-mining”}，{“URL”：“https:\/\/api.elsevier.com/content\/article\/PII:0168007292900658？httpAccept=text\/plain”，“content-type”：“text\/plan”，“content-version”：“vor”，“intended-application”：“text-mining”}]，“deposed”：{“date-parts”：[2019,4,11]]，“date-time”：”2019-04-11T11:22:06Z“timestamp”：1554981726000}，“score”：1，“resource”：{“primary”：{“URL”：“https:\/\/linkinghub.elsevier.com/retrieve\/pii\/0168007292900658”}}，“subtitle”：[]，“shorttitle”：[]，“issued”：{“date-parts”：[[1992,4]]}，”references-count“：8，”journal-issue“：{”issue“：”1-3“，”published-print“：{“date-ports”：[[1992,4]]}”，“alternative-id”：[“016800729290058”]，“URL”：“http://\/dx.doi.org\/10.1016\/0168-0072（92）90065-8”，“关系”：{}，“ISSN”：[“0168-0072”]，“ISSN-type”：[{“value”：“0168-0072”，“type”:“print”}]，“subject”：[/]，“published”：{“date-parts”：[[1992,4]]}}