{"entities":{"Q2117662":{"pageid":2128405,"ns":120,"title":"Item:Q2117662","lastrevid":82512995,"modified":"2026-05-06T21:04:40Z","type":"item","id":"Q2117662","labels":{"en":{"language":"en","value":"The commutative closure of shuffle languages over group languages is regular"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7495104"}},"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":"Q2117662$E0B5CC5A-B35B-480B-8A6B-20C2CC290AC8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9ddffd30a9159aa7f73c7e8f553bfb98473c1f79","datavalue":{"value":{"text":"The commutative closure of shuffle languages over group languages is regular","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2117662$9DFDAA67-9E3B-453C-8A7A-A26C1081CD48","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0e7e51250efac94c993f078657da283a2cf3973e","datavalue":{"value":"10.1007/978-3-030-79121-6_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2117662$F735F419-ED27-4828-860B-3F558B5DCB75","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"104dc1dd875f1570aed563ac88ba97d1c9da1090","datavalue":{"value":{"entity-type":"item","numeric-id":278721,"id":"Q278721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117662$67ECEF99-1176-4C97-B531-B76AEE72195B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"39b1515277af1c7c28c7fc6f6f97d2379899717d","datavalue":{"value":{"time":"+2022-03-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2117662$D96EAFB1-0300-41F4-8AB4-2C2C56C77D9B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bcd0f2d69bfb174c0c44b22d0dc0d651808578f5","datavalue":{"value":"https://arxiv.org/abs/2008.05420","type":"string"},"datatype":"url"},"type":"statement","id":"Q2117662$82E091CB-F945-4781-BF84-FFFEC8C7D91E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2117662$A6B3512F-2131-4F69-A67C-721CD6534EE5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b4a8f708d38aaf80c690c4a4214dd600a97fdddf","datavalue":{"value":"7495104","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2117662$2962D7A9-E058-46F3-96F0-102F15E57F99","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c5c21d4d3778114b02e2ba4e4a5b5083d38da0a","datavalue":{"value":"commutative closure","type":"string"},"datatype":"string"},"type":"statement","id":"Q2117662$DE31B8A7-40DA-4A5A-B4B2-0988C3D3EB50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac6ffc245b94ff9cf59f0277574ba07e185835a9","datavalue":{"value":"group language","type":"string"},"datatype":"string"},"type":"statement","id":"Q2117662$C1305BB1-9931-4C3F-9A97-AD5FF4BA3AA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e4929726ae17968262617a064303bde50a9db43","datavalue":{"value":"permutation automaton","type":"string"},"datatype":"string"},"type":"statement","id":"Q2117662$B9AB764F-9DE8-4E16-A177-6AA57418F026","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f86ced4dd70e37b3cb4aef4d47adc9877c21bb6","datavalue":{"value":"shuffle expression","type":"string"},"datatype":"string"},"type":"statement","id":"Q2117662$49D6549A-9EAA-4AFA-A48D-912263A50250","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7d1112fb5de40d368464718ab4150dd1951dd0b8","datavalue":{"value":"shuffle","type":"string"},"datatype":"string"},"type":"statement","id":"Q2117662$D8458291-E3E3-47A2-A989-6F5F10380B1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2977bda8220ccceab9112dd54c73384bf0be45e3","datavalue":{"value":"iterated shuffle","type":"string"},"datatype":"string"},"type":"statement","id":"Q2117662$CA98DDC8-B90C-48B0-B22C-E3F86F3D192E","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":"Q2117662$ED013441-99DF-4C47-9157-3910A5E4988D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4ebe4d6cda11d24a83f6afab9a779ca2f8734543","datavalue":{"value":"W3173355999","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2117662$9C85FCAA-5C3E-4BD7-BCAC-ED4C6625DC8A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a5d0f608e7f0e955120a32669152b078a21d908","datavalue":{"value":{"entity-type":"item","numeric-id":865624,"id":"Q865624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117662$DAEDB91A-1980-4898-BC8A-ACB95B123AA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1e416d22762a3ba3325ef7a5c800238cbf5097f","datavalue":{"value":{"entity-type":"item","numeric-id":1706150,"id":"Q1706150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117662$B5F716FD-CFF8-4500-832E-7415ECBAFADF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cde72294f9f87329d9d2f379a8b4fd31501f7561","datavalue":{"value":{"entity-type":"item","numeric-id":2829972,"id":"Q2829972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117662$B27CBE2D-6A6A-4282-9B38-63F52895B3E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42fda785ba06a1c78c3b1fa3da035e72d736ecb8","datavalue":{"value":{"entity-type":"item","numeric-id":4048566,"id":"Q4048566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117662$89101278-C7B4-47A8-8B0C-8B95401DE1B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"431ee30f6a806bb5ce0852ba869f4861054c5033","datavalue":{"value":{"entity-type":"item","numeric-id":4807824,"id":"Q4807824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117662$B805E301-395F-4A32-A4A9-DEBD29B459C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1de0ab5e816721699773a950915bb18185ddf76f","datavalue":{"value":{"entity-type":"item","numeric-id":5003075,"id":"Q5003075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117662$385C4FFF-9D69-4DD1-86AD-6D2C321364FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7921c47a9db2f5cc5ecdcfa5aeededbff131fd6","datavalue":{"value":{"entity-type":"item","numeric-id":3515458,"id":"Q3515458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117662$C397AE8B-5C6F-43AA-A503-AB87E0545A77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3d5f8f5bf74c2b7eae678a2a7a0f19862fd6a60","datavalue":{"value":{"entity-type":"item","numeric-id":2357104,"id":"Q2357104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117662$06C50F77-96C0-49D4-A263-5AE34E78B94A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7ecb687c3d32d9fb52aa6d2f9a4c3e542d8afec","datavalue":{"value":{"entity-type":"item","numeric-id":5208373,"id":"Q5208373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117662$5094B0C9-C673-441B-960C-31A95BD174CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21903b6014864aa4aeb9312cb0a70a134ad47f05","datavalue":{"value":{"entity-type":"item","numeric-id":4590910,"id":"Q4590910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117662$8A9FD2BE-55DD-4589-9662-DE4FE49D513E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2f1c3c4ea4a388fc55b35b4656b5fa305b149b6","datavalue":{"value":{"entity-type":"item","numeric-id":5525345,"id":"Q5525345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117662$9C632A66-FB68-4433-B5D1-F8E52F6AEA45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18cf1df53bd1a33a2ed3a22525f69d2d43c7efb9","datavalue":{"value":{"entity-type":"item","numeric-id":2523032,"id":"Q2523032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117662$038F9090-DD1C-4DF0-96AE-7BF330AFF33E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbb7648150a544fac7ed76b421308d91b2ee9e98","datavalue":{"value":{"entity-type":"item","numeric-id":1070831,"id":"Q1070831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117662$6DC2915E-A9BE-40C2-A0F0-B4375A7DA82E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67f42c7f76f27837a8bc59059d9aa7c50ce5322f","datavalue":{"value":{"entity-type":"item","numeric-id":3528408,"id":"Q3528408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117662$F2D09BDC-1A4D-4A89-B705-CAEB61CBEC42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f694457caabcc549cbaabf20827331a7f67cc8e5","datavalue":{"value":{"entity-type":"item","numeric-id":391641,"id":"Q391641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117662$D54F377D-5BE0-4EC4-9BC2-21A8B526F90A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cfde183bc73bf7e15b78356763106bd7146f2f53","datavalue":{"value":{"entity-type":"item","numeric-id":2175417,"id":"Q2175417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117662$062BC5AF-5B2C-4FD4-87A8-258542060647","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1540c155d5e927b001bd8d7938424fa490734ccf","datavalue":{"value":{"entity-type":"item","numeric-id":2040410,"id":"Q2040410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117662$8AA2547B-7499-4E0C-9894-9EADDB6BAC8A","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":"Q2117662$01192650-CF8A-4FB4-A2B9-2483174FC059","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"512829dd491319603a0628abf87950d92a7fbeef","datavalue":{"value":{"entity-type":"item","numeric-id":4826930,"id":"Q4826930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117662$A4371103-AAD0-4D7D-9E2F-13C7692AE0B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f256b121b5960183092d61923f4090ee7435150d","datavalue":{"value":{"entity-type":"item","numeric-id":1161057,"id":"Q1161057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117662$775C6692-5D74-45AD-BB57-E6CEC62F940C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5c5f61c7ca00d5272c042ee2a7885acd7803494","datavalue":{"value":{"entity-type":"item","numeric-id":1063422,"id":"Q1063422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117662$51BF1749-4D11-4488-ACE2-17977DF6B100","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16a9656199905c5f771aee495d2a9d74553053cb","datavalue":{"value":{"entity-type":"item","numeric-id":1589415,"id":"Q1589415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117662$D136798C-DA8F-4274-B5DB-DF1B21B1822C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"657452dbab5687b4165773cff8849d89f34ed4bf","datavalue":{"value":{"entity-type":"item","numeric-id":4140399,"id":"Q4140399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117662$66C6A3EA-6CE1-4808-831F-307B096B6D8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba268d413e9be5d4c31be3c1f9255b91c87ac276","datavalue":{"value":{"entity-type":"item","numeric-id":4094357,"id":"Q4094357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117662$5A1FEA7D-B4AF-4691-AF66-C6EB85EA19F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78e7d104c771a67a4f7bd850e99755aa9e6e1cb6","datavalue":{"value":{"entity-type":"item","numeric-id":672729,"id":"Q672729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117662$F4B49F8D-68B7-4DC2-B63A-3F1EDC75988B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d46d53aaa78e4e1f3286eef514e163c5ea4ffb6","datavalue":{"value":{"entity-type":"item","numeric-id":5534924,"id":"Q5534924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117662$D9F07AE0-4375-4736-A56B-31ECF5C21440","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed68160731cf55d219ba94647825683328472c30","datavalue":{"value":{"entity-type":"item","numeric-id":3769981,"id":"Q3769981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117662$B5A5F044-E775-4885-BD68-71F7D9E59C76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe929f01fa86af5ec1780a3fd0d8f9ac3346a63b","datavalue":{"value":{"entity-type":"item","numeric-id":4714446,"id":"Q4714446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117662$77B94DF3-D223-4DEE-BDD1-DD33704E0754","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e5780d9f91742757c6a8b65001170e19031e071","datavalue":{"value":{"entity-type":"item","numeric-id":5547597,"id":"Q5547597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117662$3BBF157E-5BB4-4A5E-9BDD-5296DFE22B04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3e79c1198a5adad0b28f20fcd66d4c98012ceb6","datavalue":{"value":{"entity-type":"item","numeric-id":4162475,"id":"Q4162475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117662$CC7E2D2E-D798-4E86-A62F-846BD19F7CAC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9de884e4adecc1578fa3d03a58c4f71bdbab712c","datavalue":{"value":{"entity-type":"item","numeric-id":2117658,"id":"Q2117658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b07d776a057595cb09babebcb840d6744af22c2","datavalue":{"value":{"amount":"+0.8971182703971863","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":"Q2117662$03F23FD9-0F34-49B8-8028-E0DAE4F51E38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f75c629865dd57218cdd7a2af361698aad30d090","datavalue":{"value":{"entity-type":"item","numeric-id":4217599,"id":"Q4217599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"baab7980adc4ea4406084d7dadcd692014215abb","datavalue":{"value":{"amount":"+0.8842611312866211","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":"Q2117662$150142D8-1029-4103-980D-C563CB2FB604","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f0f91d0bbcc182fa6a1a2897638b12f9beefad2","datavalue":{"value":{"entity-type":"item","numeric-id":6070751,"id":"Q6070751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d2639b64ddaccb938f605fcde35fe4b60b43515","datavalue":{"value":{"amount":"+0.8822506070137024","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":"Q2117662$00911F3E-65A1-44B5-9DA6-45E2CF218AB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b92eee32c05f840dfbb7c7ea0b88efd17e83f09a","datavalue":{"value":{"entity-type":"item","numeric-id":3499370,"id":"Q3499370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0eb7c9eb9126921e2a18dc9c5ef6b7c9bd2d88a6","datavalue":{"value":{"amount":"+0.8365461826324463","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":"Q2117662$FC3536EB-208A-48E7-9D1E-7CFA7C8CA335","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5140f8d77f15dd1a59383b17b5f99b264bf74028","datavalue":{"value":{"entity-type":"item","numeric-id":2163995,"id":"Q2163995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc872b458dcb595851ee2934de11116966ccfea2","datavalue":{"value":{"amount":"+0.8278233408927917","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":"Q2117662$B12B18C0-BA7F-4805-B783-7BA2A534AE17","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The commutative closure of shuffle languages over group languages is regular","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_commutative_closure_of_shuffle_languages_over_group_languages_is_regular"}}}}}