｛“status”：“ok”，“message type”：“work”，“message version”：“1.0.0”，“message”：｛“indexed”：｛“date parts”：[[2022,4,2]]，“date-time”：“2022-04-02T06:12:47Z”，“timestamp”：1648879967574｝，“publisher location”：“Cham”，“reference count”：11，“publisher”：“Springer International Publishing”，“isbn type”：[｛“value”：“9783319243115”，“type”：“print”｝，｛“value”：“9783319243122”，“type”：“electronic”}]，“license”：[{“start”：{“date-parts”：[[2015,1,1]]，“date-time”：“2015-01-01T00:00:00Z”，“timestamp”：1420070400000}，“content-version”：“unspecified”，“delay-in-days”：0，“URL”：“http:\\/www.springer.com\/tdm”}][]，“published-print”：{“date-parts”：[2015年]]}，“DOI”：“10.1007\/978-3-319-24312-2_6”，“type”：“book-chipter”，“created”：{“date-parts”：[[2015,9,10]]，“date-time”：“2015-09-10T14:06:46Z”，“timestamp”：1441894006000}，“page”：《70-85》，“source”：”Crossref“，“is-referenced-by-count”：2，“title”：[“有界刚性E-统一的高效算法”]，“前缀”：“101007”，“author”：[{“给定”：“彼得”、“家人”：“Backeman”，“sequence”：“first”，“affiliation”：[]}，{“given”：“Philipp”，“family”：“R\u00fcmmer”，“serquence”:“additional”，“filiation“：[]2]，“member”：“297”，“published-online”：{“date-parts”：[[2015,11,8]]}doi“：”10.1023\/B:JARS.0000009518.26415.49“，”卷“：”31“，“作者”：“L.Bachmair”，“年份”：“2003”，“非结构化”：“Bachmair，L.，Tiwari，A.，Vigneron，L.：抽象同余闭包。J.Autom.Reasoning\u00a031（2），129\u2013168（2003）”，“期刊标题”：“J.Autom.Reasoning”}，｛“key”：“6_CR2”，“doi asserted by”：“crossref”，“非结构化”：“Backeman，P.，R\u00fcmmer，P.：用有界刚体E-Unification证明定理。In:CADE.LNCS.Springer（2015，待出版）”，“DOI”：“10.1007\/978-3319-21401-6_39”}，{“issue”：“1”，“key”：“6_CR3”，“DOI-asserted-by”：“publisher”，“first page”：”47“，“DOI:”10.1023\/A:1005996623714“，”volume“：”20“author”：“A.Degtyarev”，“年份”：“1998年”，“非结构化”：“Degtyarev，A.，Voronkov，A.：关于刚性E-Unification，你一直想知道的是什么。J.Autom.Reasoning\u00a020（1），47\u201380（1998）”，“journal-title”：“J.Autom.Reasoning”}，{“key”：“6_CR4”，“doi-asserted-by”：“crossref”，“unstructured”：“Degtyarev，A.，Voronkov，A.：基于序列的计算中的等式推理。收录：《自动推理手册》，第2卷。Elsevier and MIT Press（2001）“，”DOI“：”10.1016\/B978-044450813-3\/50012-6“}，{”key“：”6_CR5“，”DOI-asserted-by“：”crossref“，”unstructured“：”Degtyarev，A.，Voronkov，A.：“Kanger \u2019s Choices in Automated Reasoning。Springer（2001）”，“DOI”：“10.1007\/978-94-010-0630-9_4”}，“key”：“6_CR6”，“series-title”：“研究生文本计算机科学“，”doi-asserted-by“：”publisher“，”doi“：”10.1007\/978-1-4612-260-3“，”volume-title“：”一阶逻辑和自动定理证明“，”author“：”M.C.Fitting“，”year“：”1996“，”unstructured“：”Fitting，M.C.：一阶逻辑与自动定理证明，第2版。计算机科学研究生课程。Springer，Berlin（1996）“，“版本”：“2”}，{“键”：“6_CR7”，“非结构化”：“Gallier，J.H.，Raatz，S.，Snyder，W.：使用刚性e-统一方程证明定理。In:LICS，pp.338\u2013346。IEEE Computer Society（1987）“}，{”key“：”6_CR8“，”doi-asserted-by“：”crossref“，”unstructured“：”Kanger，S.：初等逻辑的简化证明方法。摘自：Siekmann，J.，Wrightson，G.（eds.）Automation of Reasoning 1:Classical Papers on Computational logic 1957\u20131966，pp.364\u2013371。Springer，Heidelberg（1983）（最初出现于1963年）“，”DOI“：”10.1007\/978-3642-81952-0_23“}，{”key“：”6_CR9“，”DOI-asserted-by“：”publisher“，”first page“：“356”，“DOI”：“10.1145\/322186.322198”，“volume”：“27”，“author”：“G.Nelson”，“year”：“1980”，“unstructured”：“Nelson，G.，Oppen，D.C.：基于同余闭包的快速决策程序。J。ACM\u00a027，356\u2013364（1980）“，”日记标题“：”J.ACM“}，{”key“：”6_CR10“，”series-title“：”人工智能课堂讲稿“，”doi-asserted-by“：”publisher“，”first page“：“274”，“doi”：“10.1007\/978-3-540-89439-1_20”，“volume-title”：“编程、人工智能和推理的逻辑”，“author”：“P.R\u00fcmmer”，“year”：“2008”“，”非结构化“：”R\u00fcmmer，P.：一阶逻辑的约束序列演算与线性整数算法。收录人：Cervesato，I.、Veith，H.、Voronkov，A.（编辑）LPAR 2008。LNCS（LNAI），第u00a05330卷，第274\u2013289页。Springer，Heidelberg（2008）“}，{”key“：”6_CR11“，”doi-asserted-by“：”crossref“，”unstructured“：”Tiwari，A.，Bachmair，L.，Rue\u00df，H.：《重新审视刚性电子统一》。摘自：CADE，CADE-17，pp.220\u2013234。Springer，London（2000）“，”DOI“：”10.1007\/10721959_17“}]，”container-title“：[”计算机科学课堂讲稿“，”分析表和相关方法自动推理“]，”original-title”：[]，”link“：[{”URL“：”http://link.Springer.com/content\/pdf\/10.1007\/978-3-319-24312-2_6“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”相似性检查“}]，”存放“：{”日期部分“：[[2019,5,30]]，”日期时间“：”2019-05-30T22:51:09Z“，”时间戳“：1559256669000}，”分数“：1，”资源“：{“primary”：{“URL”：“http://\link.sprimary.com\/10007\/978-3-319-24312-2_6”}}，“副标题”：[]，“短标题”：[]，“已发布”：{“日期部分”：[[2015]]}，“ISBN”：[“9783319243115”，“9783319243122“]，”references-count“：11，”URL“：”http://\/dx.doi.org\/10.1007\/978-3-319-24312-2_6“，”relation“：{}，”ISSN“：[”0302-9743“，”1611-3349“]，“ISSN-type”：[{“value”：“0302-974”，“type”:“print”}，{“value”：“1611-3399”，“类型”：“electronic”}]，“subject”：[]，“published”：{“date-parts”：[2015]}}}