{"entities":{"Q1007544":{"pageid":1009392,"ns":120,"title":"Item:Q1007544","lastrevid":66645780,"modified":"2026-04-12T11:31:37Z","type":"item","id":"Q1007544","labels":{"en":{"language":"en","value":"Note on winning positions on pushdown games with \\(\\omega\\)-regular conditions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5530890"}},"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":"Q1007544$81CA2598-1DA9-4717-BF47-08D6A52DD5CE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7519f48f3f16754f23c8e260ef0c1aeaf1c2c0ec","datavalue":{"value":{"text":"Note on winning positions on pushdown games with \\(\\omega\\)-regular conditions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1007544$A1BBEBF1-F742-4D51-BE14-787347C7BCDA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c28e78c8b441fd05e7d70c74340c6a1e98a533f8","datavalue":{"value":"1173.68558","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1007544$64BA1C48-4361-4776-8B40-E98932BA137B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f0980b064696d789c9283f1cc5eb13beb4f2ae35","datavalue":{"value":"10.1016/S0020-0190(02)00445-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1007544$443323AB-5D08-4E22-806A-F77EB93B885B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ef32dc0f0352d0de9da2d2122087fc10a33044b6","datavalue":{"value":{"entity-type":"item","numeric-id":456182,"id":"Q456182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1007544$E9DCE7F5-7A05-4074-92B8-40E1FCB7BBD5","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":"Q1007544$05060A2F-1048-4C78-A54A-766AA99D43B8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7f048b9b8a41b82f9765bf157ba4b1fd3be60b72","datavalue":{"value":{"time":"+2009-03-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1007544$140FEF34-5C0C-4EED-9B5B-55320D67200C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1007544$CE9714C3-A645-4669-9484-36223957AD31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b98cb7058a1e8e644c33a49a426b651c0e594493","datavalue":{"value":"91A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1007544$2DF599FA-F2C2-45AC-BD36-2E8D2A1D9490","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"60601ff3730a5066c138bcda845bb9425adfa165","datavalue":{"value":"5530890","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1007544$16F5F9A7-4A97-4442-9291-0C386F8B44E6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dae07fe120276ee4c21c2b056394433e1dd18622","datavalue":{"value":"automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q1007544$0F761877-8618-40A9-BD1D-3DFE00BD1F9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dc9a47c8de051a880f2e514b2df8fca32ac201f","datavalue":{"value":"games","type":"string"},"datatype":"string"},"type":"statement","id":"Q1007544$955F3781-8526-458F-A614-F23C6B578423","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"32478fd2aed385faa1920f6050cdb2b21b21c991","datavalue":{"value":"infinite graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1007544$FBE788E9-D24E-44B1-BC56-536405B2502F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bd6ece8b17a1de4a0dbdc3c065ad83b487ffb7e5","datavalue":{"value":"pushdown processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q1007544$FCA0C9C5-B5E2-4712-8315-0F1A2D56C55C","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":"Q1007544$7E9FDED0-EB24-4DFA-9A4A-9CCD013D890F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"99d9546809dd8770c3877fc48d5c3ed987470c2d","datavalue":{"value":{"entity-type":"item","numeric-id":2842876,"id":"Q2842876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1007544$071FFC4C-768B-4952-8975-9E21863971DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e099c29cb4a85f55d1d4608c736de84d6a2daf0e","datavalue":{"value":{"entity-type":"item","numeric-id":4737201,"id":"Q4737201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1007544$6A74D159-26D3-4C8A-BBE8-1D03E78F6F3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"648af4444efef3dfface63422920536bd2b0c180","datavalue":{"value":{"entity-type":"item","numeric-id":3928246,"id":"Q3928246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1007544$4999F303-DB9F-44E5-AA7B-FC33D4F4BAE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a133b2b9476ffc4401b56d83bdfd1f487592e7be","datavalue":{"value":{"entity-type":"item","numeric-id":2754086,"id":"Q2754086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1007544$9D9C1E9D-DA21-4B29-A461-7181DAC4B648","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2de91ecb193514088bc3752dcf7515e5158d8d0a","datavalue":{"value":{"entity-type":"item","numeric-id":2754072,"id":"Q2754072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1007544$1E74FCB9-690F-4A5F-8D30-A91E569F472D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7c7a7ed2697f26032ba1d9f163966d4ba6ea9f4","datavalue":{"value":{"entity-type":"item","numeric-id":1314640,"id":"Q1314640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1007544$63800479-A0DA-40A0-BBD2-127B590BFCAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f7d501eca45f4e70219630914fce9c6989711b2","datavalue":{"value":{"entity-type":"item","numeric-id":3753490,"id":"Q3753490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1007544$CB3CB1F0-FB44-4D56-94A3-45D68A9D577E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cd06688d0a2118d72cedd0d86de5ca69bef5bfd","datavalue":{"value":{"entity-type":"item","numeric-id":1084096,"id":"Q1084096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1007544$CFBFC006-FA95-4C71-81EB-EC4A69EFB93A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3ab2a7dd415a915f4e797829dffa869892f7c19","datavalue":{"value":{"entity-type":"item","numeric-id":4596605,"id":"Q4596605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1007544$EBBA55E7-0635-4F0B-9676-E98D5F5594B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a032d33673d5ba9c1e698848960782495104c1b","datavalue":{"value":{"entity-type":"item","numeric-id":1854405,"id":"Q1854405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1007544$5FFBA786-7E8F-43A6-A5B3-C02890575778","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee0f06f8149ad9449d52f3e00709cc707f14bc42","datavalue":{"value":{"entity-type":"item","numeric-id":1276252,"id":"Q1276252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1007544$FFFFAAC4-ED00-411A-9A6B-42273EEF1050","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ca06c317aceb957824ed8c4fc809f1313f6519b","datavalue":{"value":{"entity-type":"item","numeric-id":5191508,"id":"Q5191508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"761226ff512c12b96a81daac08da881f7e9a0141","datavalue":{"value":{"amount":"+0.8534343242645264","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":"Q1007544$2C097C82-4F77-4705-8743-9E72ECE6CB71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7884fdb7855faf139166eba347dfba7f76402838","datavalue":{"value":{"entity-type":"item","numeric-id":5311285,"id":"Q5311285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f47a7a6a5f77b2dcbb22c4b2836e44e609dde5c0","datavalue":{"value":{"amount":"+0.8493399024009705","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":"Q1007544$160F5F88-AD76-49EC-BD83-977B48413D99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"458459652a7ea419527b5215f03955308a3bcd6f","datavalue":{"value":{"entity-type":"item","numeric-id":4411832,"id":"Q4411832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b3b67cdbe990552b2bc12b766f74fb0a819ad12","datavalue":{"value":{"amount":"+0.8445327877998352","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":"Q1007544$5A046EE4-9ABD-44A6-BC67-1C338E67879F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76e836966e8a6cc0c6647b7efdc2b0d27009021f","datavalue":{"value":{"entity-type":"item","numeric-id":5151005,"id":"Q5151005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db2adc4ebb02be5bc25ea5fdbd987b8a6400e1d6","datavalue":{"value":{"amount":"+0.8351945877075195","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":"Q1007544$44785E84-22FA-4483-A9BF-FC4BAE55F5E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69c15e072cd554809eb001bcd9b50673914f9164","datavalue":{"value":{"entity-type":"item","numeric-id":1854405,"id":"Q1854405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b8b271c32d8f9302cd519d46bc47023665a91a2","datavalue":{"value":{"amount":"+0.8332119584083557","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":"Q1007544$DB20BF94-058B-4E7F-ABDA-74F8BDB7EC5E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Note on winning positions on pushdown games with \\(\\omega\\)-regular conditions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Note_on_winning_positions_on_pushdown_games_with_%5C(%5Comega%5C)-regular_conditions"}}}}}