{"entities":{"Q1201878":{"pageid":1212627,"ns":120,"title":"Item:Q1201878","lastrevid":69874497,"modified":"2026-04-13T10:55:39Z","type":"item","id":"Q1201878","labels":{"en":{"language":"en","value":"Closure of varieties of languages under products with counter"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 98619"}},"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":"Q1201878$83955A37-9BC0-4019-A2DD-A55195CE04F1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"960952c610d1849666dd7c9d6e3c370f2df898fb","datavalue":{"value":{"text":"Closure of varieties of languages under products with counter","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1201878$F35C2010-1970-4ED3-B388-5027F0FEE97B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3d33e017bb762e1c62c7aa7b900df65fb3cb6d7c","datavalue":{"value":"0766.20023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1201878$1C673B29-BC50-4C6A-A1BB-5CC82CB7B9B7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a690699986fefaecf44521149e834cd38d1dc3a0","datavalue":{"value":"10.1016/0022-0000(92)90029-I","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1201878$B82A1998-A8ED-4509-92D4-E3570BEB59F7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3340243f57e05f2265c56423c388055a14b114fa","datavalue":{"value":{"entity-type":"item","numeric-id":107189,"id":"Q107189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1201878$43AEE62C-28D7-48DE-A79E-08CC17F10D83","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b0879f591850b4f9f14b2c481d3e08995aa22089","datavalue":{"value":{"time":"+1993-01-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1201878$4630BEE2-EF5D-471D-B735-B7FE06853596","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8fd3a11d32993a759eb35bce70d365ccf0391579","datavalue":{"value":"Let \\(L_ 0,\\dots,L_ k\\) be languages over some alphabet \\(A\\), let \\(a_ 1,\\dots,a_ k\\) be letters of \\(A\\), let \\(r,t\\in\\mathbb{N}\\) and let \\(n\\in\\mathbb{N}- \\{0\\}\\). The product with counter \\(r,n,t\\) of these languages is then the language denoted \\((L_ 0a_ 1L_ 1\\dots a_ kL_ k)_{r,n,t}\\) that consists in the words \\(w\\) such that the number of factorizations of the form \\(w=u_ 0a_ 1u_ 1\\dots a_ ku_ k\\) with \\(u_ i\\in L_ i\\) is congruent to \\(r\\) mod \\(n\\) threshold \\(t\\). This paper is essentially devoted to the characterization and the study of the fine structure of the language varieties in the sense of Eilenberg that are closed under product with counter. Some decidability results for these kinds of varieties are also given at the end of the paper.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1201878$77E9152F-7572-4765-9A00-0E0E49CF7CD0","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"7dcbef3067fda72f30f415bf6a0c7276c9f5060b","datavalue":{"value":{"entity-type":"item","numeric-id":216237,"id":"Q216237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1201878$F90AB290-EF31-490B-A5F8-A6E6E4B2FC0B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1f2d51749736d7a35abf742f9ac7394f1aeed58c","datavalue":{"value":"20M35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1201878$EB08E146-6786-4EB1-A397-CCEB2F8037DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5fb4697c93e6483e0ffbb93428a373e0646b68d","datavalue":{"value":"20M07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1201878$9EE41D06-7D2F-43C3-AEB3-FAA8AEA6B178","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1201878$925B2510-EC30-4262-BDF0-61B77274EB92","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ecf5b5bd71864ac0c72ca07ef1a594dc73d2f986","datavalue":{"value":"98619","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1201878$A059BFB4-2DB5-4845-8FF2-C421E784C23B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01588185e6a0ea452aabe243e9d0ed340c301288","datavalue":{"value":"rational language","type":"string"},"datatype":"string"},"type":"statement","id":"Q1201878$D3C08485-2885-42F5-B4EE-5E4F9B18B306","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d68fa27aefe0078b598b7b8ced19487ec5949b5a","datavalue":{"value":"semidirect product","type":"string"},"datatype":"string"},"type":"statement","id":"Q1201878$41133333-C91F-4DF6-B16B-91E5B17DCED0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d45b880f503338528596fbbf40d453fadcfc7acd","datavalue":{"value":"relational morphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q1201878$0133957D-8372-428E-8B99-049E3F5EF73F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb19c705008848127e7b6a3d3c4157fe203f14a5","datavalue":{"value":"Sch\u00fctzenberger product","type":"string"},"datatype":"string"},"type":"statement","id":"Q1201878$368DDF52-6597-46F9-BC71-3589F521710D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c8a3771d592253533a2e546c05e00722cd3a680","datavalue":{"value":"languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q1201878$CC9FAE92-0DE3-4B0B-A410-5C50BFCD1679","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"21fa59a20fa58727b4c8cd9fcaead189d58bfea9","datavalue":{"value":"product with counter","type":"string"},"datatype":"string"},"type":"statement","id":"Q1201878$16D2171C-B9FA-4CBB-844D-6BE17C827DB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2b99d5dcd36ca4f6ddee80af79486b0b82119f69","datavalue":{"value":"words","type":"string"},"datatype":"string"},"type":"statement","id":"Q1201878$D12E06DE-2CF3-499B-887B-BC6D025D83B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2f2ddd32b3bec1951c35fba935e63fa909c1e38a","datavalue":{"value":"number of factorizations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1201878$B9E49C7A-5827-4BE4-A343-8F7FF47054A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"716f5c655110e0b7ea99769882ec9d765791c9f5","datavalue":{"value":"language varieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q1201878$6422CC23-2941-4269-BE2D-157722844172","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1201878$380513C7-2956-4109-AB89-4F3D451E1CD7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2226755ce7b891c6e6ed64b8807df159e949df0e","datavalue":{"value":{"entity-type":"item","numeric-id":711614,"id":"Q711614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1201878$85AAF1EA-F4BE-4C68-A62A-A39FF615F03D","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":"Q1201878$D8772A5A-ECBB-46C9-B09D-3E68675CA284","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"85332f45c574807884e55f6488cd3b450f276a8f","datavalue":{"value":{"entity-type":"item","numeric-id":1117696,"id":"Q1117696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1201878$927894A3-5B92-4741-AB76-E3F1F501201F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3632afaf7c9124694de853efafd5cd84e2a50881","datavalue":{"value":{"entity-type":"item","numeric-id":3859267,"id":"Q3859267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1201878$0F12CDF2-3209-4DC6-981C-1491AE5EB88F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"daa28b36f1d47ef725ba4acb380f1839600a6b45","datavalue":{"value":{"entity-type":"item","numeric-id":4132170,"id":"Q4132170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1201878$C6748FCC-3235-47DD-AD99-64A7E4EAA973","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f33357b8e8cbd675e437436935e32954fe1263e","datavalue":{"value":{"entity-type":"item","numeric-id":1254109,"id":"Q1254109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1201878$668A8DE6-8E04-4347-A70E-99721B470FF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"beed2530af5e3942de56f5f6e93b79b42aa0adc5","datavalue":{"value":{"entity-type":"item","numeric-id":5186755,"id":"Q5186755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1201878$76A1F63D-5940-451E-88FC-89E9EF57CA09","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":"Q1201878$F79AFDFB-9075-4DC3-87A5-6DC82AC0C5A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ebc17648a594f3f7aaf36f93a161395f908b86de","datavalue":{"value":{"entity-type":"item","numeric-id":3697247,"id":"Q3697247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1201878$143B05C5-E923-4B15-BF90-A041635F5D31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"340413b6795624d0ca92e2d1e31124d66fcb6838","datavalue":{"value":{"entity-type":"item","numeric-id":1139135,"id":"Q1139135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1201878$EB2F9523-AD1E-4DC5-A0AF-64A8549D0106","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c9844351f58878ba449a8fd8cf45bb4cc809d46","datavalue":{"value":{"entity-type":"item","numeric-id":599182,"id":"Q599182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1201878$9C9F39F1-CD11-42A6-A063-03638D58D2D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d30c038c48bc81b8cae35cb9ffa29dd01bf8f223","datavalue":{"value":{"entity-type":"item","numeric-id":1257988,"id":"Q1257988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1201878$FB04EBB4-A691-472E-A40B-FF357297AFBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"406bf4098a1ddb2d0ade5ddcf4b35c26106e18fb","datavalue":{"value":{"entity-type":"item","numeric-id":1150445,"id":"Q1150445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1201878$89711C94-E610-4C58-9A94-E3C5C19436A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6773018e1cca5e4988fc251c7f1fd2c05d413768","datavalue":{"value":{"entity-type":"item","numeric-id":1109125,"id":"Q1109125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1201878$DC98ADD6-9381-4636-A882-F4ECEB05B11D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3626f68b3e5ec0492e6a80f03a49c491f73d2757","datavalue":{"value":{"entity-type":"item","numeric-id":3806849,"id":"Q3806849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1201878$B477A527-110C-4D19-A85E-F1E3DFBF328D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81ddf6cebb41dcd6f276c486ae807a1c96140cd1","datavalue":{"value":{"entity-type":"item","numeric-id":1157412,"id":"Q1157412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1201878$33ED0250-770D-412F-B70F-46CE01C25A55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d60981713f1c0e09fc11c17a7c9f8fad8e38ce2","datavalue":{"value":{"entity-type":"item","numeric-id":3689383,"id":"Q3689383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1201878$47432485-00A0-4DC9-BFE4-8704A333A8B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5766d737569432dfa7827df7444a30914b8fab5f","datavalue":{"value":{"entity-type":"item","numeric-id":3974017,"id":"Q3974017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1201878$D165D722-0623-4A33-BBE0-A86E1AA12E06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d9dc2f92d9afe3fd816f25da0f54e803f51cff4","datavalue":{"value":{"entity-type":"item","numeric-id":917324,"id":"Q917324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1201878$C0550D64-DC13-4209-B38D-48F508591847","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"edc9a7fa0c7a663b749ac4e08a4dc33a2c5213a8","datavalue":{"value":"https://doi.org/10.1016/0022-0000(92)90029-i","type":"string"},"datatype":"url"},"type":"statement","id":"Q1201878$84CC926E-4983-4780-8B5A-18FD9AD3E55A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5e402c8cd0ace933793c4dff214272674c80ae95","datavalue":{"value":"W2037411979","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1201878$36574CE4-4ACE-429B-BA94-4E2FBAF3D53C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3aa09bb53951f7848052617fa946567c0331b9c","datavalue":{"value":{"entity-type":"item","numeric-id":3975173,"id":"Q3975173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ad80579f6e4e23312ea2081d6a440b04ec45264","datavalue":{"value":{"amount":"+0.916521430015564","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":"Q1201878$EFE638B4-154B-4EE4-B761-DF5C844695E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5d071cdc802706f519d2d3e0a2e949e2f8b28b5","datavalue":{"value":{"entity-type":"item","numeric-id":3525766,"id":"Q3525766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6e6aaeadc52c19a8378ebf60dc8579a0b4da5b5","datavalue":{"value":{"amount":"+0.915110170841217","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":"Q1201878$776CA66A-9960-4E20-BCCD-CEE84A7ABFF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d22ecad870daa8be73740ea610d34df28b134d91","datavalue":{"value":{"entity-type":"item","numeric-id":917324,"id":"Q917324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"343444f0278da66aa03248a9a5eb26eb1430172f","datavalue":{"value":{"amount":"+0.853395938873291","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":"Q1201878$6FA2BB6E-7153-4FC9-B247-7FBCD7C122A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc1fc175acedba7e3b527a9f5433e8a1e5ff12c6","datavalue":{"value":{"entity-type":"item","numeric-id":1361889,"id":"Q1361889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2152c0336f76e51b381f5de2a433666ea5e584bb","datavalue":{"value":{"amount":"+0.7464591264724731","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":"Q1201878$56D35C70-4725-4FEC-83C2-4204B68C35F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6601b0cb329a4310254539b338c19cf004affbb","datavalue":{"value":{"entity-type":"item","numeric-id":1079669,"id":"Q1079669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"275d1f08fd4d01be4fc7e450a199b3a8e1e6670f","datavalue":{"value":{"amount":"+0.743933916091919","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":"Q1201878$EF068440-3DFA-4A87-B295-CE4094C7E61F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Closure of varieties of languages under products with counter","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Closure_of_varieties_of_languages_under_products_with_counter"}}}}}