{"entities":{"Q6122792":{"pageid":13257099,"ns":120,"title":"Item:Q6122792","lastrevid":98815046,"modified":"2026-06-05T18:33:14Z","type":"item","id":"Q6122792","labels":{"en":{"language":"en","value":"Symbolic control for stochastic systems via finite parity games"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7812048"}},"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":"Q6122792$F0A1753F-4606-4066-AD48-63819AA2FA4D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f0c5245e48861c158a7d2c1e28ee8890b1a62906","datavalue":{"value":{"text":"Symbolic control for stochastic systems via finite parity games","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6122792$10D225D6-FB9C-4A15-AAA6-3AFB7B4837D6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cd27e91c4471a6c2f2d14ef8212c1a71ddfcbbaf","datavalue":{"value":{"entity-type":"item","numeric-id":453531,"id":"Q453531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6122792$B728AB0B-9764-4606-8F99-8380594F7926","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"700c27e1aef9c2b7cb0106c2c4c93dc9c7393211","datavalue":{"value":{"entity-type":"item","numeric-id":3297582,"id":"Q3297582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6122792$6AD8B63D-8FDC-4AAC-9663-2E8DC99BC1F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"556d50c1b83e8f28bc968c0bdf2bc4419b8ca47a","datavalue":{"value":{"entity-type":"item","numeric-id":262423,"id":"Q262423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6122792$2EC55AE1-ED7C-40E4-8110-932564C122D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"66ab7a9759e1b34b547acdc6abd2881220f0b927","datavalue":{"value":{"entity-type":"item","numeric-id":2061249,"id":"Q2061249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6122792$3B82161D-113B-455C-88DE-39AD96410D01","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9d0f2155ba9995cae9f99d2ed79b4b1c769519a1","datavalue":{"value":{"entity-type":"item","numeric-id":254169,"id":"Q254169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6122792$7DE5FD79-25EC-42B8-AEEF-0B62028C8AC0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2b4f8179f4c5af9d5e23c2be86ce4f3fdf855100","datavalue":{"value":{"time":"+2024-03-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6122792$14CCC550-D7BA-4A58-AE17-ABD0CCB27EB0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c61fb2cdbb3acd98691897cd65a0d62e962cd6ba","datavalue":{"value":"https://arxiv.org/abs/2101.00834","type":"string"},"datatype":"url"},"type":"statement","id":"Q6122792$ACF54DD0-2D97-44F4-B20E-D3CE8F94C62A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6122792$6B60C48D-4685-4F8D-AAB6-7E6D7A6B178E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2bfaecbf584554114e0043b0c6c7bffb91e17209","datavalue":{"value":"91-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6122792$C25FE4CC-D09E-49DC-9A25-BC6BFF271D09","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2f48d03a14808f8ceefc67b1048c66a26272029b","datavalue":{"value":"7812048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6122792$83FA17D0-3AD3-4992-AEC3-4BB566B2B13C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa3e90fd3ee4254b24bc166dec738aacbe671a1c","datavalue":{"value":"correct-by-design controller synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q6122792$7D69811E-586F-4470-9A58-A4A7E01F2A10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de4429e761d5f84770bfbec12476feca434e2cf6","datavalue":{"value":"controlled Markov processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q6122792$5B858DCF-149C-4235-A4D5-8259781D5F4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e529265439827520d50ef8370e35a22be8d7b803","datavalue":{"value":"stochastic dynamical systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q6122792$8EBDEDC2-8A46-40A5-8556-17242E48862B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a973bd39b9de608f1962fb682df1dbe357f40ed7","datavalue":{"value":"\\(\\omega\\)-regular specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q6122792$732EE9F4-3AC4-40A0-B7FB-512A017B8267","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":"Q6122792$74295A3F-42E1-45C5-AE6B-1728DD32DD1C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8d7e7e5742d98990505579e4a02cb9db015755c","datavalue":{"value":{"entity-type":"item","numeric-id":5919894,"id":"Q5919894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6122792$18CA73A1-E82D-4503-AB97-2491BA3687EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b508e72167dcf59b9e1af0200c0879371574ba34","datavalue":{"value":{"entity-type":"item","numeric-id":5002059,"id":"Q5002059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6122792$45EBF85A-CD57-43AE-978C-B1CC6F22BDD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9870df8ec76ca2ba74393e56c7cd8d50a2ac360f","datavalue":{"value":{"entity-type":"item","numeric-id":5002111,"id":"Q5002111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6122792$C28953BC-C7D9-4ED1-BF15-716BB6139236","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"674be6a4cb46b46995848664190cc4c2ce7cd625","datavalue":{"value":{"entity-type":"item","numeric-id":5146376,"id":"Q5146376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6122792$48493C76-8A08-4F3B-9D2C-0AB03F66B359","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ea1803f094bfc431585ba739b69cec2d92a8b76","datavalue":{"value":{"entity-type":"item","numeric-id":2158881,"id":"Q2158881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6122792$1F53D5B8-271A-4B5A-9775-69FBF50068E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"294378f0868aba0cffde495618b69e78f27ffc2e","datavalue":{"value":{"entity-type":"item","numeric-id":2097770,"id":"Q2097770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6122792$AEF1A5A0-440E-4CF3-BE91-3556D8A8ED85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f225aed1ac06bf5821ced12a7b1ef1089ad20a25","datavalue":{"value":{"entity-type":"item","numeric-id":4038703,"id":"Q4038703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6122792$9C0F229A-7E3C-411E-A3D1-45DE88561221","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ce71a5e212a8c5cd65d66580e9075eb5aa319ca","datavalue":{"value":{"entity-type":"item","numeric-id":2956706,"id":"Q2956706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6122792$8436C80E-A6B0-4364-B22E-BF28484E384A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b0c7436976c5b9893e05c1462fed16a80d7904d","datavalue":{"value":{"entity-type":"item","numeric-id":5322945,"id":"Q5322945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6122792$1B7A685D-FC64-498E-BE61-EACABA0BF913","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db93349199195e492cdd6311f447f3ebef17ca42","datavalue":{"value":{"entity-type":"item","numeric-id":2871352,"id":"Q2871352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6122792$BE3B9862-1669-4A85-A4B2-988A05410BE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a10cc121e791089f0ec49dc3bb50a0a9b26813a","datavalue":{"value":{"entity-type":"item","numeric-id":515573,"id":"Q515573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6122792$0610F18C-EA7C-4AAA-8079-19DC0060719F","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":"Q6122792$6081BEED-AAE9-4ECB-A144-C99DB9D6CF20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89a43cd86c4e56de3188d95c3407dd857965f3ff","datavalue":{"value":{"entity-type":"item","numeric-id":5282424,"id":"Q5282424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6122792$B1EEAD6C-200C-44C7-9B5E-75CB43F27BF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"efa72cb41865cb235d812cbec7253fb221b5bbb8","datavalue":{"value":{"entity-type":"item","numeric-id":3629218,"id":"Q3629218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6122792$1E5C1DF0-6D28-45CE-B615-1055167076FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8b4b0c4db610b76a647815a7e39d338386e98fb","datavalue":{"value":{"entity-type":"item","numeric-id":1693823,"id":"Q1693823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6122792$40B105D5-0915-4F95-873A-A7AA3C7CA8B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc619965c66a74b47a0342a5a69ac646fa9335ec","datavalue":{"value":{"entity-type":"item","numeric-id":1187025,"id":"Q1187025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6122792$4D583902-F900-4862-9A04-F089E4E9E064","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f9cc32f7830e0996f59cec04dfbfdd93a06efdf","datavalue":{"value":{"entity-type":"item","numeric-id":5292630,"id":"Q5292630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6122792$0D38B6E0-F8B8-4839-9AC0-2264D40DCF68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f797173b5b805e966fa2d55f1bc3618dd306318","datavalue":{"value":{"entity-type":"item","numeric-id":414898,"id":"Q414898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6122792$746DAC04-7354-4143-B12C-FDD9132A97C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2e80321a5b901dd6bcf10e15a0ea7c4a4a661ba","datavalue":{"value":{"entity-type":"item","numeric-id":4749184,"id":"Q4749184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6122792$A2BB327D-155A-46DE-8826-0D82ECED7E24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb3f35970726d7c570de0b96b4ddfe2cb572b578","datavalue":{"value":{"entity-type":"item","numeric-id":518326,"id":"Q518326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6122792$29AD4736-9821-47E6-A168-CE6A8590A874","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a346b0d1d8d58eca29ba3d568dd9754ed71fd2e5","datavalue":{"value":{"entity-type":"item","numeric-id":1866725,"id":"Q1866725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6122792$068B03EC-626B-44FD-BFBC-799299653BF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd605a99ba952fbd4289d314812f98755473df95","datavalue":{"value":{"entity-type":"item","numeric-id":2986770,"id":"Q2986770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6122792$386E7E5F-AACA-4539-86D3-B92E599CBC39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08e0f2afe018907cb6fb8fd9546f6351bd6cb68a","datavalue":{"value":{"entity-type":"item","numeric-id":4649312,"id":"Q4649312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6122792$4FC2E0EC-43C3-4CC8-9B9D-9E20DF9089DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53db8db2bc00b755528f5903065b5d470f2af903","datavalue":{"value":{"entity-type":"item","numeric-id":2982621,"id":"Q2982621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6122792$5ABFF2FD-800E-4757-A6AF-FA61F586BCD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f505434c35766099f1dae96c516ac5606db2643","datavalue":{"value":{"entity-type":"item","numeric-id":5371013,"id":"Q5371013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6122792$AEAE5A20-8724-4CDC-AA1D-4122C8DFC2D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"223590289fed3c9ed0f9cb75eb6ce97a28402012","datavalue":{"value":{"entity-type":"item","numeric-id":2979266,"id":"Q2979266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6122792$6449A7EB-B515-46A5-9E7B-552233295BD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"804445e4155e6e830be724c39b089b7bfbefb7d2","datavalue":{"value":{"entity-type":"item","numeric-id":523135,"id":"Q523135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6122792$31F3F5DA-295E-43DE-95CB-92092FB226D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4f186dbf0a074dde93366a673464bdb8756910e","datavalue":{"value":{"entity-type":"item","numeric-id":4561425,"id":"Q4561425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6122792$C11EEE9A-6B3E-4B18-B2D2-C87E5DFA531D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39b97dd6e4da5fc1bc7bbe602f409ce0a1332650","datavalue":{"value":{"entity-type":"item","numeric-id":2280818,"id":"Q2280818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6122792$7CC19A1B-1768-4646-BA73-5EB05F1A9323","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2431008e0337b77fffc5f411eea2fa7ca394424a","datavalue":{"value":{"entity-type":"item","numeric-id":5002121,"id":"Q5002121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6122792$54DEA8E5-C0CA-4E3F-97C5-AF5D826F32EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2a741b6b6f8df8b34b6e7574abd731899fb8bea","datavalue":{"value":{"entity-type":"item","numeric-id":2988916,"id":"Q2988916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6122792$FA988E0B-029D-430F-BEAE-7FFB7B72E555","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a09775e2cb6193838744bc0613bd3551cf6c7eeb","datavalue":{"value":{"entity-type":"item","numeric-id":2983261,"id":"Q2983261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6122792$DBCBBD80-0F72-4821-812F-A43BDDB468E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f5a45904f81b6a39ede475e2e86ab18eb54c04e","datavalue":{"value":{"entity-type":"item","numeric-id":801893,"id":"Q801893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6122792$18A8BE64-1829-4264-8AD3-99284D4F4FC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5d62f5c97531146500b4b0a20ee9c3bd169eb31","datavalue":{"value":{"entity-type":"item","numeric-id":5308471,"id":"Q5308471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6122792$6B22CBB2-771F-4E40-BA75-6470A1FBB79B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f159bd2b3335d98e62f4d8b5fe74b798610468f7","datavalue":{"value":{"entity-type":"item","numeric-id":2980524,"id":"Q2980524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6122792$D7091DF2-7C66-4EC9-9833-52E94E2F0924","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02a81a1d2408ce815f78f2bd75fc84837029256a","datavalue":{"value":{"entity-type":"item","numeric-id":4561443,"id":"Q4561443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6122792$2A4A11B2-B4F2-4422-A120-EB361E3F17BE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fdc659c8602bbce2668b590089a03d76385f11e5","datavalue":{"value":"10.1016/J.NAHS.2023.101430","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6122792$11FC8A7F-8E1C-43BC-80C0-12EA7A3D0189","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6122792$A5458DC1-F034-4F9F-8448-DB6D0805EC66","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Symbolic control for stochastic systems via finite parity games","badges":[]}}}}}