{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,11]],"date-time":"2024-09-11T09:03:06Z","timestamp":1726045386649},"publisher-location":"Cham","reference-count":26,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319724522"},{"type":"electronic","value":"9783319724539"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-72453-9_1","type":"book-chapter","created":{"date-parts":[[2017,12,20]],"date-time":"2017-12-20T09:35:54Z","timestamp":1513762554000},"page":"3-18","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Automated Reasoning for Knot Semigroups and\u00a0 $$\\pi $$ \u03c0 -orbifold Groups of Knots"],"prefix":"10.1007","author":[{"given":"Alexei","family":"Lisitsa","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexei","family":"Vernitski","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,12,21]]},"reference":[{"key":"1_CR1","doi-asserted-by":"crossref","unstructured":"Birkhoff, G.: On the structure of abstract algebras. In: Mathematical Proceedings of the Cambridge Philosophical Society, vol. 31, pp. 433\u2013454. Cambridge University Press (1935)","DOI":"10.1017\/S0305004100013463"},{"issue":"2","key":"1_CR2","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1007\/BF01230281","volume":"200","author":"M Boileau","year":"1989","unstructured":"Boileau, M., Zimmermann, B.: The $$\\pi $$ \u03c0 -orbifold group of a link. Mathematische Zeitschrift 200(2), 187\u2013208 (1989)","journal-title":"Mathematische Zeitschrift"},{"key":"1_CR3","doi-asserted-by":"crossref","DOI":"10.1515\/9783110270785","volume-title":"Knots","author":"G Burde","year":"2013","unstructured":"Burde, G., Heusener, M., Zieschang, H.: Knots. De Gruyter, Berlin (2013)"},{"key":"1_CR4","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4020-2653-9","volume-title":"Automated Model Building","author":"R Caferra","year":"2013","unstructured":"Caferra, R., Leitsch, A., Peltier, N.: Automated Model Building, vol. 31. Springer, Dordrecht (2013). https:\/\/doi.org\/10.1007\/978-1-4020-2653-9"},{"key":"1_CR5","doi-asserted-by":"crossref","DOI":"10.1090\/stml\/074","volume-title":"Quandles","author":"M Elhamdadi","year":"2015","unstructured":"Elhamdadi, M., Nelson, S.: Quandles, vol. 74. American Mathematical Society, Providence (2015)"},{"key":"1_CR6","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1007\/978-3-319-08434-3_7","volume-title":"Intelligent Computer Mathematics","author":"A Fish","year":"2014","unstructured":"Fish, A., Lisitsa, A.: Detecting unknots via equational reasoning, I: exploration. In: Watt, S.M., Davenport, J.H., Sexton, A.P., Sojka, P., Urban, J. (eds.) CICM 2014. LNCS (LNAI), vol. 8543, pp. 76\u201391. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-08434-3_7"},{"key":"1_CR7","series-title":"Communications in Computer and Information Science","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1007\/978-3-319-25043-4_7","volume-title":"Embracing Global Computing in Emerging Economies","author":"A Fish","year":"2015","unstructured":"Fish, A., Lisitsa, A., Stanovsk\u00fd, D.: A combinatorial approach to knot recognition. In: Horne, R. (ed.) EGC 2015. CCIS, vol. 514, pp. 64\u201378. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-25043-4_7"},{"key":"1_CR8","volume-title":"Topology of Three-Manifolds","author":"R Fox","year":"1962","unstructured":"Fox, R.: A quick trip through knot theory. In: Fort, M.K. (ed.) Topology of Three-Manifolds. Prentice-Hall, Englewood Cliffs (1962)"},{"key":"1_CR9","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780198533979.001.0001","volume-title":"Knots and Surfaces","author":"ND Gilbert","year":"1994","unstructured":"Gilbert, N.D., Porter, T.: Knots and Surfaces. Oxford University Press, New York (1994)"},{"key":"1_CR10","doi-asserted-by":"crossref","first-page":"349","DOI":"10.1016\/B978-0-12-115350-2.50017-8","volume-title":"Formal Language Theory: Perspectives and Open Problems","author":"G Huet","year":"1980","unstructured":"Huet, G., Oppen, D.C.: Equations and rewrite rules. In: Book, R.N. (ed.) Formal Language Theory: Perspectives and Open Problems, pp. 349\u2013405. Academic Press, New York (1980)"},{"issue":"1","key":"1_CR11","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1016\/0022-4049(82)90077-9","volume":"23","author":"D Joyce","year":"1982","unstructured":"Joyce, D.: A classifying invariant of knots, the knot quandle. J. Pure Appl. Algebra 23(1), 37\u201365 (1982)","journal-title":"J. Pure Appl. Algebra"},{"key":"1_CR12","unstructured":"Kauffman, L.H., Henrich, A.: Unknotting unknots. https:\/\/arxiv.org\/abs\/1006.4176"},{"key":"1_CR13","unstructured":"Kauffman, L.H., Lambropoulou, S.: Hard unknots and collapsing tangles. https:\/\/arxiv.org\/abs\/math\/0601525v5"},{"key":"1_CR14","volume-title":"A Survey of Knot Theory","author":"A Kawauchi","year":"1996","unstructured":"Kawauchi, A.: A Survey of Knot Theory. Birkh\u00e4user, Basel (1996)"},{"key":"1_CR15","doi-asserted-by":"crossref","first-page":"1","DOI":"10.4007\/annals.2015.182.1.1","volume":"182","author":"M Lackenby","year":"2015","unstructured":"Lackenby, M.: Upper bound on Reidemeister moves. Ann. Math. 182, 1\u201374 (2015)","journal-title":"Ann. Math."},{"key":"1_CR16","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-0691-0","volume-title":"An Introduction to Knot Theory","author":"WB Raymond-Lickorish","year":"1997","unstructured":"Raymond-Lickorish, W.B.: An Introduction to Knot Theory, vol. 175. Springer, New York (1997). https:\/\/doi.org\/10.1007\/978-1-4612-0691-0"},{"key":"1_CR17","doi-asserted-by":"crossref","DOI":"10.5948\/UPO9781614440239","volume-title":"Knot Theory","author":"C Livingston","year":"1993","unstructured":"Livingston, C.: Knot Theory, vol. 24. Cambridge University Press, Cambridge (1993)"},{"key":"1_CR18","doi-asserted-by":"crossref","DOI":"10.1201\/9780203402849","volume-title":"Knot Theory","author":"V Manturov","year":"2004","unstructured":"Manturov, V.: Knot Theory. CRC Press, Boca Raton (2004)"},{"key":"1_CR19","unstructured":"McCune, W.: Prover9 and Mace4 (2005\u20132010). http:\/\/www.cs.unm.edu\/mccune\/prover9\/"},{"volume-title":"The Smith Conjecture","year":"1984","key":"1_CR20","unstructured":"Morgan, J.W., Bass, H. (eds.): The Smith Conjecture. Elsevier, Amsterdam (1984)"},{"key":"1_CR21","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-8176-4719-3_15","volume-title":"Knot Theory and Its Applications","author":"K Murasugi","year":"1996","unstructured":"Murasugi, K.: Knot Theory and Its Applications. Springer, Boston (1996). https:\/\/doi.org\/10.1007\/978-0-8176-4719-3_15"},{"key":"1_CR22","unstructured":"Ochiai, M.: Non-trivial projections of the trivial knot. http:\/\/repository.kulib.kyoto-u.ac.jp\/dspace\/handle\/2433\/99940"},{"key":"1_CR23","doi-asserted-by":"crossref","first-page":"421","DOI":"10.2140\/gtm.2008.13.421","volume":"13","author":"J O\u2019Hara","year":"2008","unstructured":"O\u2019Hara, J.: Energy of knots and infinitesimal cross ratio. Geom. Topol. Monogr. 13, 421\u2013445 (2008)","journal-title":"Geom. Topol. Monogr."},{"key":"1_CR24","unstructured":"Unknot. https:\/\/en.wikipedia.org\/wiki\/Unknot"},{"issue":"1","key":"1_CR25","doi-asserted-by":"crossref","first-page":"66","DOI":"10.1007\/s00233-016-9808-7","volume":"95","author":"A Vernitski","year":"2017","unstructured":"Vernitski, A.: Describing semigroups with defining relations of the form xy = yz and yx = zy and connections with knot theory. Semigroup Forum 95(1), 66\u201382 (2017)","journal-title":"Semigroup Forum"},{"key":"1_CR26","unstructured":"Winker, S.K.: Quandles, knot invariants, and the n-fold branched cover. Ph.D. thesis, University of Illinois at Chicago (1984)"}],"container-title":["Lecture Notes in Computer Science","Mathematical Aspects of Computer and Information Sciences"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-72453-9_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,29]],"date-time":"2024-06-29T22:37:20Z","timestamp":1719700640000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-72453-9_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319724522","9783319724539"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-72453-9_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}