{"entities":{"Q1192222":{"pageid":1202971,"ns":120,"title":"Item:Q1192222","lastrevid":66818142,"modified":"2026-04-12T13:03:42Z","type":"item","id":"Q1192222","labels":{"en":{"language":"en","value":"The use of Knuth-Bendix methods to solve the word problem in automatic groups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 60655"}},"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":"Q1192222$B1E6837E-D7F9-4C4D-88B0-0BB82C090286","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6c061c50b24ef3c31d4de849e2e74bb0e2958239","datavalue":{"value":{"text":"The use of Knuth-Bendix methods to solve the word problem in automatic groups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1192222$63C25428-B435-44E1-880D-68B68105F9F4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3b730100c61ca11bf67a57a11ebd21a5cdd65c00","datavalue":{"value":"0779.20017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1192222$8FB763FB-C014-42DD-87F9-34AE51D88023","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8aa352fa612e48efa9b4e608b767d013d4fabbec","datavalue":{"value":"10.1016/S0747-7171(08)80093-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1192222$7F7B0E54-57EE-459F-A6EA-C909E9894F01","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"592679257d9dcd43e0c8e14e3f91dbba596a0a4c","datavalue":{"value":{"entity-type":"item","numeric-id":1192221,"id":"Q1192221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1192222$56EBE22C-8D48-4805-88FA-EF084BDFB4B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e5658864dbbdbb1de77e7141f1df39ac7c8b440c","datavalue":{"value":{"entity-type":"item","numeric-id":1332386,"id":"Q1332386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1192222$C0C738E5-80A2-4CBE-8ABE-CC8C2B9C1DAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4379837ed1398a617242a1336a8f80b2ef7c97a7","datavalue":{"value":{"entity-type":"item","numeric-id":169336,"id":"Q169336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1192222$3FB705D7-391C-4A49-81D9-7E2833CB358A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ea72303f92787da89554ee5fa15621068821a762","datavalue":{"value":{"entity-type":"item","numeric-id":99061,"id":"Q99061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1192222$3967DCA1-ECF6-48D0-8EAC-35075D9596A9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5fd62271fe98c7ff9916cafed51cf35315eeeb31","datavalue":{"value":{"time":"+1992-09-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1192222$4247C12F-4AA4-4C05-BA09-1C381D396B35","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a335791ae9c3d39aa82b36e6d20e5d7c9201a8ec","datavalue":{"value":"The authors consider the notion of automatic group which is a reinterpretation of results of \\textit{J. W. Cannon} [Geom. Dedicata 16, 123-148 (1984; Zbl 0606.57003)]. The class \\(Au\\) of such groups includes many of the examples that arise naturally in geometry and topology. All groups from \\(Au\\) are finitely presented and have solvable word problem. \\(Au\\) is closed under direct and free products, free products with finite amalgamated subgroups, HNN extensions with finite conjugated subgroups, subgroups and supergroups of finite index, and quotient groups by normal subgroups of finite order. The authors describe the development of practical methods for the solution of the word problem for automatic groups based on the reduction of words to a normal form.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1192222$4B3D8E86-7D81-4070-902C-A96B99C33857","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8acfec936c9f92116ab04a417b25b0b6b0e8ab90","datavalue":{"value":"20F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1192222$09C94828-2F04-4DC4-8D08-E77562552CB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1192222$2E4399B1-2657-4E81-90B6-2D4D65C477C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fcae15942a1ef1170b65682251799a9bfed1dcd3","datavalue":{"value":"20E06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1192222$40A3FDDB-3D67-4CF6-BA79-609F81FC4054","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5608e4dbe85e8f6c220cc8afcea2a4ada066e3fa","datavalue":{"value":"20F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1192222$5314D227-7E91-447F-AA8E-81B31509D924","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"639e35a4d8066ba3b320b7c5998ad4d73a0cf431","datavalue":{"value":"20F65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1192222$9B4999F4-F869-4F47-92A1-880A68704617","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"82e1934934e552187a4b2a77a9bb74c162d23123","datavalue":{"value":"60655","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1192222$2129CC6D-6751-4ECC-BE06-A33F6F9891D8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6b0b097a12ba26ef76ef6a334dbd479bd1aa78ec","datavalue":{"value":"finitely presented","type":"string"},"datatype":"string"},"type":"statement","id":"Q1192222$EAB5F1DD-0F4A-4A5B-B397-F55E5C42F757","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b840fe10dbae5b613a37e83efae2e494460293f7","datavalue":{"value":"solvable word problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1192222$818593E5-48D6-44B2-B9EB-1D2D2BBB2065","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e18c623eba5d62005ca69b5291a3d005a51283c","datavalue":{"value":"free products","type":"string"},"datatype":"string"},"type":"statement","id":"Q1192222$05E1310C-4B86-4311-9FCF-12BBEB439416","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c7985017842312a2eb106d3be964b30c4e69fcc","datavalue":{"value":"HNN extensions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1192222$FF72B276-9C67-4289-BAB5-EAB39375855E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d227622b114a413a6dfa603588e4cba8547f643","datavalue":{"value":"automatic groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1192222$ABC25BEC-35C9-4F6B-91AF-D9FCCFB0707C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2f5f9fa7c99fed84610c34025a6959701496fde6","datavalue":{"value":"normal form","type":"string"},"datatype":"string"},"type":"statement","id":"Q1192222$57016792-D889-48AB-8941-364ED4215831","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":"Q1192222$39361D55-BE58-4BA1-990C-8EBED2F03440","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"340ea97c0f2f383d364057042ebc9f9438fcc85a","datavalue":{"value":{"entity-type":"item","numeric-id":4091421,"id":"Q4091421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1192222$2F6AB466-E4B9-4EF5-A25B-5FC187A78056","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49582f8ec584180cc897530585e03802107fc8bd","datavalue":{"value":{"entity-type":"item","numeric-id":1098283,"id":"Q1098283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1192222$B3533D71-EB02-44DC-89AF-FFE096E2C028","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea518e73e9c383cc408a72b36c15c15e10ea40f9","datavalue":{"value":{"entity-type":"item","numeric-id":1084704,"id":"Q1084704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1192222$8C10E7C3-D123-4F52-9AE1-781F2A1B3F96","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":"Q1192222$21B15551-DA47-4F4A-9896-60EF3624E762","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e33292fa7e88cd32ee95c27178cc603f9570633","datavalue":{"value":{"entity-type":"item","numeric-id":3223037,"id":"Q3223037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1192222$1CF4BD4C-CFDC-4B63-98BD-FC89CFA99270","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":"Q1192222$BC766207-B729-4B6D-9BCE-0855CBFF73A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1758902a66e2332f9d1d0268ecf38eeeb4d377f","datavalue":{"value":{"entity-type":"item","numeric-id":3862379,"id":"Q3862379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1192222$430B9801-EB99-4214-B075-34AF35FB7004","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a869ecca70c142eac8e798b184b42e77c7c4752","datavalue":{"value":{"entity-type":"item","numeric-id":1097968,"id":"Q1097968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1192222$D9E36834-9EDC-477A-BB30-1DCD8C8F3390","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31f60a5ce350401a247c3c7359668fd4f13c5370","datavalue":{"value":{"entity-type":"item","numeric-id":1328892,"id":"Q1328892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4583dc8ecf968c65b5bbd9b7ecafd6fe04a4efbc","datavalue":{"value":{"amount":"+0.8994237","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1192222$033C5776-A3F9-405B-A763-4E021AA44B28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d3fe2b5ecf8ac19fe77cbbd2756aa930f031985","datavalue":{"value":{"entity-type":"item","numeric-id":5189169,"id":"Q5189169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1913f67ad39394d2db8e63e49cc7f630c1a73e6","datavalue":{"value":{"amount":"+0.88251257","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1192222$56ED610E-71B9-421A-8ABC-753DECE3F17D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72ab73ce6c74b4df4915c2d7af475a1ab6a31945","datavalue":{"value":{"entity-type":"item","numeric-id":596085,"id":"Q596085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b96f9dc192e63fa7930ca3cd0f4b45ef473bc259","datavalue":{"value":{"amount":"+0.87066853","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1192222$5C2CA695-1FDF-4BD8-91C5-C87F444F3A2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99751f64593ee6dd9405318568107ae0fbfccb32","datavalue":{"value":{"entity-type":"item","numeric-id":580494,"id":"Q580494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06594a17cb36e13e747794414f2abdab3a4080bc","datavalue":{"value":{"amount":"+0.8682726","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1192222$0EC894A6-4F84-4272-B7F0-DADDBAFEF72F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6822fadb9225b402e9b6cd90d8d10b59370c932","datavalue":{"value":{"entity-type":"item","numeric-id":2363312,"id":"Q2363312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f9dcaa3bd93a21fa74adb389511c8a0f668d4e4","datavalue":{"value":{"amount":"+0.86593974","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1192222$8F8D9AED-F391-48F0-8268-25AD601399DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb28ab5ff14400b5fe718a56cbb14288b82195a2","datavalue":{"value":{"entity-type":"item","numeric-id":1604340,"id":"Q1604340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f27f369fbe923f64f30de67e2786672d73f42cf9","datavalue":{"value":{"amount":"+0.8638993","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1192222$FF3BB942-9487-484A-B17A-2BE95AAFA286","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af224e7ed51d0ab40293e7a202536c658c3762de","datavalue":{"value":{"entity-type":"item","numeric-id":6175091,"id":"Q6175091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63f1f4cd3b34a2f7922c7c0e125cf0eccb3bd73c","datavalue":{"value":{"amount":"+0.8586229","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1192222$067F33D7-A9D9-4D7E-ACF4-C3CB1232CD6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c010f575f593e3f887a93bdfee5ed73c3bea075","datavalue":{"value":{"entity-type":"item","numeric-id":3889259,"id":"Q3889259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e107912a280fa72987748ec8a0f7f7c00290756","datavalue":{"value":{"amount":"+0.8554592","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1192222$CA9866A0-1E51-4E08-B2EA-BDF12938EFFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b93724fe19288474106bfd5f9531aac648bb1a0","datavalue":{"value":{"entity-type":"item","numeric-id":6067344,"id":"Q6067344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"678e21fa050ab3c06f56b0a0b26a19e2c5e951e5","datavalue":{"value":{"amount":"+0.85540986","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1192222$7FDC0361-D6AE-40DE-9D87-475BE4D90A0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"620cc7456c65650a9ae78b123aae069e4e0392bd","datavalue":{"value":{"entity-type":"item","numeric-id":1623276,"id":"Q1623276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c88b2cc3754a1aa2c061968dee4e7f19ec075c2","datavalue":{"value":{"amount":"+0.8545852","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1192222$45B1914D-B3DC-4668-AF4E-7B12E88CC036","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The use of Knuth-Bendix methods to solve the word problem in automatic groups","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_use_of_Knuth-Bendix_methods_to_solve_the_word_problem_in_automatic_groups"}}}}}