{"entities":{"Q799823":{"pageid":801671,"ns":120,"title":"Item:Q799823","lastrevid":64465056,"modified":"2026-04-11T20:03:46Z","type":"item","id":"Q799823","labels":{"en":{"language":"en","value":"A characterization of dense languages"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3873617"}},"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":"Q799823$02ED75B3-8B57-45B8-9105-5EEE803C0BF9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"39f74ff599d25e79cd9349a7939fc0aab57928ab","datavalue":{"value":{"text":"A characterization of dense languages","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q799823$C9C2D2B5-56FD-4D57-A0AA-88A9DBEC3056","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7a9aa04255a9b35fee603d7c1003de3b3cc94e27","datavalue":{"value":"0548.20050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q799823$8C3CB955-146A-4D8C-9415-0863A18BFC4D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a80d371b456969a95a6d6ed666899c194f47526e","datavalue":{"value":"10.1007/BF02573454","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q799823$4C33F904-A90B-40C0-B948-388448BFBFB3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d66c55b2090f999e6ce11f8c5edbc12ea7326d37","datavalue":{"value":{"entity-type":"item","numeric-id":799822,"id":"Q799822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q799823$7A1B354E-3E70-4DE4-B128-9E9B8E40B785","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":"Q799823$28D6647F-455D-470C-94A8-937BC18CF0B0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-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":"Q799823$446BAB92-AC89-4FC4-AD5C-0C83C0015F86","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dd0df06e1590b6d055f6bc96060280dc9929f6fd","datavalue":{"value":"https://eudml.org/doc/134720","type":"string"},"datatype":"url"},"type":"statement","id":"Q799823$80D8A83F-F689-486E-A9BF-C641BC0E847B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"db99c5ad5d7bb2dd03cc62dbff4d077048fcc763","datavalue":{"value":"Let X be a finite alphabet with more than one letter. Let S be a language over X, i.e. a subset of the free monoid generated by X. Recall that a language is called disjunctive if its principal congruence \\((=syntactic\\) congruence) is the equality relation on \\(X^*\\). If S is a disjoint union of infinitely many disjunction languages, it is said to be disjunctive- splittable. On the other hand S is called dense if for every \\(x\\in X\\), \\(S\\cap X^*xX^*\\neq\\emptyset \\). The purpose of the note is to prove that S is dense iff it is disjunctive-splittable.","type":"string"},"datatype":"string"},"type":"statement","id":"Q799823$28D67661-605F-4402-B8FE-A65A4C41A9BD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1f2d51749736d7a35abf742f9ac7394f1aeed58c","datavalue":{"value":"20M35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q799823$DCDE7413-2D30-401F-AA9D-151A59E8A392","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"213d71c8d40451f5e00fc9935287c6991accd79f","datavalue":{"value":"3873617","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q799823$3E63342C-6C51-48D5-B92A-BB8778B784A3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a73e2a07dc7c76a1d2c6a9efcd9e7f0989c95cdd","datavalue":{"value":"finite alphabet","type":"string"},"datatype":"string"},"type":"statement","id":"Q799823$A8F4999D-3755-4D10-89FA-CADE25E2F86B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e36e88e1e416ed903cfa4f239bd2272493f8f6b1","datavalue":{"value":"principal congruence","type":"string"},"datatype":"string"},"type":"statement","id":"Q799823$CC911F37-59F3-4774-88D2-811F572D76EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d65953b716ac45a02fd3c7df3999ad035b109ede","datavalue":{"value":"syntactic congruence","type":"string"},"datatype":"string"},"type":"statement","id":"Q799823$6AB0320D-D0D9-4C8E-8369-A47C58D77215","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0bf8e9a8fc37e14df8b5a185ee39845d1ce36ce","datavalue":{"value":"disjunction languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q799823$DE9646DF-8740-45F1-B1F4-71501658F40E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"32ee3119edad03a9e37d4090b3e24e12af7bfde7","datavalue":{"value":"disjunctive-splittable","type":"string"},"datatype":"string"},"type":"statement","id":"Q799823$A2F0F605-E425-4CCD-A2BF-4B43FBE46A34","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"ad7c027c59c6648ca487e716a098970fe6716339","datavalue":{"value":{"entity-type":"item","numeric-id":766194,"id":"Q766194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q799823$20E9082D-5C00-46D8-B661-E374B515EDFA","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":"Q799823$0F48D65F-E750-4E51-8EA5-FC1A879CC8BF","rank":"normal"}],"P223":[{"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":"Q799823$1D262153-0CB2-4C84-9A6C-A5D9959578C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ece35e2806bd63d6acaffec03c29fa862de6fe9b","datavalue":{"value":{"entity-type":"item","numeric-id":4125812,"id":"Q4125812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q799823$C6011D5F-FEFB-4A78-87BA-5A36EA955A66","rank":"normal"}],"P1643":[{"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":"515e1b41ef82ac3f2fd336ec34803e8e9a225129","datavalue":{"value":{"amount":"+0.9172003865242004","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":"Q799823$E0CDC7DF-6CA0-4306-8BB8-0001E937948B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5df6675ccb0bfb5c981c4afc30fd4538e691b8f9","datavalue":{"value":{"entity-type":"item","numeric-id":1105047,"id":"Q1105047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c094f0afdbc0071d03266534eec478f329700240","datavalue":{"value":{"amount":"+0.8846966028213501","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":"Q799823$59D5C53C-9CBD-40F5-A7DE-59B51FA58577","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bbf435e37009c627358c57d3a34ddcd5910deb9e","datavalue":{"value":{"entity-type":"item","numeric-id":4284227,"id":"Q4284227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc3288ac6fe8d5ac656e5803d9ff9adb6af71195","datavalue":{"value":{"amount":"+0.8820339441299438","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":"Q799823$DA06BB2D-6D49-4E29-AB7F-41520E13A7AE","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":"d77a426b97a69f0ecb1aa3089556e9f5e81ff03b","datavalue":{"value":{"amount":"+0.8762404918670654","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":"Q799823$BF98D67A-DF9C-4784-9D04-F252B9E0BEEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1242096cf66ba36e06db9d225f01663825df2992","datavalue":{"value":{"entity-type":"item","numeric-id":3741811,"id":"Q3741811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"375e169b098164be6eb55acd9f7f1f2dae144dc1","datavalue":{"value":{"amount":"+0.8733766078948975","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":"Q799823$AA6F94A7-A532-4B6F-999D-B742B40A3EA7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A characterization of dense languages","badges":[]}}}}}