{"entities":{"Q2380420":{"pageid":2391163,"ns":120,"title":"Item:Q2380420","lastrevid":73762743,"modified":"2026-04-14T17:11:03Z","type":"item","id":"Q2380420","labels":{"en":{"language":"en","value":"Words with intervening neighbours in infinite Coxeter groups are reduced."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5686974"}},"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":"Q2380420$BEE37548-5717-4418-9498-FE3AFF440EB7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5dc1e7c983bee169d249502b9f91c6e8694e84c9","datavalue":{"value":{"text":"Words with intervening neighbours in infinite Coxeter groups are reduced.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2380420$F648C9AC-FE36-41A9-AAEA-18A5927ED4BA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5a98ab18c8b129e8cd3ec313b2ee888f7902b075","datavalue":{"value":"1188.20035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2380420$C1A03185-C7DE-4117-A175-D6C98F399F19","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d474d38e49d257b138be54956016bd7957d3afc6","datavalue":{"value":{"entity-type":"item","numeric-id":232263,"id":"Q232263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2380420$CE294A38-315D-44C2-95D0-BAA284437480","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bbad5414046f0cb7e893bc2dc92c21e291dc9dc6","datavalue":{"value":{"entity-type":"item","numeric-id":232264,"id":"Q232264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2380420$6E27F060-0894-4B43-8A95-9D9762B41ACF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ebc7441ecfd9ecfa38d48ddc4b2adb39ac7d7000","datavalue":{"value":{"entity-type":"item","numeric-id":161296,"id":"Q161296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2380420$B86EDAF7-654A-44E3-90B2-7738C1261A6E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"143e8774a45e663375c24b3b343519cf2933b18c","datavalue":{"value":{"time":"+2010-03-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2380420$6450AD11-341B-4BC4-BDBD-9F24B86F5307","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2185b96b1b02a26ea109a21f60bfce66b7d18784","datavalue":{"value":"https://arxiv.org/abs/0811.4380","type":"string"},"datatype":"url"},"type":"statement","id":"Q2380420$BC0EDF95-A903-4A48-A75D-BF6F48CE51EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"28e7190514e09cc212f5ea379c163a7d74267460","datavalue":{"value":"https://eudml.org/doc/233574","type":"string"},"datatype":"url"},"type":"statement","id":"Q2380420$074F89C2-0A55-43BD-A24A-52960044A4F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"2e394f62a173829e656c2535f5c95bc333845b4e","datavalue":{"value":"http://www.emis.de/journals/EJC/Volume_17/Abstracts/v17i1n9.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q2380420$4771C7EF-F2F8-4720-B1C7-01AC486B3308","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"28c2e1ae4512d0f4b23adcae6e13d4dff05e0515","datavalue":{"value":"Summary: Consider a graph with vertex set \\(S\\). A word in the alphabet \\(S\\) has the intervening neighbours property if any two occurrences of the same letter are separated by all its graph neighbours. For a Coxeter graph, words represent group elements. \\textit{D. E. Speyer} recently proved that words with the intervening neighbours property are reduced if the group is infinite and irreducible [Proc. Am. Math. Soc. 137, No. 4, 1295-1302 (2009; Zbl 1187.20053)]. We present a new and shorter proof using the root automaton for recognition of reduced words.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2380420$322084CE-8393-4C6D-B947-8A491938E8FA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dcc6ef289477f68cffe6414814b60192a325ae7","datavalue":{"value":"20F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2380420$D5BF43F4-7FC0-430E-94F0-C7C4A9BC96A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74e7832a915a62c417a3bf8c026eff5989fd94d3","datavalue":{"value":"05C25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2380420$9556EE23-53DC-488D-9AD4-C3695386046D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5608e4dbe85e8f6c220cc8afcea2a4ada066e3fa","datavalue":{"value":"20F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2380420$11F546DE-7C2A-4F8F-948F-763E17AA840A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8acfec936c9f92116ab04a417b25b0b6b0e8ab90","datavalue":{"value":"20F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2380420$648E3268-5168-4E30-B6F4-C51698ACA16C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"986533d5820a0baab76aec6d811384da7a12060a","datavalue":{"value":"5686974","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2380420$443C01E0-A6DD-46F1-B8A6-011A89D85F70","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ce0fa75952975dfdd5efce1d424632e27719e51","datavalue":{"value":"intervening neighbours property","type":"string"},"datatype":"string"},"type":"statement","id":"Q2380420$074A060C-19C0-4616-A786-22591525344A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40489a045bc6b9e8b3b9f54bfa78b6d0d990ce66","datavalue":{"value":"Coxeter graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2380420$532B706A-41FA-4E2A-8F04-8FB95A9A7EBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f31c4fbca46b5a3d060c14c4f578716e23cec450","datavalue":{"value":"root automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2380420$4497ADB5-AE1F-4859-A917-89A2AA623D6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"650b3cd72da3455ac62b37cf3a668658d468e0a3","datavalue":{"value":"reduced words","type":"string"},"datatype":"string"},"type":"statement","id":"Q2380420$FF78EA0E-37D9-432A-82FC-5B9086DA1F5D","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":"Q2380420$84925921-370C-4492-8310-BDC6E1AF2306","rank":"normal"}],"P1633":[{"mainsnak":{"snaktype":"value","property":"P1633","hash":"69140c3e9d4472e342fba89f3eab25bd686bbc7a","datavalue":{"value":"bafkreihmxblvcsx7ljtfmt6jw34ixswf5umsoxc25dfnwqduoh2j6qwr4m","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2380420$1B0C7EAC-88FF-413D-A9B1-FDD30FCF8924","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f4df8022e1f74f24c3b1fc22f23a8a03e4a4834","datavalue":{"value":{"entity-type":"item","numeric-id":3623340,"id":"Q3623340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23c97be47003695866338003073d027fc6c237d4","datavalue":{"value":{"amount":"+0.8094817399978638","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":"Q2380420$FF6B5271-3E94-4AF2-8268-D7A619EDCCF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e5ee4c46cbc279510bb55bc3761d631caa87412","datavalue":{"value":{"entity-type":"item","numeric-id":1924363,"id":"Q1924363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4140f904ff350527bf78ce8650c9b7124333fa4","datavalue":{"value":{"amount":"+0.7565571069717407","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":"Q2380420$D87BD4D8-B5A1-4B52-AA85-EFFA3DB0CBB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a025ebff4709a4fbe9c92fc525a25b709f1a96c7","datavalue":{"value":{"entity-type":"item","numeric-id":1318105,"id":"Q1318105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4140f904ff350527bf78ce8650c9b7124333fa4","datavalue":{"value":{"amount":"+0.7565571069717407","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":"Q2380420$24B79037-A19E-4F67-B625-B2F6F1BAA9A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e43486a3b0ceb1c389941b96d17dbb7102c93df0","datavalue":{"value":{"entity-type":"item","numeric-id":279744,"id":"Q279744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"055c0c917f847d4423d818984b16a328dccf09f4","datavalue":{"value":{"amount":"+0.752712607383728","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":"Q2380420$871197CA-AB05-449A-915C-FDF44B61B92C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d60a716fa864593a5dc2888fe887bf734ab08a38","datavalue":{"value":{"entity-type":"item","numeric-id":3127253,"id":"Q3127253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f1ddb93edb0925bb6825de4687bf3120b96f3cd","datavalue":{"value":{"amount":"+0.7475475072860718","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":"Q2380420$B5898E23-FA21-4AC1-8E5A-B30C60739485","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Words with intervening neighbours in infinite Coxeter groups are reduced.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Words_with_intervening_neighbours_in_infinite_Coxeter_groups_are_reduced."}}}}}