{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,15]],"date-time":"2024-09-15T18:23:50Z","timestamp":1726424630541},"reference-count":13,"publisher":"Elsevier BV","issue":"3","license":[{"start":{"date-parts":[[1987,6,1]],"date-time":"1987-06-01T00:00:00Z","timestamp":549504000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,17]],"date-time":"2013-07-17T00:00:00Z","timestamp":1374019200000},"content-version":"vor","delay-in-days":9543,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Symbolic Computation"],"published-print":{"date-parts":[[1987,6]]},"DOI":"10.1016\/s0747-7171(87)80002-0","type":"journal-article","created":{"date-parts":[[2008,3,29]],"date-time":"2008-03-29T14:14:04Z","timestamp":1206800044000},"page":"231-247","source":"Crossref","is-referenced-by-count":20,"title":["Verifying nilpotence"],"prefix":"10.1016","volume":"3","author":[{"given":"Charles C.","family":"Sims","sequence":"first","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/S0747-7171(87)80002-0_bib1","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1007\/BF01214868","article-title":"Some recognizable properties of solvable groups","volume":"178","author":"Baumslag","year":"1981","journal-title":"Math. Z."},{"key":"10.1016\/S0747-7171(87)80002-0_bib2","doi-asserted-by":"crossref","first-page":"463","DOI":"10.1090\/S0025-5718-1973-0335610-5","article-title":"Implementation and analysis of the Todd-Coxeter algorithm","volume":"27","author":"Cannon","year":"1973","journal-title":"Math. Comp."},{"key":"10.1016\/S0747-7171(87)80002-0_bib3","doi-asserted-by":"crossref","first-page":"81","DOI":"10.2307\/1970044","article-title":"Free differential calculus IV","volume":"68","author":"Chen","year":"1958","journal-title":"Ann. Math."},{"key":"10.1016\/S0747-7171(87)80002-0_bib4","doi-asserted-by":"crossref","first-page":"544","DOI":"10.1016\/0021-8693(79)90238-2","article-title":"Presentations of groups and monoids","volume":"57","author":"Gilman","year":"1979","journal-title":"J. Alg."},{"year":"1959","series-title":"The Theory of Groups","author":"Hall","key":"10.1016\/S0747-7171(87)80002-0_bib5"},{"key":"10.1016\/S0747-7171(87)80002-0_bib6","series-title":"Springer Lec. Notes Math.","doi-asserted-by":"crossref","first-page":"806","DOI":"10.1007\/BFb0091271","article-title":"Application of computers to questions like those of Burnside","author":"Havas","year":"1980"},{"key":"10.1016\/S0747-7171(87)80002-0_bib7","series-title":"SYMSAC '76","first-page":"9","article-title":"Collection","author":"Havas","year":"1976"},{"key":"10.1016\/S0747-7171(87)80002-0_bib8","doi-asserted-by":"crossref","first-page":"287","DOI":"10.1080\/00927878308822849","article-title":"Groups of exponent five and class four","volume":"11","author":"Havas","year":"1983","journal-title":"Commun. Alg."},{"key":"10.1016\/S0747-7171(87)80002-0_bib9","series-title":"Computational Problems in Abstract Algebra","first-page":"263","article-title":"Simple word problems in universal algebra","author":"Knuth","year":"1970"},{"key":"10.1016\/S0747-7171(87)80002-0_bib10","series-title":"Research Notes in Theoretical Computer Science","article-title":"Canonical forms in finitely presented algebras, an application to groups","author":"Le Chenadec","year":"1986"},{"key":"10.1016\/S0747-7171(87)80002-0_bib11","series-title":"London Math. Soc. Lecture Note Series 71","first-page":"1","article-title":"An elementary introduction to coset table methods in computational group theory","author":"Neub\u00fcser","year":"1982"},{"key":"10.1016\/S0747-7171(87)80002-0_bib12","series-title":"Proceedings of the Rutgers Group Theory Year, 1983\u20131984","first-page":"23","article-title":"Coset table methods","author":"Sims","year":"1984"},{"year":"1958","series-title":"The Theory of Groups","author":"Zassenhaus","key":"10.1016\/S0747-7171(87)80002-0_bib13"}],"container-title":["Journal of Symbolic Computation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0747717187800020?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0747717187800020?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2018,12,30]],"date-time":"2018-12-30T17:54:10Z","timestamp":1546192450000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0747717187800020"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1987,6]]},"references-count":13,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1987,6]]}},"alternative-id":["S0747717187800020"],"URL":"https:\/\/doi.org\/10.1016\/s0747-7171(87)80002-0","relation":{},"ISSN":["0747-7171"],"issn-type":[{"type":"print","value":"0747-7171"}],"subject":[],"published":{"date-parts":[[1987,6]]}}}