｛“状态”：“确定”，“消息类型”：“工作”，“消息版本”：“1.0.0”，“消息”：｛“索引”：｛“日期部分”：[[2022,4,1]]，“日期时间”：“2022-04-01T03:25:53Z”，“时间戳”：1648783553628｝，“发布者位置”：“柏林，海德堡”，“引用计数”：9，“发布者”：“施普林格-柏林-海德堡”，“isbn类型”：[｛“值”：“9783642226724”，“类型”：“打印”｝，｛“值”：“9783642226731”，“type”：“electronic”}]，“license”：[{“start”：{“date-parts”：[[2011，1,1]]，“date-time”：“2011-01-01T00:00:00Z”，“timestamp”：1293840000000}，“content-version”：“unspecified”，“delay-in-days”：0，“URL”：“http://\www.springer.com\/tdm”}”，“content-domain“：{”domain“[]，“crossmark-restriction”：false}，“short-container-title”：[]，“published-print”用法：{“date-parts”：[[2011]]}，“DOI”：“10.1007\/978-3642-22673-1_26”，“type”：“book-chapter”，“created”：{”date-part“：[[2011，7，13]]，“date-time”：“2011-07-13T11:49:15Z”，“timestamp”：1310557755000}，”page“：”295-297“，”source“Crossref”，“is-referenced-by-count”：0，“title”：[“代数拓扑中的计算和推理系统“]，”prefix“：”10.1007“，”author“：[{“给定”：“J\u00f3nathan”，“家族”：“赫拉斯”，“序列”：“第一个”，“从属关系”：[]}，{“给出”：“维科”，“家庭”：“帕斯夸尔”，“顺序”：“附加”，“隶属关系”：[]}：“GAP-组，算法，编程-计算离散代数系统，\n\n http://www.GAP-System.org”}，{“key”：“26_CR2”，“unstructured”：“Dousson，X.，Rubio，J.，Sergeraert，F.，Siret，Y.：Kenzo程序。格雷诺布尔傅里叶研究所（1998），\n\n http://\/www-fourier.ujf-grenoble.fr\/~sergerar\/Kenzo\/“}，{“key”：“26_CR3”，“unstructured”：“Ellis，G.：GAP的HAP包（2009），\n\n http://www.GAP-system.org\/Packages\/HAP.html”}Freundt，S.、Horn，P.、Konovalov，A.、Lindon，S.和Roozemond，D.：符号计算软件可组合协议（SCSCP）规范，1.3版（2009），\n\n http://www.Symbolic-Computation.org//SCSCP“}，{“key”：“26_CR5”，“unstructured”：“Heras，J.：fKenzo程序。拉里奥哈大学（2010），\n\n http://www.unirioja.es\/cu\/joheras\/fKenzo\/“}，{“问题”：“6”，“密钥”：“26_CR6”，”doi-asserted-by“：”publisher“，”首页“：”685“，”doi“：”10.1016\/j.jsc.2011.01.005“，“卷”：“46”，“作者”：“j.Heras”，“年份”：“2011”，“非结构化”：“Heras，J.、Pascual，V.、Rubio，J.和Sergeraert，F.：fKenzo：代数拓扑计算的用户界面。符号计算杂志\u00a046（6），685\u2013698（2011）“，”Journal-title“：”Journal of Symbolic Computation“}，{“key”：“26_CR7”，“unstructured”：“Kaufmann，M.，Moore，J.S.：ACL2，\n\n http://www.cs.utexas.edu\/users\/Moore\/ACL2\/“}”，{”key“：”26_CR8“，”doi-asserted-by“：”crossref“，”unstructure“：”Romero，A.，Ellis，G.，Rubio，J.：计算机代数系统之间的相互作用：用Kenzo和GAP计算群的同源性。在：《第34届符号与代数计算国际研讨会论文集》（ISSAC 2009），pp.303\u2013310（2009）“，DOI”：“10.1145\/1576702.1576744”｝，｛“key”：“26_CR9”，“nonstructured”：“Solomon，A.，Costantini，M.:GAP package OpenMath（2009），\n\nhttp://www.GAP-system.org/Packages\/OpenMath.html”｝]，”container-title“：[“计算机科学课堂讲稿”，“智能计算机数学”]，“original-title”：[]，“link”：[{“URL”：“http://\/link.springer.com/content\/pdf\/10.1007\/978-3642-22673-1_26”，“content-type”：“unspecified”，“content-version”：“vor”，“intended-application”：“similarity-checking”}]，“deposed”：{“date-parts”：[2019,3,30]]，“date-time“：”2019-03-30T01:24:24Z“，”timestamp“：1553909064000}，”score“：1，”resource“：{主要”：{“URL”：“http://\/link.springer.com/10.1007\/978-3-642-22673-1_26”}}，“副标题”：[]，“短标题”：[]，“已发布”:{“date-parts”：[2011年]}“ISBN”：[“9783642226724”，“97836226731”]，“references-count”：9，“URL”：“http://\/dx.doi.org\/10.1007\/978-3-642-22673-1_26”，“关系“：{}，”ISSN“：[“0302-9743”，“1611-3349”]，”ISSN-type“：[{”value“：”0302-974“，”type“:”print“}，{”value“：”1611-3399“，”类型“：”electronic“}]，“subject”：[]，“published”：{“date-parts”：[2011]}}}