{"entities":{"Q1328892":{"pageid":1339642,"ns":120,"title":"Item:Q1328892","lastrevid":67548504,"modified":"2026-04-12T18:43:24Z","type":"item","id":"Q1328892","labels":{"en":{"language":"en","value":"The word problem for groups with regular relations. Improvement of the Knuth-Bendix algorithm"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 597463"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1328892$7E706F5A-ABA8-46F5-B038-E28A9932CD9B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d30ae681bd818cdfc2d5a935e07962d47c139782","datavalue":{"value":{"text":"The word problem for groups with regular relations. Improvement of the Knuth-Bendix algorithm","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1328892$84B440F0-68F7-4E1D-8CDB-5540E9B2085E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cfb76ba85fbf06ab73025270ce26a81133a55338","datavalue":{"value":"0806.20028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1328892$F86B5E85-1AB3-47B6-8BC1-C569617E21F4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"409c0806010a06d971dc3e3460a52576be6aa490","datavalue":{"value":{"entity-type":"item","numeric-id":1328891,"id":"Q1328891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1328892$91393CB4-EA27-4DDE-9105-31D0D2689641","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c56c33ef3e883cbe56a171d93462893c540cb008","datavalue":{"value":{"entity-type":"item","numeric-id":174692,"id":"Q174692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1328892$19F07F2D-F283-468A-BA5E-E06026395C21","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3d503d12ba3bee791ac3a443dae83034312baad6","datavalue":{"value":{"time":"+1995-02-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1328892$6109B6D2-44A3-44E4-AADB-417362A53FB9","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"bfe41680c750f8845fa7ace6e799433524c23689","datavalue":{"value":"The Knuth-Bendix algorithm finds, for a given finite group presentation, a finite confluent set of relations, if it terminates. From this confluent set one can find a solution of the word problem for the group.   The author introduces a notion of a regular confluent set of relations (where `regular' means `accepted by a finite state automaton') which also gives a solution of the word problem. He represents a class of groups with such sets in terms of the Cayley graph of the groups. For example, it is shown that hyperbolic groups have regular confluent sets of relations. The author gives an algorithm to find a regular confluent set of relations as an improvement of the Knuth-Bendix algorithm. There are some finite presentations for which the Knuth-Bendix algorithm does not stop but the new one does. The author reports that the algorithm is implemented as a computer program and gives some examples to which he applies this program.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1328892$38F1EB7C-D90D-4436-8468-AC833FD35326","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"d7a760754899c4252076421c1bbdd70a575016d7","datavalue":{"value":{"entity-type":"item","numeric-id":593287,"id":"Q593287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1328892$5DE06AE7-BA4F-4BD3-846F-30C2907B41E6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5608e4dbe85e8f6c220cc8afcea2a4ada066e3fa","datavalue":{"value":"20F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1328892$AA6A8A2A-639C-4310-98F8-8421D5C07A9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f96720fe29e309c34c82deec20bd95823bb71652","datavalue":{"value":"20-04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1328892$E58FC97A-4AE5-43FD-AE2A-A12DCD3B6DCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8acfec936c9f92116ab04a417b25b0b6b0e8ab90","datavalue":{"value":"20F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1328892$8E3571D3-7CF4-4211-8CCE-A5A82BA2B4BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1328892$FB1A3BB6-786C-4BE4-B9D7-99275515E18B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d2db3f2409ad48eb2a73eb03b8418e7a27752533","datavalue":{"value":"597463","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1328892$A66D21F4-5099-474D-B7E5-E313FD800913","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6ec8895060b044902da59a4927f561af7a624cbc","datavalue":{"value":"finite group presentation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1328892$C9BE8F08-0AEF-4FF1-86C7-85238622FECD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"340fb1d7473e48959f9bdcae22a9fa207427768f","datavalue":{"value":"confluent set of relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1328892$84F6E0C6-E299-4E7F-BCA2-2BE1D8C3AD56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"541e14ca1a9bb27a1cfe827610ca5ddb594a16de","datavalue":{"value":"word problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1328892$4EF6A2BE-B68F-4E6A-90A0-03696D0A9950","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51b9972022326b7d8ca7a54d59f60fb69bb0359d","datavalue":{"value":"regular confluent set of relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1328892$C7BD1870-0429-4198-A430-3C8F78E7B9CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"36cdcccdfcc6b313ffd420e82d594cc27db4468d","datavalue":{"value":"finite state automaton","type":"string"},"datatype":"string"},"type":"statement","id":"Q1328892$43866188-1542-4164-8D58-8AA5F05C1792","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9f046045effe4d96bd7d28b79a6e3ca55890681","datavalue":{"value":"Cayley graph","type":"string"},"datatype":"string"},"type":"statement","id":"Q1328892$A152DD5A-0546-47DC-A188-BF88FD64AD4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83f79fa35f5a4060d91a1365e56e94942de0e4b3","datavalue":{"value":"hyperbolic groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1328892$665EB2EB-F3C0-428E-969E-30394BAA7CEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48ddf43eca498c7e7087cd696beb82ea63925320","datavalue":{"value":"algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q1328892$2730E3FF-BA83-4911-BE9B-90A6F605D01D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ab1893e1116844067419d466ded01050a1d2510","datavalue":{"value":"Knuth-Bendix algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q1328892$71F58CAC-5967-4AD4-94B0-376AA6FB17A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14c2b42618fc6a7afe0018e2b117b4ee04cc9ce6","datavalue":{"value":"finite presentations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1328892$5CD6E3B6-D420-4B14-97A3-B83F56A6326E","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1328892$279BA1FF-79AE-416F-8E20-8F99BE26F59A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f48dc906df8e4030651a96c897c58a63c28d715f","datavalue":{"value":"https://doi.org/10.2977/prims/1195167732","type":"string"},"datatype":"url"},"type":"statement","id":"Q1328892$A2E21C49-5949-4DB2-A026-2F1B5150780A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b125c211b7261a83c771eb7ed743d9a33b40f1bb","datavalue":{"value":"W2010988415","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1328892$487EDFA0-2C58-482C-99D5-165D87EDEFE3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e37d3cd89bf56058a2b19db5dd9a0a78bfe825f","datavalue":{"value":{"entity-type":"item","numeric-id":2561843,"id":"Q2561843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1328892$7937929E-33AD-42B6-A4C2-61F862DE87D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abaacf4744c0df9ad65d8baa039fa1fd921166a3","datavalue":{"value":{"entity-type":"item","numeric-id":4012141,"id":"Q4012141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1328892$7A4CCA34-415A-4023-82AF-A86328E7B924","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a57797e7c99953e400e1cfe8efbae934a0ec15a3","datavalue":{"value":{"entity-type":"item","numeric-id":1256061,"id":"Q1256061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1328892$3839B450-F874-4CB0-A138-38C6C78DCCEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"320a4959b3b19951cebc6a79a1a4b49c7a726972","datavalue":{"value":{"entity-type":"item","numeric-id":3772406,"id":"Q3772406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1328892$38D59942-3ECB-48FD-959F-CB8AFB31DC4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2043397a54eaa38033021fac24881dafefacec7d","datavalue":{"value":{"entity-type":"item","numeric-id":5592246,"id":"Q5592246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1328892$20354970-CC62-434F-B3F5-EC21D68BEEB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8107b480decc678c92b78dee11f4a9915c90692b","datavalue":{"value":{"entity-type":"item","numeric-id":5541339,"id":"Q5541339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1328892$B51E9A26-1800-48EC-94BB-9F798CF875E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4dd77da7f1f30736bc8e7cafd5db9e2ecd535e3e","datavalue":{"value":{"entity-type":"item","numeric-id":4011197,"id":"Q4011197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1328892$6EDD4B47-A6E4-40CC-9B80-594753CC23D1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"75ecc7df9eb0747f5d890e8beecb54426f584b26","datavalue":{"value":"10.2977/PRIMS/1195167732","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1328892$D912B4E7-21C0-4195-A6CD-044BA6FC793F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7373c257e132065a1221fa1648c26c97faa0994e","datavalue":{"value":{"entity-type":"item","numeric-id":4786262,"id":"Q4786262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7de2fe9b874cf08380424c3111cc5f17987daa3d","datavalue":{"value":{"amount":"+0.8807045221328735","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1328892$D63F22BE-16C4-4C60-B6EF-CB568783733E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5f2db7c04589a8c454bbf6d77cd6d7ba89b334b","datavalue":{"value":{"entity-type":"item","numeric-id":1315326,"id":"Q1315326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"263deb6a635471ae401faed29a99b8f4a0aadaf0","datavalue":{"value":{"amount":"+0.8807043433189392","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1328892$F82DA134-31DF-4FCA-812C-160997A0A90C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c6729d66343e4bbbf7ccd0f8dfdfb9d841969f8","datavalue":{"value":{"entity-type":"item","numeric-id":1610670,"id":"Q1610670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9507034d32522bff02602286bf1b83e53878b7ee","datavalue":{"value":{"amount":"+0.7967910766601562","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1328892$D9528DDE-D65F-49F1-9AFD-BCB4E9856A6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"346c86f2c3c17a380c75e72327b6e368059ab64d","datavalue":{"value":{"entity-type":"item","numeric-id":1192222,"id":"Q1192222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8dc444be2bdaa35eb239c3c475b7b2562972e2b","datavalue":{"value":{"amount":"+0.7897809743881226","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1328892$08A781D3-FBCC-4DEB-9A8B-884E18DA2485","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"255c17ac888bb7166b8f9f537a344600a863f3a3","datavalue":{"value":{"entity-type":"item","numeric-id":3695464,"id":"Q3695464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e8eebb42c1b47d8ddf0093ea3a85bcb97150ac7","datavalue":{"value":{"amount":"+0.7897803783416748","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1328892$40123CDE-4433-4C84-8075-EE30026808E8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The word problem for groups with regular relations. Improvement of the Knuth-Bendix algorithm","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_word_problem_for_groups_with_regular_relations._Improvement_of_the_Knuth-Bendix_algorithm"}}}}}