{"entities":{"Q1295541":{"pageid":1306291,"ns":120,"title":"Item:Q1295541","lastrevid":46837791,"modified":"2025-12-25T16:58:34Z","type":"item","id":"Q1295541","labels":{"en":{"language":"en","value":"The word problem for Artin groups of FC type"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1308190"}},"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":"Q1295541$4B73DEAC-552D-4086-BC2B-78830002FE74","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ec5c81564b6afd031e80ecf4100a9a7d7a4f919a","datavalue":{"value":{"text":"The word problem for Artin groups of FC type","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1295541$CBB9B86D-DE93-4CA5-80C3-40AADC88625E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c3277dba9068d8cf69b21e353f7004bd327c483e","datavalue":{"value":"0937.20015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295541$D0FE153D-7994-4CDB-9059-CFFE9DE078EF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"745b91a2edf5abc5462902e0e1007a07420668ab","datavalue":{"value":"10.1016/S0022-4049(97)00047-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295541$8512652B-BA2D-4C7F-9F3B-8A0B702ABFE1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"780ef841baaab6145b594b63d743b6b21185c424","datavalue":{"value":{"entity-type":"item","numeric-id":1295540,"id":"Q1295540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295541$A8D87186-8C99-4B49-B539-D3ACB852C21B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"34a2791b3d9645796ba9cdff19dd05bcf40f0161","datavalue":{"value":{"entity-type":"item","numeric-id":168348,"id":"Q168348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295541$A66F3E62-1BEF-4168-AF67-5D4EBDA89696","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b22f0234058b897ad308815846be004cdc7f94b2","datavalue":{"value":{"time":"+2000-03-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1295541$19A8F5D0-855A-4735-9C50-18D84379567B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b4f587b6aafbb08b79cf6d45e161014a3f5c5762","datavalue":{"value":"Artin groups are generalizations of the braid groups. Each Artin group has a canonical homomorphism onto a Coxeter group (analogous to the homomorphism from the \\(n\\)-string braid group onto the symmetric group \\(S_n\\)). An Artin group is said to be of finite type if the corresponding Coxeter group is finite, and of infinite type otherwise.   Quite a lot is known about Artin groups of finite type, in particular, they are biautomatic [\\textit{R. Charney}, Math. Ann. 292, No. 4, 671-684 (1992; Zbl 0736.57001)], which implies that they have word problem which is solvable in quadratic time. Similar results are known for certain classes of infinite-type Artin groups (e.g., those of extra-large type and right-angled Artin groups; see the paper for definitions and references).   The present author considers Artin groups of FC-type, i.e., those which may be decomposed as iterated free products of finite-type Artin groups, amalgamating subgroups generated by subsets of the canonical generators, a class introduced by \\textit{R. Charney} and \\textit{M. W. Davis} [J. Am. Math. Soc. 8, No. 3, 597-627 (1995; Zbl 0833.51006)]. He shows that such groups are asynchronously automatic, which implies they have solvable word problem. Further, by constructing a particular set of coset representatives, he shows that such groups in fact have word problem solvable in quadratic time.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295541$2C3C3A8E-3053-4E00-8B10-FAA9FB80B8ED","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"dd63a294e6572609e555f008f990edc4325ef5e0","datavalue":{"value":{"entity-type":"item","numeric-id":579411,"id":"Q579411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295541$E0F2291A-E5AF-4787-88AB-6C49BFEC0B6A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"00c103224d34af523e7fce2ff3e40dd19709f84f","datavalue":{"value":"20F36","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295541$206F9A3C-2C78-4242-8CD8-51BC5E72B5B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8acfec936c9f92116ab04a417b25b0b6b0e8ab90","datavalue":{"value":"20F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295541$4ECDD9E4-42AA-4F5B-8D24-8966394EE3C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dcc6ef289477f68cffe6414814b60192a325ae7","datavalue":{"value":"20F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295541$DFEE3259-AF28-41E5-97B0-D654F689C6B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"639e35a4d8066ba3b320b7c5998ad4d73a0cf431","datavalue":{"value":"20F65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295541$38B137D1-10E5-49C9-B0E6-631906B1663B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"44eb67f92221d2d56ff7e9358dac1bb200a61e9d","datavalue":{"value":"1308190","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295541$11795CA8-5C5D-419A-83E3-59C5A6BDADE1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"982891987ba7d4ee1ea08ab6ed55d0625f50f363","datavalue":{"value":"Artin groups of finite type","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295541$134F7626-680A-4341-B723-092DAC350013","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ba259c5c06af63100955fccf8bc8b370e89eaee","datavalue":{"value":"word problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295541$587A0C02-776A-49F0-B4F2-F003D9098071","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42884d684a0db176107a7461dc06f6654a79f4f1","datavalue":{"value":"braid groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295541$CA43F1FF-F2BB-4E67-A7B2-F8B05BE9B25A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e62acb7ec5dff713e66442c78a057d60fa28d6dc","datavalue":{"value":"asynchronously automatic groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295541$AD4EBF19-E1E1-4F01-A6D5-9579616760EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93c45ff3ada10d950fdac7031868f6888298c563","datavalue":{"value":"free products with amalgamation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295541$193918DA-7127-435E-9F66-CB5D5DE6F7ED","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":"Q1295541$10C6AE22-B0CD-401A-A3F4-7A65BAAD124F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8428f9b1d017c23be63e820c9b20c9335447de1d","datavalue":{"value":{"entity-type":"item","numeric-id":1183379,"id":"Q1183379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295541$E481A0D0-5D7A-4537-B8D8-44EFAB0723F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c0234f97d088f5858cc23635a5431a615e6c402","datavalue":{"value":{"entity-type":"item","numeric-id":4693148,"id":"Q4693148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295541$BEBB451F-423C-42A5-B3A7-7525C432F4DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6341bb95432b55828e5bc2fe6c1b0cc36738c150","datavalue":{"value":{"entity-type":"item","numeric-id":811543,"id":"Q811543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295541$510C351B-E012-4BD0-A6D6-E882E1BCA255","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d358ed276cd554e802bc9c773a2e4f961f98cd6","datavalue":{"value":{"entity-type":"item","numeric-id":1345925,"id":"Q1345925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295541$2011B966-6BC7-4A5E-8145-0D137DB5C0EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8cc687bab6b3840f401edc4a5bf9fdfc9866c4c1","datavalue":{"value":{"entity-type":"item","numeric-id":4846127,"id":"Q4846127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295541$CAAEE98F-D875-43D4-82B3-72BA16942FBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e117a6a3ef60dfc542ddc634d0ef6e41bf35c0e","datavalue":{"value":{"entity-type":"item","numeric-id":1383945,"id":"Q1383945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295541$53E5DE19-072C-44F2-8AE0-41754D51F754","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00aa7722d8f4e370f66687ba41fc237cdcd87056","datavalue":{"value":{"entity-type":"item","numeric-id":2552945,"id":"Q2552945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295541$2A68E515-741E-4C42-BC86-5F502C58A350","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bda3489b46b03cce2e2d044b296bd7198c95bbca","datavalue":{"value":{"entity-type":"item","numeric-id":4003861,"id":"Q4003861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295541$80332953-B243-405C-91C3-0E16E425254E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"508f54be2c5b75efb9d7c6ca2484ac0fb2a9266e","datavalue":{"value":{"entity-type":"item","numeric-id":5589369,"id":"Q5589369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295541$FF4D3B08-B2D1-4EB3-B7FF-C6F3A25291E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e715f8f7621bd1262012e793f4765481450680c2","datavalue":{"value":{"entity-type":"item","numeric-id":1345915,"id":"Q1345915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295541$E87460BF-29A8-41D4-A2EC-0204C4BD4F44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85dc03ad9bc9b1478b0ca8a9d6eee2bae5f334a4","datavalue":{"value":{"entity-type":"item","numeric-id":3348424,"id":"Q3348424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295541$F2F31A10-5DBB-44D1-BF2B-07D4645E450D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d2cbec68e196f086d9d65acc2e1b486a395c605","datavalue":{"value":{"entity-type":"item","numeric-id":1916417,"id":"Q1916417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295541$A713D482-F0DB-441A-A939-ECA63F329A04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d646c7ebcec41e467750ecb827006ff7744eae5f","datavalue":{"value":{"entity-type":"item","numeric-id":3341041,"id":"Q3341041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295541$86AFB5E2-A45B-413E-96B8-95CE662C6F91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe524704357470830e25ec5308e614eb43650b89","datavalue":{"value":{"entity-type":"item","numeric-id":1331906,"id":"Q1331906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295541$7C75DA1F-7420-45C8-B9AE-49D36611752D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7ffbb0b33a9ef11123783948add2e5f0d49fac49","datavalue":{"value":"https://doi.org/10.1016/s0022-4049(97)00047-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q1295541$611F6AE3-D952-43AA-B558-770A4E814769","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d5bfe2b2e5fba3bb11921d02e70518da2451191a","datavalue":{"value":"W2074410048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295541$0DF2FBF8-80CA-4D1F-A6D9-6600F3AA38B0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ebe81429ff893f1ecdc6522ea083d497a9ca93e2","datavalue":{"value":{"entity-type":"item","numeric-id":3142084,"id":"Q3142084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f75e73780296cbd653b5546aaa72cbefae9b3d90","datavalue":{"value":{"amount":"+0.8596646785736084","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":"Q1295541$74C68315-ECE2-4413-877C-3B84BB8E87E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"117eda0e7a205d55ea315c72a9b0b50d08c4c7da","datavalue":{"value":{"entity-type":"item","numeric-id":789512,"id":"Q789512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f5659483765c95eff688081bb08a97943c22a3c","datavalue":{"value":{"amount":"+0.8182154893875122","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":"Q1295541$C6EBA267-060A-4CAB-851B-EE573A85CA6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14c097a9c91dadfc1a8f3b845faa178a28565561","datavalue":{"value":{"entity-type":"item","numeric-id":811543,"id":"Q811543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d451e3511f108421704b56d346e38a00841c9b19","datavalue":{"value":{"amount":"+0.8040851950645447","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":"Q1295541$FF1423BC-4C58-4D98-B59A-4DE3678DDD95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"933d569a90beedc5390673fa7ad039420a917fde","datavalue":{"value":{"entity-type":"item","numeric-id":2376531,"id":"Q2376531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"472a340aa2692c23fde3db19787c72129c79fd46","datavalue":{"value":{"amount":"+0.797027587890625","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":"Q1295541$BBBFD140-9880-4E80-864E-2FEBD8A5C84E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1295541","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1295541"}}}}}