{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2023,13]]，“日期时间”：“2023-01-13T03:14:46Z”，“时间戳”：1673579686264}，“出版商位置”：“柏林，海德堡”，“参考计数”：21，“出版者”：“施普林格-柏林-海德堡（Springer Berlin Heidelberg）”，“isbn-type”：[{“值”：“9783540305538”，“类型”：“打印”}，{“值”：“9783540316503”，“type”：“electronic”}]，“license”：[{“start”：{“date-parts”：[[2005,1,1]]，“date-time”：“2005-01-01T00:00:00Z”，“timestamp”：1104537600000}，“content-version”：“tdm”，“delay-in-days”：0，“URL”：“http://www.springer.com\/tdm”}]}，“short-container-title”：[]，“published-print”：{“date-parts”：[2005]]}，“DOI”：“10.1007\/11591191_25”，“type”：“book-chapter”，“created”：{“date-parts”：[2005,11,22]]，“date-time”：“2005-11-22T09:44:25Z”，“timestamp”：1132652665000}，”page“：”352-366“，”source“：“Crossref”，“is-referenced-by-count”：10，“title”：[“On the Specification of Sequent Systems”]，“prefix”：“101007”，”author“：[{“given”：“Elaine”，“family”：“Pimentel”、“sequence”：“first”，“affiliation”：[]}，{“given”：“Dale”，“family”：“Miller”，“sequences”：“additional”，“abfiliation“：[]{”，“member”：“297”，“reference”：[{“issue”：“3”，“key”：”25_CR1“，“doi-asserted-by”：”publisher“，”first page“：”297“，”doi“10.1093\/logcom\/2.3.297”“oli”，“年份”：“1992”，“非结构化”：“Andreoli，J.-M.：线性逻辑中聚焦证明的逻辑编程。逻辑与计算杂志\u00a02（3），297\u2013347（1992）”，“期刊标题”：“逻辑与计算期刊”}，{“key”：“25_CR2”，“doi-asserted-by”：“publisher”，“first-page”：“56”，“doi”：“10.2307\/2266170”，“卷”：“5”，“作者”：“A.Church”，“年份”：“1940”，“非结构化”：“Church，A.：简单类型理论的表述。符号逻辑杂志\u00a05，56\u201368（1940）”，“期刊标题”：“符号逻辑杂志”}，{“key”：“25_CR3”，“unstructured”：“Felty，A.，Miller，D.：用高阶逻辑编程语言指定定理证明程序。in:第九届国际自动演绎会议（1988）”}，｛“key”：“25_CR4”，“first page”：“68”，“volume title”：“The Collected Papers of Gerhard Gentzen”，“author”：“G.Gentzen”，“year”：“1969”，“nonstructured”：“Gentzen，G.：逻辑推导的研究。In：Szabo，M.E.（ed.）The Collected Papers of Gerhard Gentzen，pp.68\u2013131。North-Holland Publishing Co.，Amsterdam（1969）“}，{”key“：”25_CR5“，”doi-asserted-by“：”publisher“，”first page“：“1”，“doi”：“10.1016\/0304-3975（87）90045-4”，“volume”：“50”，“author”：“J-Y.Girard”，“year”：“1987”，“unstructured”：“Girard，J.-Y.：线性逻辑。理论计算机科学\u00a050，1\u2013102（1987）”，“journal title”：“”理论计算机科学“}，{”key“：”25_CR6“，”doi-asserted-by“：”publisher“，”first page“：“201”，”doi“：”10.10168-0072（93）90093-S“，“volume”：“59”，“author”：“J.-Y.Girard”，“year”：“1993”，“unstructured”：“Girard，J.-Y:On the unity of logic.Ann.of Pure and Applied logic\u00a059，201\u2013217（1993）”，“journal title”：“Ann.for Pure and Applicationd logic”“}”，｛“key”：“25_CR7”，“doi asserted by”：“crossref”，“nonstructured”：“Girard，J.-Y.：关于逻辑规则的含义I：语法与语义。在：计算逻辑，Berger和Schwichtenberg，pp.215\u2013272。SV（1999）“，”DOI“：”10.1007\/978-3642-58622-4_7“}，{“key”：“25_CR8”，“unstructured”：“Guglielmi，A.：交互和结构系统。计算逻辑中的ACM事务（2005）（待出现）”}，}“issue”：“1”，“key“：”25_CR9“，”DOI-asserted-by“：”publisher“，”first page“：“143”，“DOI”：“10.1145\/1380027.138060”，“volume”：”40“author”“：”R.Harper“，”年份“：”1993年”，“非结构化”：“Harper，R.，Honsell，F.，Plotkin，G.：定义逻辑的框架。美国医学会杂志\u00a040（1），143\u2013184（1993）“，”期刊标题“：”美国医学会期刊“}，{“期刊”：“1”，“关键字”：“25_CR10”，“doi-asserted-by”：“publisher”，“首页”：“201”，“doi”：“10.1016\/0304-3975（96）00045-X”，“卷”：“165”，”作者“D.Miller”，“年份”：“1996”，“非结构化”：“Miller，D.：论坛：一种多结论规范语言。理论计算机科学\u00a0165（1），201\u2013232（1996）“，“期刊标题”：“理论计算机科学”}，{“关键字”：“25_CR11”，“doi-asserted-by”：“出版商”，“首页”：“91”，“doi”：“10.1016\/S0304-3975（99）00171-1”，“卷”：“232”，“作者”：“R.McDowell”，“年份”：“2000”，“非结构化”：“McDowell，R.，Miller，D.：定义和归纳逻辑的简化。理论计算机科学\u00a0232，91\u2013119（2000）“，“journal-title”：“理论计算机科学”}，{“key”：“25_CR12”，“doi-asserted-by”：“publisher”，“first-page”：“125”，“doi”：“10.1016\/0168-0072（91）90068-W”，“volume”：”51“author”：“D.Miller”，“year”：“1991”，“unstructured”：“Miller，D.，Nadathur，G.，Pfenning，F.，Scedrov，A.：统一证明是逻辑编程的基础。《纯逻辑与应用逻辑年鉴》（Ann.of Pure and Applied Logic）\u00a051，125\u2013157（1991）“，“journal-title”：《纯逻辑和应用逻辑年刊》}，{“key”：“25_CR13”，“unstructured”：“Miller，D.，Pimentel，E.：线性逻辑作为指定顺序演算的框架。In:《逻辑17》课堂讲稿，1999年逻辑学术讨论会（2004）”}，“key“：”25_CR14“series-title”：“《人工智能课堂讲稿》，“doi-asserted-by”：“publisher”，“first page”：“2”，“doi”：“10.1007\/3-540-45616-3_2”，“volume-title”：“带分析表和相关方法的自动推理”，“author”：“D.Miller”，“year”：“2002”，“unstructured”：“Miller，D.，Pimentel，E.：使用线性逻辑推理顺序系统。收录于：Egly，U.，Ferm\u00fcller，C.（编辑）TABLEAUX 2002。LNCS（LNAI），第u00a02381卷，第2页。Springer，Heidelberg（2002）“}，{”key“：“25_CR15”，”first page“：”810“，”volume-title“：”Fifth International Logic Programming Conference“，”author“：”G.Nadathur“，“year”：“1988”，”unstructured“：”Nadathur，G.，Miller，D.：《\u03bbProlog概述》。收录：第五届国际逻辑编程会议，第810\u2013827页。麻省理工学院出版社，剑桥（1988年8月）“}，{“key”：“25_CR16”，“unstructured”：“Pfenning，F.：Elf：逻辑定义和验证元编程的语言。In:第四届计算机科学中的逻辑年会（1989）”}，}，“key“：”25_CR17“，”unstructure“：”Pfenning，F.：结构切割消除。摘自：Proceedings，Teth Annual IEEE Symposium on Logic In Computer Science（1995）“}，{“issue”：“1-2”，“key”：“25_CR18”，“doi-asserted-by”：“publisher”，“first page”：”84“，“doi”：“10.1006\/inco.1999.2832”，“volume”：《157》，“author”：“F.Pfenning”，“year”：“2000”，“unstructural”：“Pfennion，F.：Structural Cut Elimination:I。直觉主义和古典逻辑。信息与计算\u00a0157（1-2），84\u2013141（2000）”，“新闻标题”：“信息与计算”}，{“key”：“25_CR19”，“unstructured”：“Pimentel，E.G.：L\u00f3gica linear E a specifica\u00e7\u00e3o de sistemas computacionais.巴西米纳斯基拉斯联邦大学博士论文，贝洛奥里藏特，M.G.（英语书写）（2001年12月）“}，{”key“：”25_CR20“，”unstructured“：”Pimentel，E.G.：Llinda的剪切消除（2005），Draft，可从http://www.mat.ufmg.br \\~elaine“}获得，{“key”：“25_CR21”，“unstructure”：“Tiu，A.：逻辑规范推理的逻辑框架。宾夕法尼亚州立大学博士论文（2004）”}]，“container-title“：[“编程、人工智能和推理的逻辑”，“计算机科学课堂讲稿”]，“original-title”：[]，“link”：[{“URL”：“http://\/link.springer.com/content\/pdf\/10.1007\/11591191_25”，“content-type”：“unspecified”，“content-version”：“vor”，“intended-application”：“similarity-checking”}]，“存放”：{date-parts“：[[2019,5,19]]，“date-time”：“2019-05-19T18:00:33Z”，“timestamp”：155828883300}，“score”：1，“resource”：{“primary”：{“URL”：“http://\/link.springer.com\/10.1007\/11591191_25”}}，”subtitle“：[]，”shorttitle“：[]，”issued“：{”date-part“：[2005]}”，“ISBN”：[“9783540305538”，“978354”316503“]，”references-count“：21，”URL“：”http:\/\/dx.doi.org\/10.1007\/11591191_25“，”关系“：{}，”ISSN“：[”0302-9743“，”1611-3349“]，”ISSN-type“：[{”value“：”0302-7743“”，”type“:”print“}，{”value“：”1611-33049“，“type”：“electronic”}]，“subject”：[]，“published”：{“date-parts”：[2005]]}}}}