{"entities":{"Q1095672":{"pageid":1106424,"ns":120,"title":"Item:Q1095672","lastrevid":69827004,"modified":"2026-04-13T10:36:49Z","type":"item","id":"Q1095672","labels":{"en":{"language":"en","value":"Brzozowski hierarchy of \\(\\omega\\)-languages"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4028935"}},"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":"Q1095672$707EF89A-1F27-4FAA-8C98-17780FCDEBA0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"77bc2ccc53155937b9ae8b1ba473adb07b4be5c2","datavalue":{"value":{"text":"Brzozowski hierarchy of \\(\\omega\\)-languages","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1095672$597EF602-F42C-4E63-A177-920947B65531","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0810cc9fec4b6bf053f3ca47a5b26f47094fc094","datavalue":{"value":"0632.68079","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1095672$7A8C9EBA-DC98-46B9-A232-57232D2333B7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9859b1915a774dff11828e50e25dcc159e9fbbd9","datavalue":{"value":"10.1016/0304-3975(87)90097-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1095672$A4560104-EACF-421A-A1E1-F8C23878FA75","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eae9e9e2bcb0b4d1a7490122f456e3c72f7ac9b4","datavalue":{"value":{"entity-type":"item","numeric-id":800092,"id":"Q800092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095672$45D089D8-46D3-486B-8D63-B2F009094E13","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095672$4D4CB77D-241B-4987-8321-3EA8743055FC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-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":"Q1095672$42BE8174-7CAF-4F02-9F02-FEA9D98973FD","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e162e2d28425e560dac282d290a17631fafe5a77","datavalue":{"value":"The study of \\(\\omega\\)-languages originated from the decision problem of monadic second-order arithmetic. In this paper the descriptive power of monadic first-order formulae is investigated. It turns out that the ``arithmetic'' hierarchy \\(\\Sigma_ k\\) of \\(\\omega\\)-languages definable in monadic first-order arithmetic forms an infinite hierarchy in and covering the whole class of star-free regular \\(\\omega\\)-languages of \\textit{W. Thomas} [Inf. Control 42, 148-156 (1979; Zbl 0411.03031)]. This hierarchy is shown to be closely related to and compatible with premultiplication by sets from the Brzozowski hierarchy of star-free languages.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1095672$C72A3C4E-D18A-4993-ACF1-C1B43FAC8E25","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"02bc07e7fdf69b7795d4694a59f3d739066e6204","datavalue":{"value":{"entity-type":"item","numeric-id":259038,"id":"Q259038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095672$772DCEDE-60C1-4385-80F9-E7A670FC1F5A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1095672$23640129-6B78-4ECD-9A16-FFA4C87B55CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1095672$BDAC5E91-F817-47E6-9F59-F5ED7E6E128F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9dc0cb179a563faf682925649475d59b2ebfa4bf","datavalue":{"value":"4028935","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1095672$6C9CE628-A8B6-4D4F-A341-5E41D4642BB9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83e06848dcb0d49c05e9b9fe2108fda80e8ab4ec","datavalue":{"value":"descriptive power of monadic first-order formulae","type":"string"},"datatype":"string"},"type":"statement","id":"Q1095672$CC7A18E7-C3C1-474B-A36D-139179E5A06A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bd355789a75eec9f98da0699646924a70ace12d1","datavalue":{"value":"monadic first-order arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1095672$718552EF-30A3-4A1F-B652-1DC868CC3FB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"241c241ff8a3d640b24ff0c5de32f04113440c6d","datavalue":{"value":"star-free regular \\(\\omega \\)-languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q1095672$6C3E0384-935B-44EA-9F44-057B67B72450","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8483b4800dc9377816777a4185d8257867250a3a","datavalue":{"value":"Brzozowski hierarchy of star-free languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q1095672$BA05E4AA-7DC8-40A8-BED0-659B0DEE45C9","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":"Q1095672$88D0591F-9A1A-4482-A482-2490FADB34B3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dc200af4371fcefe3e0e90186bdad6d488bdda4e","datavalue":{"value":"https://doi.org/10.1016/0304-3975(87)90097-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q1095672$EEF80EAE-4563-4650-BB17-898266F742A1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2a05eaebde916afc7c251a48dde7997bd55aef00","datavalue":{"value":"W1978969080","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1095672$43B0F074-A472-48A1-B16D-2A85EC1E55FF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2299871f8da3ff873a8d3556c58e2f6c60e4e2b9","datavalue":{"value":{"entity-type":"item","numeric-id":1242697,"id":"Q1242697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095672$D1D5AA70-D2E8-4760-961B-87EADDE732AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06c411f40bd3fed70a734570dda325013084ac01","datavalue":{"value":{"entity-type":"item","numeric-id":5525343,"id":"Q5525343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095672$3D928F67-9996-4137-B2BA-8DB3D3B928B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2716451e75e131a2b07c55da6f5e535035caf72","datavalue":{"value":{"entity-type":"item","numeric-id":2546343,"id":"Q2546343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095672$E653C9D0-3210-4D08-9FA9-60709BAF04DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c95887997d61befa174dc6f5c2a08804d32a7d64","datavalue":{"value":{"entity-type":"item","numeric-id":5639639,"id":"Q5639639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095672$7A93C9A8-0255-49D9-9A37-AABEED54097F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38f57872b55df963de6c9939d692ed2ca987da0a","datavalue":{"value":{"entity-type":"item","numeric-id":1088982,"id":"Q1088982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095672$5FFDECBF-4573-4DFC-A1EC-7DA727570B37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"342e773b9e30385be9547647e572658e43d226c4","datavalue":{"value":{"entity-type":"item","numeric-id":4198738,"id":"Q4198738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095672$F49971AC-B6E3-4322-B55C-E35F8DE27537","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aee6d83667516f08e057d913a2b054f4d07e596f","datavalue":{"value":{"entity-type":"item","numeric-id":1173413,"id":"Q1173413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095672$77C2DB55-B825-4DBE-B652-35FBBC3CB58A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a786fa64ce0c226301cdd6a758a6a6ddaac2f51","datavalue":{"value":{"entity-type":"item","numeric-id":1822511,"id":"Q1822511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095672$9642905E-0E1C-4349-A546-D7096EFEB728","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1a24b75fa6c5928ce8df6944f94b49b2c174aca","datavalue":{"value":{"entity-type":"item","numeric-id":1822511,"id":"Q1822511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f01ecbaf49a927a425a5a0b37340f14f5f2383ce","datavalue":{"value":{"amount":"+0.8027797937393188","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":"Q1095672$DE489729-0366-4EE4-A450-9D1F95BD4D60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84095c2a84c6cf9104b361251605793f11f12526","datavalue":{"value":{"entity-type":"item","numeric-id":5096737,"id":"Q5096737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26b652f50ec96c3cf5803ad1522d4c3d5571818f","datavalue":{"value":{"amount":"+0.7940291166305542","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":"Q1095672$949A85A8-43E5-42D9-A4D2-3992280ECAC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27fb2f63f7b5d855a5f97af530f35f6431eb6185","datavalue":{"value":{"entity-type":"item","numeric-id":3693520,"id":"Q3693520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"935a7189220539cee140c46b6d8f693b8653dcec","datavalue":{"value":{"amount":"+0.790393054485321","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":"Q1095672$A3F7EA45-4AC5-4E6E-BE66-9243D452F610","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"857c9c4c7040038cd85ae5a8b3ce3794d9ab66b4","datavalue":{"value":{"entity-type":"item","numeric-id":3700853,"id":"Q3700853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"401ef3474e8f6978789a7abaa3efcdc68d280790","datavalue":{"value":{"amount":"+0.7887305617332458","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":"Q1095672$7924AEBD-5E6A-4F1F-A33A-382F1C11DFC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c002d09d0cf543fd6e52cb16c2bbffcb9523589","datavalue":{"value":{"entity-type":"item","numeric-id":1184990,"id":"Q1184990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53014106891ba7c0909dccb82c92eeb810c71711","datavalue":{"value":{"amount":"+0.7868961691856384","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":"Q1095672$58C3FF47-732D-4CDD-AE19-30F0681EBD31","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Brzozowski hierarchy of \\(\\omega\\)-languages","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Brzozowski_hierarchy_of_%5C(%5Comega%5C)-languages"}}}}}