{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[[2024,9,7]]，“日期时间”：“2024-09-07T05:30:25Z”，“时间戳”：1725687025440}，“引用计数”：30，“发布者”：“IEEE Compute.Sco.Press”，“内容域”：{“域”：[]，“交叉标记限制”：false}，”shortcontainer-title“：[]，“内政部”：“10.1109\/lics.1991.151628”，“type”：“procesedings-article”，“created”：{“date-parts”：[2002,12,10]]，“date-time”：“2002-12-10T19:53:10Z”，“timestamp”：1039549990000}，“page”：”32-42“，“source”：：“Crossref”，“is-referenced-by-count”：23，“title”：[“直觉主义线性逻辑片段中的逻辑编程”]，“前缀”：”10.1109“，“卷”：“16”，“作者”：[{“给定”：“J.S.”，“family”：“Hodas”，“sequence”：“first”，“affiliation”：[]}，{“given”：“D.”出版商“，”内政部“：“10.1016\/0304-3975（87）90045-4”}，{“key”：“ref11”，“doi-asserted-by”：“publisher”，“doi”：“10.1090\/conm\/092\/1003197”}“harland”，“key”：“ref13”}，{“key“：“ref14”，“doi-asserted-by”：“publisher”，“doi”：“10.1145\/138027.138060”}，{“key”：“ref15”，“first-page”：“511”，“article-title”：“用作用域构造在逻辑编程语言中表示对象”，“author”：“hodas”，“year”：“1990”，“journal-title“：“1990年逻辑编程国际会议”}：“10.2307\/2310058”}，{“key”：“ref17”，“doi-asserted-by”：“publisher”，“doi”：“10.1090\/conm\/092\/1003201”}（89）90031-9“}，{“key”：“ref28”，“doi-asserted-by”：“publisher”，“doi”：“10.1016\/0004-3702（80）90003-X“}，{“键”：“ref4”，“首页”：“153”，“卷”：“16”，“作者”：“bowen”，“年份”：“1982”，“日志标题”：“逻辑编程”}，}“键“：”ref27“，”文章标题“：”Prolog and Natural-Language Analysis“，”volume“：”10“，”author“：”pereira“，”year“：”1987“，”journal-title“：”CLSI“}“，”文章标题“：”用直觉主义逻辑表示数据库查询“，”author“：”bonner“，”year“：”1989“，”journal-title“：”Proc North Am Conf logic Programming“}，”johnal-tittle“：”直觉主义逻辑的无收缩顺序计算“，”年“：”1990“，”作者“：”dyckhoff“，”key“：“ref6”}，{“key”：“ref29”，”doi-asserted-by“：”publisher“，”doi“：”10.1145\/62678.62697“}”，{key“：”ref5“，”doi-asserted-by“：”publisher“，”doi“：”10.1109\/LICS.1990.113748“}，{“key”：“ref8”，“doi-assert-by”：“publisher”，“doi”：“10.1007\/BFb0012823”}，}“journal-title”：“用高阶逻辑程序设计语言指定和实现定理证明程序”，“year”：“1989”，“author”：“felty”，“key“:”ref7“}”，{由“：”publisher“，”提供DOI“：”10.1007\/BF03037173“}，{“key”：“ref9”，“DOI-asserted-by”：“publisher”，“DOI”：“10.1016\/0743-1066（84）90029-3”}，“journal-title”：“线性逻辑的计算解释”，“year”：“1990”，“author”：“abramsky”，“key“ref1”}r“，”key“：”ref20“}，{”key”：“参考22“，”首页“：”810“，”文章标题“：”概述？Prolog，“author”：“nadathur”，“year”：“1988”，“journal-title”：“第五届国际逻辑程序设计会议”}，{“key”：“ref21”，“doi-asserted-by”：“publisher”，”doi“：”10.1016\/0168-0072（91）90068-W“}，”{“key”：”ref24“，”first page“：”373“，”article-title“：”用范围结构扩展定冠词语法“，”author“：”pareschi“，”year“：”1990“，”期刊标题“：“1990国际逻辑编程会议”}，｛“期刊标题”：“类型驱动的自然语言分析”，“年份”：“1989”，“作者”：“pareschi”，“key”：“ref23”｝，｛“key”：“ref26”，“doi断言者”：“出版商”，“doi”：“10.1007\/BFb0018435”｝，｛“期刊标题”：“逻辑与计算机科学”，“首页”：“361”，“年份”：“1990”，“作者”：“paulson”key“：”ref25“}]，“event”：{“name”：“第六届IEEE计算机科学逻辑年会”，“location”：“阿姆斯特丹，荷兰”}，“container-title”：[“[1991]Proceedings Sixth Annual IEEE Symposium on Logic in Computer Science”]，“original-title“：[]，”link“：[{“URL”：“http://\explorestaging.IEEE.org\/ielx2\/360\/3979\/00151628.pdf？arnumber=151628”，“content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[[2017,3,9]]，”date-time“：“2017-03-09T11:05:55Z”，“timestamp”：1489057555000}，“score”：1，“resource”：{“primary”:{“URL”：“http://ieeexplore.iee.org\/document\/151628\/”}，”subtitle“：[]，“短标题”：[]，“已发布”：{“日期部分”：[[null]]｝，“引用次数”：30，“URL”：“http:\/\/dx.doi.org/10.1109\/lics.1991.151628”，“关系”：｛｝，“主题”：[]｝｝