{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2024,5,20]]，“日期时间”：“2024-05-20T21:08:08Z”，“时间戳”：1716239288814}，“发布者位置”：“Cham”，“引用计数”：27，“发布商”：“Springer International Publishing”，“isbn-type”：[{“值”：“9783319084336”，“类型”：”打印“}，{“值”：“9783319084343”，“type”：“electronic”｝]，“license”：[｛“start”：｛“date parts”：[[2014,1,1]]，“date time”：“2014-01-01T00:00:00Z”，“timestamp”：1388534400000｝，“content version”：“unspecified”，“delay in days”：0，“URL”：“http:\/\/wspringer.com\/tdm”｝]，“content domain”：｛“domain”：[]，“crosmark restriction”：false｝，“short container title”：[]，“published print”：｛“date parts”：[[2014]]}，“DOI”：“10.1007\/978-3-319-08434-3_7”，“type”：“book-chapter”，“created”：{“date-parts”：[[2014,7,1]]，“date-time”：“2014-07-01T03:14:35Z”，“timestamp”：1404184475000}，“page”：”76-91“source”：《Crossref》，“is-referenced-by-count”：7，“title”：[“Detecting Unknots via Equational Reasoning，I:Exploration”]，“prefix”：“101007”，“author”：[{“given”：“Andrew”，“family”：“Fish”，“sequence”：“first”，“affiliation”：[]}，{“given”：“Alexei”，“family”：“Lisitsa”：“Andreeva，M.，Dynnikov，I.，Koval，S.，Polthier，K.，Taimanov，I.:Book Knot Simplifier，http://www.javaview.de\/services\/nots\/doc\/description.html（2014年3月14日访问）”}，{“key”：“7_CR2”，“unstructured”：“CADE ATP系统竞赛，世界自动定理证明锦标赛，http://www.cs.miami.edu\/~tptp\/CASC\/（2013年6月7日访问）”}，{“key”：“7_CR3”，“unstructured”：“Burton，B.A.，Olzen，M.：具有实验多项式行为的未知识别的快速分支算法。arXiv:1211.1079[math.GT]”}，“doi-asserted-by”：“publisher”，“first page”：“433”，“doi”：“10.1017\/S0305004100013463”，“volume”：”31“，“author”：“G.Birkhoff”，“year”：“1935”，“unstructured”：“Birkhof，G.：关于抽象代数的结构。Proc.Cambridge Philos.Soc.\u00a031，433\u2013454（1935）”，“journal title”：“Proc.Cambridge Phols.Soc.}，{“key”：R5“，”doi-asserted-by“：“crossref”，“unstructured”：“Caferra，R.，Leitsch，A.，Peltier，N.：自动化模型构建。应用逻辑系列，第\u00a031卷。Kluwer（2004）“，”DOI“：”10.1007\/978-14020-2653-9“}，{”key“：”7_CR6“，”unstructured“：”Scott Carter，J.：“困惑思想的调查。arXiv:1002.4429[math.GT]“}”，{“key”：“7_CR7”，“DOI-asserted-by”：“crossref”，“unstructure”：“Dynikov，I.A.：结理论中的识别算法。Uspekhi Mat.Nauk\u00a058（6（354））），45\u201392（2003年）“，”内政部“：”10.1070 \/RM2003v058n06ABEH000675“}，{“key”：“7_CR8”，“unstructured”：“Dynnikov，A.：三页链接表示和解开算法。In：《低维拓扑与组合群理论国际会议论文集》，基辅车里雅宾斯克，7月31日至8月7日，pp.112\u2013130（1999，2000）”}，}，[key“：”7_CR9“，”doi-asserted-by“：”publisher“，”first page“：”343“，”DOI“：”10.1142\/S0218216592000203“，“volume”：“01”，“author”：“R.Fenn”，“year”：“1992”，“unstructured”：“Fenn，R.，Rourke，C.：Codimension 2中的Racks and Links。J.Knot Theory Ramifications\u00a001，343（1992）“，“journal title”：“J.Knot Theory Ramifications”}，{“key”：“7_CR10”，“unstructured”：“Goubault-Larrecq，J.，Mackie，I.：证明理论和自动演绎。应用逻辑系列，第u00a06卷。Kluwer（2001）“}，{”key“：”7_CR11“，”doi-asserted-by“：”publisher“，”首页“：”245“，”doi“：”10.1007\/BF02559591“，”volume“：“105”，”author“：”W.Haken“，”year“：”1961“，“unstructured”：“Haken，W.：Theorye der Normal achen.Acta Math.\u00a0105，245\u2013375（1961）”，”journal-title“：”Acta Math“}”，{“issue”：“2”，“key”：“7_CR12”，”doi-asserted-by“：”publisher“，”第一页“：”185“，”DOI“：”10.1145\/301970.301971“，”卷“：”46“，”作者“：”J.Hass“，”年份“：”1999“，”非结构化“：”Hass，J.，Lagarias，J.C.，Pippenger，N.：结和链接问题的计算复杂性。J.协会计算。机器。\u00a046（2），185\u2013211（1999）“，“期刊标题”：“J.Assoc.Compute。机器。“}，{”key“：”7_CR13“，”series-title“：”Ann.of Math.Stud.“，”doi-asserted-by“：”crossref“，”first page“：“379”，“doi”：“10.1515\/9781400882083-018”，“volume-title”：“组合群理论与拓扑（Alta，Utah，1984）”，“author”：“J.Hempel”，“year”：“1987”，“unstructured”：“Hempel，J.：3-流形的剩余有限性。In:组合群理论和拓扑（Alta，犹他州，1984）。数学安。研究生，第u00a0111卷，第379\u2013396页。普林斯顿大学出版社，普林斯顿（1987）“}，{”key“：“7_CR14”，”doi-asserted-by“：”publisher“，”first page“：”37“，”doi“：”10.1016\/0022-4049（82）90077-9“，“volume”：“23”，“author”：“D.Joyce”，“year”：“1982”，“unstructured”：“Joyce，D.：结的分类不变量，结Quandle。《纯粹与应用代数杂志》\u00a023，37\u201365（1982）”，“”journal-title“：”《纯粹与应用代数杂志》}，{“key”：“7_CR15”，“doi-asserted-by”：“publisher”，“first page”：”307“，“doi”：“10.1016\/0021-8693（82）90305-2”，“volume”：《79》，“author”：“D.Joyce”，“year”：“1982”，“unstructured”：“Joyce，D.：Simple Quandles。journal of Algebra\u00a079，307\u2013318（1982）”，“journal-title”：“journal of albra”}，{“键”：7_CR16“，”非结构化“：“Kuperberg，G.：结在NP中，模GRH，Preprint，arXiv:1112.0845（2011年11月）”}，{“key”：“7_CR17”，“unstructured”：“通过等式推理进行解结检测，http://www.csc.liv.ac.uk \/~alexei\/unknots \/（2014年4月14日访问）“}，}”key“：”7_CR18“，”unstructure“：”McCune，W.：Prover9和Mace4，http://www.cs.unm.edu\/~McCune\/Mace4\/“}，{“key”：“7_CR19”，“unstructured”：“Winker，S.N.：Quandles，Knot Invariants and the N fold Branching Cover。芝加哥伊利诺伊大学博士论文（1984）”}，“卷”：“5”，“作者”：“K.Reidemister“，”year“：”1926“，”unstructured“：”Reidemisster，K.：Elementare Begr\u00fcndung der Knotentheorie.Abh.Math。汉堡大学Sem.Univ.Hamburg\u00a05，24\u201332（1926）“，”期刊标题“：”Abh.Math。汉堡大学Sem.Univ.Hamburg“}，{“key”：“7_CR21”，“doi-asserted-by”：“crossref”，“unstructured”：“Thurston，W.P.：三维流形，Kleinian群和双曲几何。Bull.Amer.Math.Soc.（N.S.）\u00a06（3），357\u2013381（1982）”，“doi”：“10.1090”\/S0273-0979-1982-15003-0”}，“{”key“：”7_CR22“，“unsructured“：”Cha，J.C.，Livingston，C.：KnotInfo:纽结不变量表，http://www.indiana.edu\/~KnotInfo（2014年1月访问）Wallace，S.D.：链接困惑的同态图像。硕士论文，德克萨斯州休斯顿（2004）“｝，｛“key”：“7_CR25”，“非结构化”：“Manoim，B.：走向Knots和Quantles的在线知识库。技术报告，http:\/\/asclab.org/asc\\/sites/default\/files\/docs\/Online%20database%20knots%20%26%20quandles.pdf”｝，｛“key”：“7_CR26”，doi断言为“：”crossref“，”非结构化“：”Rolfsen，D.：结和链接。AMS Chelsea Publishing（2004）“，“DOI”：“10.1090\/chel\/346”}，{“key”：“7_CR27”，“unstructured”：“http://\/mathoverflow.net\/questions\/144158\/what-is-the-state-of-the-art-for-algorithmic-knot-simplifation”}]，“container-title”：[“计算机科学课堂讲稿”，“智能计算机数学”]，“original-title“：[]，”链接“：[{“URL”：“http:\/\/link.springer.com/content\/pdf\/10.1007\/978-3319-08434-3_7“，“content-type”：“unspecified”，“content-version”：“vor”，“intended-application”：“similarity-checking”}]，“deposed”：{“date-parts”：[[2019,8,12]，“date-time”：《2019-08-12T05:50:07Z》，“timestamp”：156558900700}，“score”：1，“resource”：{“primary”:{“URL”：“http://\/link.springer.com/10.1007\/978-3319-08434-3_7“}}，”副标题“：[]，”短标题“：[]，”已发布“：{”日期部分“：[[2014]]}，“ISBN”：[“9783319084336”，“978331084343”]，”参考计数“：27，”URL“http://\/dx.doi.org\/10.10007\/978-319-08434343-3_7”，“关系”：{}、“ISSN”：[“0302-9743”，“1611-3349”]，“ISSN-type”：[{“value”：“0302-7743”value“：“1611-3349”，“type”：“electronic”}]，“subject”：[]，“published”：{“date-parts”：[[2014]]}}