{"entities":{"Q909802":{"pageid":911650,"ns":120,"title":"Item:Q909802","lastrevid":65329386,"modified":"2026-04-12T01:50:39Z","type":"item","id":"Q909802","labels":{"en":{"language":"en","value":"Quasi-completely right disjunctive languages"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4138055"}},"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":"Q909802$7AF3C03E-28B6-4311-86EC-B7FC8682A7CE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c49a3da9c4aa7e1006eae808c324abb723a2ce7f","datavalue":{"value":{"text":"Quasi-completely right disjunctive languages","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q909802$F30B1CFA-166A-4147-8A5F-11C0883CB7CE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2fbd0c227d03c1866f856425930f5ad663befd68","datavalue":{"value":"0695.20039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q909802$8793D150-A4E2-4D5D-9E19-F9288CEFADB2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"58f50f1d67fab89a41606e249c3b7d76cfb3faae","datavalue":{"value":"10.1007/BF02573376","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q909802$6F3D78D2-E233-4398-94B3-8BBAAE262E1C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c5832f8876614de1887b6fff71a1066143db327e","datavalue":{"value":{"entity-type":"item","numeric-id":786129,"id":"Q786129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q909802$D6F2E3D3-869E-4881-AF9C-F62B5BD99F2C","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":"Q909802$BCD680B9-E708-4C09-B0A1-703295085164","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-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":"Q909802$7693CCE6-36FD-43BE-A192-3FE236DC4D5F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ceff455eb89228bc7e207bb647013e1066a92bf7","datavalue":{"value":"https://eudml.org/doc/135034","type":"string"},"datatype":"url"},"type":"statement","id":"Q909802$E1B56A4D-62F0-4B68-AAE0-C6909B521485","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"15b2aa7d69367f0ad930aa4e4489f130aad1c7de","datavalue":{"value":"Let X be an alphabet and let L be a language over X. L is said to be (right) dense if L has a non-empty intersection with every principal (right) ideal of the free monoid \\(X^*\\) generated by X. It is (right) disjunctive if the principal (right) congruence defined by L is the equality relation. It is completely (right) disjunctive if it is infinite and every infinite subset of it is (right) disjunctive. It is quasi- completely (right) disjunctive if it is (right) dense and every (right) dense subset of it is (right) disjunctive.    The original motivation for studies presented in this paper derives from the following result due to \\textit{H. J. Shyr} and \\textit{C. M. Reis} [Inf. Control 37, 334-344 (1978; Zbl 0376.68044)] and \\textit{H. J. Shyr} [Semigroup Forum 33, 23-30 (1986; Zbl 0581.20066)]: A language is (right) dense if and only if it contains a (right) disjunctive sublanguage. - The ultimate goal is to find necessary and sufficient conditions for a (right) dense language to be (right) disjunctive.    In this paper it is shown that a right dense language L is quasicompletely right disjunctive if and only if none of the languages \\(x^{-1}L\\cap y^{-1}L\\) is right dense with \\(x,y\\in X^+\\) distinct words such that \\(\\{\\) x,y\\(\\}\\) is a prefix code. This property is used to prove that a language is right dense if and only if it contains a quasi- completely right disjunctive sublanguage. These results are applied to several interesting special situations.","type":"string"},"datatype":"string"},"type":"statement","id":"Q909802$C41F6AB8-5C25-4270-A16D-8D2A60606106","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1f2d51749736d7a35abf742f9ac7394f1aeed58c","datavalue":{"value":"20M35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q909802$9C0DC220-AB70-4A7B-BC6B-36AB2882BD97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"03468f1d5abafefed311cc9ccae9ddd73ff4dbd8","datavalue":{"value":"20M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q909802$B51A3774-7D7D-41E3-95FD-9739D3954AF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q909802$AAEF08FE-399E-4645-B282-79803DF9DD79","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cfb13b88b7dbca3fcb1fa6a4d0e2c9d9bf84ac4a","datavalue":{"value":"4138055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q909802$8C8384DA-1203-40EB-AF57-30315210736F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b06f809e2a2d49d26b8d7de0f8648aa58d470d7","datavalue":{"value":"alphabet","type":"string"},"datatype":"string"},"type":"statement","id":"Q909802$C58C2E8E-2D23-410A-9EE1-813CA774CD46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"46386232ce22237553a09399db388958f7e4ec1b","datavalue":{"value":"language","type":"string"},"datatype":"string"},"type":"statement","id":"Q909802$F7BA6293-A278-445F-8792-45BAB10575EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a89840e6da5d8a209547a4f40b7b851aa5ea16a8","datavalue":{"value":"free monoid","type":"string"},"datatype":"string"},"type":"statement","id":"Q909802$B1863E5B-9474-42EC-9862-CFC4139B1D20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d337f80cff98759ae2f6cd0440c393d62b5734c1","datavalue":{"value":"right dense language","type":"string"},"datatype":"string"},"type":"statement","id":"Q909802$6C256E4C-79F6-4B53-8E92-2ECE0F0E7E8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6099dcf6fd90e2ba7db293da7f63406cb206e2de","datavalue":{"value":"prefix code","type":"string"},"datatype":"string"},"type":"statement","id":"Q909802$C4A5A269-D54B-4BD8-953A-D27D3BBA36C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1100e3e3793b7974de63b1456372fd6560809d7","datavalue":{"value":"quasi-completely right disjunctive sublanguage","type":"string"},"datatype":"string"},"type":"statement","id":"Q909802$843A5C33-B966-404A-9C7E-C2956BDB3D61","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":"Q909802$7840F1E9-CB46-47FC-A28E-85D4CF308F9E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c131f9bcdcdaa6ed391e2850482a9eff527e457b","datavalue":{"value":{"entity-type":"item","numeric-id":4745283,"id":"Q4745283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q909802$BA5D2EA1-C6FD-4D98-82DB-AE566346D375","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":"Q909802$0051588E-9F29-4BA0-8548-CF77E7D1322B","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":"Q909802$A86A9206-2EF3-48B0-AAF1-E0F60DF8894B","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":"Q909802$A22EB36F-21FC-45FD-8300-7FA2CD5E7EAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5568433a0fa0299ff44bb50a8666ea1297241bce","datavalue":{"value":{"entity-type":"item","numeric-id":1068212,"id":"Q1068212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q909802$D5A143A9-9903-462A-9A15-695F5BB0EBC6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a129075a122cb62a10c5dea9fb1851c49671e2ad","datavalue":{"value":"W1979170579","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q909802$27CDAB66-EB82-476B-8F6B-8356D731C3B7","rank":"normal"}],"P1643":[{"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":"3c86aa8cbccc284e95d6f06cbdce1f32555085e8","datavalue":{"value":{"amount":"+0.8293397","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":"Q909802$382EAD74-B6DB-498C-8716-681F0296B1F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9992e24307d24b39c5c15329f26381907cb4cc0","datavalue":{"value":{"entity-type":"item","numeric-id":1068212,"id":"Q1068212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2be352c132f11ce14b781e3e88143f5ebd869b42","datavalue":{"value":{"amount":"+0.82140106","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":"Q909802$B4EA697B-A006-4D8C-BD15-57BC806743AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c14c976c7c63c09b5fb4feda47038e0806ba470f","datavalue":{"value":{"entity-type":"item","numeric-id":1322582,"id":"Q1322582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ebdd31fbf98805a7f6fb366e77e1730748053b8a","datavalue":{"value":{"amount":"+0.7729131","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":"Q909802$9ADAEC5D-479A-4387-86C7-70F6E6AEBBA8","rank":"normal"},{"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":"5141d29eacd8020b321510295470d77191f2b3e3","datavalue":{"value":{"amount":"+0.77076936","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":"Q909802$9CCFF958-012D-460E-9B04-AD7FAE075CEB","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":"f5997d9ffc936bfeb68b7e11166856b5316c0869","datavalue":{"value":{"amount":"+0.75965154","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":"Q909802$D54552EE-A064-44FB-846B-082BA66FDF1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be796dba4e6bcb957a223db92bbfc1c8d7792687","datavalue":{"value":{"entity-type":"item","numeric-id":4715072,"id":"Q4715072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4c7101f51cf5cb30f797a4048cbaa31ec709768","datavalue":{"value":{"amount":"+0.7485733","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":"Q909802$BE353C25-9269-4532-B374-14E28A52003C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bfdeeab835b0de52212f67ac71759be0952e6e27","datavalue":{"value":{"entity-type":"item","numeric-id":3817635,"id":"Q3817635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a6fb202a04ad34c16df2fe6a231c27f14c49c17","datavalue":{"value":{"amount":"+0.7466223","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":"Q909802$1C13542E-64CB-432B-8763-22C872FC907C","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":"f6914576eb2aa2171adaeda3cff6a4eef5416910","datavalue":{"value":{"amount":"+0.7417622","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":"Q909802$73270984-0B4F-4900-BF56-14C2621FB498","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4254353f444f4d91b45c96d35f01d81ad4b07e3b","datavalue":{"value":{"entity-type":"item","numeric-id":3327733,"id":"Q3327733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e34cec99dba3889afefbb4e99516afaa4e0059bd","datavalue":{"value":{"amount":"+0.74154854","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":"Q909802$31828FF5-8AD9-4C4C-B5AC-84A489882319","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":"bdba17fadd5bebb357e90a9fa586c79fe0580747","datavalue":{"value":{"amount":"+0.73629165","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":"Q909802$BEA1DA56-DE74-4F7D-B672-C88F4C57E262","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Quasi-completely right disjunctive languages","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Quasi-completely_right_disjunctive_languages"}}}}}