{"entities":{"Q811129":{"pageid":812977,"ns":120,"title":"Item:Q811129","lastrevid":49551760,"modified":"2026-01-07T17:13:34Z","type":"item","id":"Q811129","labels":{"en":{"language":"en","value":"Safety and liveness of \\(\\omega\\)-context-free languages"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4215373"}},"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":"Q811129$17A90730-453D-41F1-9C26-3A12A8FFA021","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"26411b0f88a2d052532686effbac6953f717e9a2","datavalue":{"value":{"text":"Safety and liveness of \\(\\omega\\)-context-free languages","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q811129$EE6C9203-7213-41A8-A9E2-774776486257","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5acf34762af01f29566a7e3f411e60c051115639","datavalue":{"value":"0734.68056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q811129$857BC4F8-13C7-47CF-935D-92CA581C88CB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1d8bcffc007680e82cc9bbbc255af648bc9c3532","datavalue":{"value":"10.1016/0020-0190(91)90244-C","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q811129$663D7565-2C7A-4FCD-8A00-0AB33F983B9C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"53801626d290dfe13b91ca926b81c874a3de3c74","datavalue":{"value":{"entity-type":"item","numeric-id":811128,"id":"Q811128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q811129$E5E9C002-2551-45C7-A52E-1DD0182C1FD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c13aae512d1f898f78a3907f4ad74a1b77302989","datavalue":{"value":{"entity-type":"item","numeric-id":930896,"id":"Q930896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q811129$07684E9D-B2B8-4EA3-99A3-8782CF3954CE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q811129$EDD6D029-8E6E-4E69-961B-6F3D801AA816","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"391107ffc7a24346d69c573e292e4ff4587e3aaa","datavalue":{"value":{"time":"+1991-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":"Q811129$8BEB7091-D6A8-4A02-890D-F2D7EDFD25A0","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"2d03adb9af99d06c5e29399cea41e8476c830518","datavalue":{"value":"Let \\(\\Sigma\\) be an alphabet. An \\(\\omega\\)-language L over \\(\\Sigma\\) is called safe if the following condition is satisfied for every \\(\\omega\\)- word x over \\(\\Sigma\\) : if every prefix of x can be extended to an \\(\\omega\\)-word in L then \\(x\\in L\\). The \\(\\omega\\)-language L is said to be live if every word can be extended to an \\(\\omega\\)-word in L. These definitions are motivated by considerations concerning concurrent systems.    It is known that every \\(\\omega\\)-regular language can be represented as the intersection of a safe \\(\\omega\\)-regular language with a live \\(\\omega\\)-regular language \\textit{B. Alpern}, and \\textit{F. B. Schneider} [Distrib. Comput. 2, 117-126 (1987; Zbl 0641.68039)]. The central issue of this paper is to investigate a possible generalization of this result to \\(\\omega\\)-context-free languages. Some sufficient conditions are provided which hold true in quite a few interesting cases; however, an example is also provided which shows that a full generalization is not possible.","type":"string"},"datatype":"string"},"type":"statement","id":"Q811129$ACC59562-4733-4022-B6F0-B3A1FCB7A166","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q811129$93DA7589-AB49-4693-81F2-70C95EE7F977","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q811129$27471323-37A7-4B63-9078-D85085841FB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b65efe51b183d0f4a672427b8171cd1e14211cba","datavalue":{"value":"68W15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q811129$93F9B700-2864-4E81-A42B-97FEAD82AD92","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"abde63d36b0aa7830eb58879690299fb1275eb6d","datavalue":{"value":"4215373","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q811129$D2755078-4F16-4C13-BCA9-4A6345A7BEA3","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":"Q811129$8718659A-E5FE-40CE-A869-D4636747FB28","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2c57dfd81934c0c76c7925c937211e00638a6bf","datavalue":{"value":{"entity-type":"item","numeric-id":1100884,"id":"Q1100884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q811129$42186EF7-850E-422A-A085-05633F927E92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"606a1ba0b25e8d1bacb0f033a5b4ac81479cf171","datavalue":{"value":{"entity-type":"item","numeric-id":1157971,"id":"Q1157971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q811129$A4704D41-BBC0-45CC-B453-958466AE19C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a41da88234adbed83efe7412ca5c92908a4dda70","datavalue":{"value":{"entity-type":"item","numeric-id":1240574,"id":"Q1240574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q811129$B601B204-9CC0-4182-B90C-5B3D425913EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c92a171c183f8eb8e618490f508b6b07fbb69939","datavalue":{"value":{"entity-type":"item","numeric-id":1240575,"id":"Q1240575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q811129$D46A7C55-EBC1-40A5-B91F-4DEF1B498406","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2043397a54eaa38033021fac24881dafefacec7d","datavalue":{"value":{"entity-type":"item","numeric-id":5592246,"id":"Q5592246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q811129$D99A72A3-450B-4085-BA8F-A2C689D0E494","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e33b53c9004b61a90401a2052769d8efa2f34a0","datavalue":{"value":{"entity-type":"item","numeric-id":4120115,"id":"Q4120115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q811129$8B5750A0-9E3A-49EC-AE17-B317845DD4CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f1d821bd2a1a38500df8bdaf1b0ad70b8c8ee08","datavalue":{"value":{"entity-type":"item","numeric-id":4385530,"id":"Q4385530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q811129$C711AFCD-AC9B-40F9-AE10-616AB5290A0B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65cd6bf02080ed80de0cccd6720273f68ab98884","datavalue":{"value":{"entity-type":"item","numeric-id":1908957,"id":"Q1908957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2e3bd3b65e2aed2b90727a0046e053b143c58b9","datavalue":{"value":{"amount":"+0.7534582614898682","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":"Q811129$4E0E7ABE-A184-42B8-BCA5-6D37F5B54454","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85e1be1d07684bf9d201eb1c4fd043042609dddc","datavalue":{"value":{"entity-type":"item","numeric-id":1127314,"id":"Q1127314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41fd45eeb862825d7e712562aef32934da9ffd8b","datavalue":{"value":{"amount":"+0.7527807354927063","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":"Q811129$DF4A0973-5D38-49CA-BF2B-274F90589F0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b17221d5b3766a82d6e2e685165ca769f18df567","datavalue":{"value":{"entity-type":"item","numeric-id":1399989,"id":"Q1399989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63bd0dfb40da840a3d95d46c937c57e01d717e58","datavalue":{"value":{"amount":"+0.7448448538780212","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":"Q811129$F79BA768-BFD2-4D97-9ECE-2E3B33FFBDB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47f84f588c74e37c9719154671fa2778ce1a7056","datavalue":{"value":{"entity-type":"item","numeric-id":3816993,"id":"Q3816993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0372f8b31c6a4e7a4b3ac8e3a60e8998828dbaf2","datavalue":{"value":{"amount":"+0.730167031288147","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":"Q811129$203B6722-8802-495D-97C5-C88FEBAD7FFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3c3c17047ed28829e58a22a46545b657ef17124","datavalue":{"value":{"entity-type":"item","numeric-id":5894889,"id":"Q5894889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c23fc706d681c083edc1472d1163890dd751e56","datavalue":{"value":{"amount":"+0.7289361953735352","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":"Q811129$E4BA3652-D663-491D-A4BB-3C0C370F7263","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:811129","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:811129"}}}}}