{"entities":{"Q1105047":{"pageid":1115796,"ns":120,"title":"Item:Q1105047","lastrevid":66995685,"modified":"2026-04-12T14:13:12Z","type":"item","id":"Q1105047","labels":{"en":{"language":"en","value":"Disjunctive splittability of languages"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4057814"}},"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":"Q1105047$056BBE72-823B-4E6E-8E74-395A6C2EA8CA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"89c328522a24ff9983b2cf531ee878dd4e620915","datavalue":{"value":{"text":"Disjunctive splittability of languages","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1105047$4C6DD481-549F-439C-9190-DABA5D1CE037","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"390859ed2534da9a63295ce408aec167bf02eda1","datavalue":{"value":"0648.20063","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1105047$AC5982AA-2D3F-4E8C-A34E-7325815F127E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"90ec13970f90654a34c6b65b78383ddc44d518ca","datavalue":{"value":"10.1007/BF02573133","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1105047$F8867E52-04E1-4EBB-9B16-FD96C2848CDE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"93829cf1e7393880b0d1558fc8a66776700c1a27","datavalue":{"value":{"entity-type":"item","numeric-id":590535,"id":"Q590535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1105047$D0387E88-334A-429B-AEA5-3424924E1B09","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"28dbf90a09492d81530507fd711b9336815e58a3","datavalue":{"value":{"entity-type":"item","numeric-id":172569,"id":"Q172569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1105047$CB535D0F-6DF4-4C03-B936-3E1EB3445B9B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1105047$4A00B040-C19E-4C66-B104-B88196FD3CFE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1f93db854e574e71d8852b201fbc74d65ed2ea3e","datavalue":{"value":"https://eudml.org/doc/134924","type":"string"},"datatype":"url"},"type":"statement","id":"Q1105047$52F3A01A-4A57-4529-A1EF-73EEE174268A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"639cdd99edf2f4dba6864076d52dd838b4f0608a","datavalue":{"value":"Let X be a finite alphabet with more than one element. A language A is any subset of the free monoid \\(X^*\\) on X. The language A is said to be dense if \\(A\\cap X^*uX^*\\neq \\emptyset\\) for any \\(u\\in X^*\\). A is discrete if \\(| A\\cap X^ n| \\leq 1\\) for any \\(n\\geq 1\\). A is locally finite of rank r if \\(| A\\cap uv^+w| \\leq r\\) for any \\(u,v,w\\in X^*\\), where \\(B^+\\) denotes the subsemigroup generated by B. A is a prefix code if u,ux\\(\\in A\\) implies \\(x=1\\). For a language A, \\(P_ A=A\\setminus AX^+\\). Consider a class T of languages containing at least one dense language and closed under taking dense subsets (e.g., the class P of all prefix codes). A language is said to be DT-splittable if it is a disjoint union of dense discrete languages in T which are locally finite of rank 1. In case \\(A\\setminus F\\) is DT-splittable for some finite language F, A is said to be semi-DT-splittable.    Starting from an extension of a result of \\textit{H. J. Shyr} [Inf. Control 46, 257-269 (1980; Zbl 0453.68046)], the author investigates these notions extensively. Among other results, the following are proved in the paper. 1) A language is DT-splittable if and only if it is a union of dense languages in T. 2) A language A is DP-splittable if and only if there exist \\(B,C\\subseteq P_ A\\) such that \\(A\\cap BX^*\\) and \\(A\\cap CX^*\\) contain dense prefix codes. 3) For any dense languages A, B and C, ABC is semi-DP-splittable. 4) If A is a dense language with \\(1\\not\\in A\\), then \\(A^ n\\) is DP-splittable for some \\(n\\geq 1\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1105047$7228050A-B2DD-45EE-89CF-83D4BC6D5826","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1f2d51749736d7a35abf742f9ac7394f1aeed58c","datavalue":{"value":"20M35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1105047$FD1F3BB0-09ED-42F1-9E97-2C19B55F5257","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"03468f1d5abafefed311cc9ccae9ddd73ff4dbd8","datavalue":{"value":"20M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1105047$D2C337D7-7233-46CE-8E57-AA5016A9B4FD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"76e31dd767b95054f7ba7b8559528dbd1ec90b96","datavalue":{"value":"4057814","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1105047$BAA2AFBA-1459-4295-93DA-EAA3C8BE742F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a73e2a07dc7c76a1d2c6a9efcd9e7f0989c95cdd","datavalue":{"value":"finite alphabet","type":"string"},"datatype":"string"},"type":"statement","id":"Q1105047$D34CEFB0-A305-435F-9BA0-417CD16BC48A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a89840e6da5d8a209547a4f40b7b851aa5ea16a8","datavalue":{"value":"free monoid","type":"string"},"datatype":"string"},"type":"statement","id":"Q1105047$9D0A76AF-C90C-477B-AF94-8EFE551478E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f4a1954ba139e304999d54bd3f1d8d2c75f064e6","datavalue":{"value":"dense language","type":"string"},"datatype":"string"},"type":"statement","id":"Q1105047$B7551323-3631-4326-AB36-7BDAC2C6712A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4645c6d326dc5e122b74e03f4c788140cafff7a","datavalue":{"value":"prefix codes","type":"string"},"datatype":"string"},"type":"statement","id":"Q1105047$69390BDA-2482-4089-B851-20EDCEB4859F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7fc8306e04625a2bd8d3078d400a56b7a26119a5","datavalue":{"value":"discrete languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q1105047$FAE9E602-4CE6-4F69-9B08-F4E2465D1B7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"744a19397e433eb371b3904f2fa071921714fcb4","datavalue":{"value":"finite language","type":"string"},"datatype":"string"},"type":"statement","id":"Q1105047$AFD2B153-FD01-4C71-A002-B34998599930","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fbae361499f06ba852d33e76e66fb0671d499ae9","datavalue":{"value":"semi-DP-splittable","type":"string"},"datatype":"string"},"type":"statement","id":"Q1105047$699AD0AE-CD55-485B-A205-9A1782C391AB","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"99980a1fe8b67be8570894d1f605195f6f2e1e0e","datavalue":{"value":{"entity-type":"item","numeric-id":375866,"id":"Q375866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1105047$BA8947CE-820A-4D00-A359-E8F937E837F6","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":"Q1105047$421ABAD7-1B2E-451C-BF8A-3128F4DE7639","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"96b5dad35f9a3b57e3455c7284d515ba59c7c429","datavalue":{"value":{"entity-type":"item","numeric-id":3787510,"id":"Q3787510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1105047$AF1CB610-1458-4B84-AB63-B8ABF63AB5F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55ca34fe94cbf494863af77ec148aceea3d9965b","datavalue":{"value":{"entity-type":"item","numeric-id":775458,"id":"Q775458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1105047$3630A0E8-7525-4D88-88C0-689428A851DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"677f1c9ee64f99167747d99a7952d91f8409487e","datavalue":{"value":{"entity-type":"item","numeric-id":4153613,"id":"Q4153613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1105047$BA0E5B3E-5B4D-4FB2-A3C2-807D1AADF248","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ff789f624148ef5276e6207c0ed8518e06786af","datavalue":{"value":{"entity-type":"item","numeric-id":3886879,"id":"Q3886879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1105047$49778A5F-5037-45B0-B84C-7C52D5F8EC11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a989d5b893328eb4ee90b6b35e09f2cbbef6561b","datavalue":{"value":{"entity-type":"item","numeric-id":4001349,"id":"Q4001349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1105047$BA61CB56-86E8-4255-B440-2573E11BC720","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98eed1c28004f5c4ed27636eaafc7010e35aae37","datavalue":{"value":{"entity-type":"item","numeric-id":3901013,"id":"Q3901013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1105047$A54FCCC6-ABC7-4B42-9D6A-D9246C3732C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2670ee0ffa4ee328c1e49b7bb6e8c3c496fedb01","datavalue":{"value":{"entity-type":"item","numeric-id":799823,"id":"Q799823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1105047$558532EB-9BC0-4F35-813F-18A974153440","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"66907f9f73316e9ad23d69c7f682e39191928208","datavalue":{"value":"W2071609840","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1105047$82F068DE-3423-4699-B586-5B5DAE6DC770","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24cbc3a7c4f9d2fe403000885ee98e78029c4fd6","datavalue":{"value":{"entity-type":"item","numeric-id":799823,"id":"Q799823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed204a0f11fc44f8732bf5bd424ae7098404fef4","datavalue":{"value":{"amount":"+0.7921942","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1105047$8982486B-E1FB-4A6A-8B17-A8E5901BF439","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e180b91952d7a8816f73a3956f119b4612c55ba6","datavalue":{"value":{"entity-type":"item","numeric-id":4819886,"id":"Q4819886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f86da0daf6123cd968a99066de2b49bc7da9d903","datavalue":{"value":{"amount":"+0.7270349","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1105047$1207020D-6338-4A2B-BBFD-6124E941F002","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5dbfc450666cd9db390070617bd248f404276979","datavalue":{"value":{"entity-type":"item","numeric-id":2509153,"id":"Q2509153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"112d138ad32e79534c6c746c6ed01a242d449a44","datavalue":{"value":{"amount":"+0.7072577","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1105047$841488D0-BDBF-4CE4-8E3D-54E4DCF3A852","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46d5707f584ff6363c4bb1b4f3a9c19bcffb866f","datavalue":{"value":{"entity-type":"item","numeric-id":3746903,"id":"Q3746903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1c21cc46eaf999407e5de42e531791194e5b159","datavalue":{"value":{"amount":"+0.7036516","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1105047$D92C6459-ED5F-4FCD-98E3-BBA0CFA6912A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c00139499765745c241fb5f7aabe4607c504f49","datavalue":{"value":{"entity-type":"item","numeric-id":1822508,"id":"Q1822508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d838ff35206f78780626fb4c862e39eed918033","datavalue":{"value":{"amount":"+0.69750404","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1105047$7FF6F21D-5B44-418E-813D-0225B84FEF11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85f5591e7a3252dfbf9ee15a867e13caaf6f34d0","datavalue":{"value":{"entity-type":"item","numeric-id":1029050,"id":"Q1029050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa9cf63112e0460c4604bef6e06175abfb90ff05","datavalue":{"value":{"amount":"+0.69655377","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1105047$23A85A7D-8F2A-474E-9121-8174EC4AAA9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de1796bbd55009058bf6e99043539943451e07a7","datavalue":{"value":{"entity-type":"item","numeric-id":3431302,"id":"Q3431302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47b14ecc0b7eeda10751b103576f6fbc6c37781b","datavalue":{"value":{"amount":"+0.6904363","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1105047$F62809D5-4255-41EF-A559-329223E3B9A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b2b0876a1ccb5327770023f0fa1d5ad198e6842","datavalue":{"value":{"entity-type":"item","numeric-id":1381858,"id":"Q1381858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"284da57be059f5f8873c4698ee11f89bc1d6761c","datavalue":{"value":{"amount":"+0.6893086","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1105047$858FFA10-3A2E-41A9-9255-B5F603234569","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17fb5f0e27707000cfc8a9322caa4944ae8d7f49","datavalue":{"value":{"entity-type":"item","numeric-id":3361897,"id":"Q3361897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2bd1556fd5ed8318c3fd47e2f9f688986948457b","datavalue":{"value":{"amount":"+0.6890131","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1105047$8EF31ABA-2C5B-4F05-AEC6-4403C7AA0C66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60f360d6bfc8facfad9843f0a0ae458e2a845f73","datavalue":{"value":{"entity-type":"item","numeric-id":1583093,"id":"Q1583093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c57bfedd5ba95ee3b42e04c934d3640550bc86e4","datavalue":{"value":{"amount":"+0.68880063","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1105047$2E79D1A8-2A0C-407F-B66F-3D6D667E11F5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Disjunctive splittability of languages","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Disjunctive_splittability_of_languages"}}}}}