{"entities":{"Q2103672":{"pageid":2114415,"ns":120,"title":"Item:Q2103672","lastrevid":73174248,"modified":"2026-04-14T14:50:53Z","type":"item","id":"Q2103672","labels":{"en":{"language":"en","value":"Automata-based controller synthesis for stochastic systems: a game framework via approximate probabilistic relations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7630432"}},"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":"Q2103672$84C12E25-A1F7-44F7-80ED-E07DECF05EB8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"98289b48a0daeb63bffa688aa813ec98899a097c","datavalue":{"value":{"text":"Automata-based controller synthesis for stochastic systems: a game framework via approximate probabilistic relations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2103672$ABDBF40C-B80A-4B3A-BDDA-A71198B92AF1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ba586e3b3467d7cb44c1aea50a9c244d5ec62aab","datavalue":{"value":"1505.93257","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2103672$AFFFD8FF-400A-4604-AB47-F7CFB74169A7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d71b0800349946e78138aef7c944ecd0f234ad48","datavalue":{"value":{"entity-type":"item","numeric-id":2074753,"id":"Q2074753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2103672$D7D61366-8C2C-4993-9BCA-985ECE756B94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6bf57d30ec888b0692bbfbe98ecb4dcd3426636f","datavalue":{"value":{"entity-type":"item","numeric-id":2061248,"id":"Q2061248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2103672$E323A9A7-FE24-4B7C-9E58-80446E65D774","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ae2161ef886d8ebd3f0df12de6de95980476e7e8","datavalue":{"value":{"entity-type":"item","numeric-id":1689366,"id":"Q1689366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2103672$F4B0629A-BB80-42FB-ADF3-704552336105","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f8ddcc5c624441d778a52f83fb5e9794a41dc5cd","datavalue":{"value":{"entity-type":"item","numeric-id":704047,"id":"Q704047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2103672$5639BEAD-869D-4880-BA1B-E5072520FFA8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"69a11602bb4f474f716dc259849d1837f4cd9e2e","datavalue":{"value":{"entity-type":"item","numeric-id":161901,"id":"Q161901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2103672$C1741BA1-3088-4EA6-B0E7-DBA823B6C181","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"11447fc0ad9bdb1f5ac45f1763d7f4fd1b0676df","datavalue":{"value":{"time":"+2022-12-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2103672$46D73081-A64E-461D-9E8C-60A814B794DC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f671f0fb2e75c23251f6a618443fb7d03d5d58d8","datavalue":{"value":"https://arxiv.org/abs/2104.11803","type":"string"},"datatype":"url"},"type":"statement","id":"Q2103672$A43CA4F8-234D-454D-82B2-2B30C1216193","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b1a9a20c16e14977aabce86aca077afc2aca3644","datavalue":{"value":"93E03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2103672$1B77DF26-0135-470C-9F7E-7DF04124A0BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"39a0025ac480893a6c3723330b06364463bbd01f","datavalue":{"value":"93C55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2103672$20DBF482-BC98-4043-A5F5-671A337364DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d6c670ac731a27c7bfd90316f3e999219e79aab5","datavalue":{"value":"93B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2103672$ED5EAC81-A4DC-466C-BC0A-DC30C0544654","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2103672$FAF6FF1F-22D1-49CE-B9FE-7B39BFC4430B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8f34675a74b150d19473221b06b085ebc8156162","datavalue":{"value":"91A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2103672$113738DA-304C-45DD-9214-BC64F6A0430A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5211b19f8ace3ee220b31ea1e6047c3a4452b824","datavalue":{"value":"7630432","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2103672$673ECFA4-89EC-497C-91AD-D6B2B16CA7DD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a5946a51a5884d5e86db7472d96ff43e6ea9b65f","datavalue":{"value":"stochastic games","type":"string"},"datatype":"string"},"type":"statement","id":"Q2103672$3736E354-695B-488F-A634-533BC288E38E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"993746480ceb16047f57280c2c53e218732578b0","datavalue":{"value":"automata-based controller synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2103672$899490A0-276B-4F10-B00E-CE13E2F9ADB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f31845cfdde315c39e07ede76e8a7a56c90922ee","datavalue":{"value":"approximate probabilistic relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2103672$849926CD-C33E-4F64-AB9A-29EEAE044B16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a976ca024da50a9555610bb63a53bf59bf38d38","datavalue":{"value":"policy refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q2103672$DE4C3867-F5AC-40FC-99A0-192968DE2C79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"49def46582822b7dc0972dd61118faecb1e28840","datavalue":{"value":"finite abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2103672$7F4D8D35-80F7-4245-BEC5-08049C60C1D5","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"552fb94da027a8fb9ad249dd880ff1062aea71b2","datavalue":{"value":{"entity-type":"item","numeric-id":21456,"id":"Q21456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2103672$ECB93EBB-C87A-40DC-9050-1DF0AC37C5FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"de475649f460b62c54fe7545057c5a5b058cbbd6","datavalue":{"value":{"entity-type":"item","numeric-id":52638,"id":"Q52638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2103672$C3C69BDE-C047-42F6-B1C4-BD8AD37C21FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"aba38666b847b4b6791ef188ff5703b737cb3f61","datavalue":{"value":{"entity-type":"item","numeric-id":16199,"id":"Q16199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2103672$F55C1D9A-6EB3-4AAB-9655-6E65DB22C5A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ce3ea894551f7d46aed8be9d5b93bf780882eb1a","datavalue":{"value":{"entity-type":"item","numeric-id":16900,"id":"Q16900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2103672$E822ED88-DD71-46E5-AA6D-5ED2E721CC1E","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":"Q2103672$B109B165-F6A3-4849-813B-D4263BA99992","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5078a3598bad8d3477a791f65c6e530ccf2e4c25","datavalue":{"value":"W4308984347","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2103672$938353A5-1F6F-4DA0-A778-100592926E1E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4909f9c57bf236ef39d69086f7cd14a22e9b31dc","datavalue":{"value":{"entity-type":"item","numeric-id":629650,"id":"Q629650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2103672$51D4465B-F8E5-4CB2-8139-862A062839BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bea67ed95d1f053285243b5bc166dc74f203ace9","datavalue":{"value":{"entity-type":"item","numeric-id":2377974,"id":"Q2377974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2103672$8A04FC60-07A4-44E3-BF73-815F7B54EB72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdf9160d21300cd3620b6939bcd66b6d5cc9ef53","datavalue":{"value":{"entity-type":"item","numeric-id":4540444,"id":"Q4540444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2103672$9546B1EC-8A6F-4862-AEF4-5CA9C99C9058","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":"Q2103672$8D1772B4-873D-4087-93AF-A122B6037B10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4943f4466b49bd467d99530da9732a46d4d2372","datavalue":{"value":{"entity-type":"item","numeric-id":1641028,"id":"Q1641028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2103672$D448E8A2-4BB3-4BB3-97D1-AF57FE488CDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8f51123d4849920c0bd477136f67ae685bea6fb","datavalue":{"value":{"entity-type":"item","numeric-id":4821526,"id":"Q4821526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2103672$D713D323-4140-4150-9F0C-552FBC79F535","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20e65c35d61af257548f4bf1fc18fdba5a1d232d","datavalue":{"value":{"entity-type":"item","numeric-id":1095055,"id":"Q1095055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2103672$DB8973AE-DEF4-41CC-9340-6BFEEF040F19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8cbe0c7d3516c994ecf5604a4a5eafd0c7a5ff82","datavalue":{"value":{"entity-type":"item","numeric-id":445097,"id":"Q445097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2103672$FD5555F3-AB63-4560-B8E6-8435766CFEFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f43c2a1a60e4fa3b393aaa5a7897e03241c2ede0","datavalue":{"value":{"entity-type":"item","numeric-id":4635880,"id":"Q4635880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2103672$EB8E1D64-93B7-4A03-8F4B-0097D9265793","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a122c080adfe8e630ad111260d01648932c000e","datavalue":{"value":{"entity-type":"item","numeric-id":2346403,"id":"Q2346403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2103672$A6C70691-1C36-4AEB-9113-C239B1732630","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9906c5d717d47d4806529740bb94b92cc109d45c","datavalue":{"value":{"entity-type":"item","numeric-id":2226751,"id":"Q2226751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2103672$1808383B-89B7-4D03-9759-7B87996B4F59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"653c76d83373fc20269900c7b497aa4b5783d3b4","datavalue":{"value":{"entity-type":"item","numeric-id":2628473,"id":"Q2628473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2103672$33F4DC99-BC5F-4C33-A7E5-3134738ACA90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e01894a7a1bf751d1c2dfdb604330d8e36ef960","datavalue":{"value":{"entity-type":"item","numeric-id":2503550,"id":"Q2503550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2103672$A4AE8796-0BE2-487B-B10F-C97B78AA6D18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d446bf7dfc8784e9e8bc25e2650ccfc2afc7557","datavalue":{"value":{"entity-type":"item","numeric-id":5168518,"id":"Q5168518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2103672$5F4A0931-2513-412E-A1CF-73D50E9E6030","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4dd3237587acde4ab6be0547ecd2958e02b054e","datavalue":{"value":{"entity-type":"item","numeric-id":1012892,"id":"Q1012892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2103672$5AF09CA0-31B2-415D-B4D5-82EA467C29BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e4aa737a4224ddd9cb056ad1b16ffe5bb051d8e","datavalue":{"value":{"entity-type":"item","numeric-id":4442955,"id":"Q4442955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2103672$4847F1E3-9A90-427C-8497-5E78490B0B38","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":"Q2103672$84A5A64B-3206-4D8C-8333-7958D45197BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77a19bd5ba45bb38b70623f2b98ba350ea801f89","datavalue":{"value":{"entity-type":"item","numeric-id":5348126,"id":"Q5348126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2103672$AD62A8A0-1E7D-48C2-863F-241A54552A32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cad772b9f8f3d355ea62d5749b7e362495aba60d","datavalue":{"value":{"entity-type":"item","numeric-id":2986935,"id":"Q2986935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2103672$55EE5184-DE33-4D7D-8428-C9DA43F61F62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5958d1109949c84594e02fb7aad61b4fd0b8df63","datavalue":{"value":{"entity-type":"item","numeric-id":503162,"id":"Q503162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2103672$34A45BF1-B521-4D3C-958C-90D9A1E42E0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f5809b32e0bebc46ad001f3cb604d727cd6a6d2","datavalue":{"value":{"entity-type":"item","numeric-id":600979,"id":"Q600979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2103672$B1F547A2-066F-416A-A7CC-3A6C89D9E6B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ed620432d7ddcf233610ef2f2a050010220ed20","datavalue":{"value":{"entity-type":"item","numeric-id":5949490,"id":"Q5949490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2103672$CEDD88FC-F0FD-4557-9F5A-7DA6F0AE27E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2dc99656c0e626d5145660e0761aaa128b2700bf","datavalue":{"value":{"entity-type":"item","numeric-id":4598136,"id":"Q4598136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2103672$5D4A4B44-C66C-4BE9-89A3-25A1B107FE6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68347b18c57b6f2ce675ea20e6bb599af37ed33e","datavalue":{"value":{"entity-type":"item","numeric-id":2226754,"id":"Q2226754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2103672$75D55AC0-6A96-4677-BD6E-55BFF95259C1","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":"Q2103672$073078BF-82D8-478D-8D07-F12974E91E65","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":"Q2103672$C1C2EEAD-9C8D-496D-8162-A3247847F7A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f01a1866ec5ae7e9f36a4c5d849f70cae5cf5a78","datavalue":{"value":{"entity-type":"item","numeric-id":2174019,"id":"Q2174019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2103672$F803256E-8E53-46AC-BCF5-B9AE5093A6B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f982cebb476bc821cdbfb7674caa918e38a81b9","datavalue":{"value":{"entity-type":"item","numeric-id":2178236,"id":"Q2178236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2103672$2007FEA5-0B61-481C-8305-4502F5940311","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3baab863fc166b51de8cfbb0699b0a6c661611df","datavalue":{"value":{"entity-type":"item","numeric-id":5853946,"id":"Q5853946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2103672$637FD88D-B6CA-4700-B244-366C13B976D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d754a65b8ad36fde25fd770cea35064808ef2c6","datavalue":{"value":{"entity-type":"item","numeric-id":2061250,"id":"Q2061250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2103672$F508FF82-DE62-4B5B-8478-07FA79BBA467","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07280ae6bbd464b3cd4f17f48e62fd66e6d5c416","datavalue":{"value":{"entity-type":"item","numeric-id":503191,"id":"Q503191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2103672$E6271714-EE88-4D4E-A62B-9FA727CB4B3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e5e8ca7c71a93d9888462c81d935626d16de13f","datavalue":{"value":{"entity-type":"item","numeric-id":2220062,"id":"Q2220062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2103672$C5719240-251C-4C91-8399-56528D542BC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a036387917bb8771d4aab81fe9a0d0b052fc1ff","datavalue":{"value":{"entity-type":"item","numeric-id":3976310,"id":"Q3976310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2103672$015C7F0B-A02B-450A-8401-F5C7CE471800","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b831737d589b0a23a5b27a913afc1fa352a521bc","datavalue":{"value":{"entity-type":"item","numeric-id":3529234,"id":"Q3529234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2103672$59922B21-86FA-4E94-9DE7-6BB64C219FAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e8829cb252cde6a855b1ce3f090a7c599659e27","datavalue":{"value":{"entity-type":"item","numeric-id":1158123,"id":"Q1158123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2103672$F5DBA39B-1DF2-4933-B5A9-CFE57EC788C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf9e6b93082db606a0e5a5d5c57355d6f6a28bbf","datavalue":{"value":{"entity-type":"item","numeric-id":5357702,"id":"Q5357702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2103672$7D69DE67-627B-4C9E-A481-BB9A13B53F87","rank":"normal"},{"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":"Q2103672$A21E1A1D-B1A5-4212-88D7-7E32B3B87158","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f044759284fd8083b0664a825d09fe3fe5f9b375","datavalue":{"value":{"entity-type":"item","numeric-id":2986934,"id":"Q2986934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2103672$51BA0724-D28F-487B-AFCB-B3A2B00D91E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e0abd2676b4a9cbd4e4af419b904f3aeef0e651","datavalue":{"value":{"entity-type":"item","numeric-id":4504792,"id":"Q4504792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2103672$519ABF66-53A4-4AF6-AF2D-069D361AA2EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6a4124d76e5449877c4923a5fb858149480e879","datavalue":{"value":{"entity-type":"item","numeric-id":4630123,"id":"Q4630123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2103672$6344A5C1-3D39-4B03-B288-F45C63A66A90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"736e7102375ef7909fe3453909e84ed964dc1627","datavalue":{"value":{"entity-type":"item","numeric-id":3384348,"id":"Q3384348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2103672$93DF4AC6-083C-4606-88D6-C6703F29D93B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a973b237c4ec4879151076c4456ddb84811336b0","datavalue":{"value":"10.1016/J.AUTOMATICA.2022.110696","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2103672$CC5DE12E-F137-429C-8E7F-B6EE3934CDE9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da42477affb7ec7588382597ee70029edcdb7b2b","datavalue":{"value":{"entity-type":"item","numeric-id":3190116,"id":"Q3190116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28024de6a51808d2536c126445134024491e4162","datavalue":{"value":{"amount":"+0.9038453","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2103672$259BE3F9-D9A8-478A-90BF-B8017A8238F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f672dd5ddb4cb65b76f1c11afba8dc51e22805c7","datavalue":{"value":{"entity-type":"item","numeric-id":503162,"id":"Q503162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3330c5d131dc8c398f2f5ed3a1c6bc20ef7e8d4a","datavalue":{"value":{"amount":"+0.9030361","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2103672$B06A7861-A4F6-419F-BFD1-D7E517EA31D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"373f6a6eb1f549c8a9b9d76b89758cdc113f5ace","datavalue":{"value":{"entity-type":"item","numeric-id":4673428,"id":"Q4673428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ebc41c674b922e80308748f0cb724738ff911a8","datavalue":{"value":{"amount":"+0.8983984","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2103672$D222A39D-95C6-4A9D-8764-208509B53CC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce8b8ce9ac9e0ee148a47974a5cde2dc38e6f9b4","datavalue":{"value":{"entity-type":"item","numeric-id":4972757,"id":"Q4972757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"683e86deef1a7d1c7c599d807cd50ab184b8e70c","datavalue":{"value":{"amount":"+0.8938407","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2103672$A41EEE7B-934D-445E-A528-8F9E824879AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6cbd32078a60a1b6e20882caf86ab0582322613","datavalue":{"value":{"entity-type":"item","numeric-id":3976558,"id":"Q3976558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14c8898c73cf4b05ff14c3144b89cf93a44dbe5c","datavalue":{"value":{"amount":"+0.8877657","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2103672$4B585E86-E751-4589-9199-E077B8C7E818","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b800f08b632fb196292b49233dbce1167f11021a","datavalue":{"value":{"entity-type":"item","numeric-id":2986934,"id":"Q2986934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"056de25f9094b3f5a2dc7c0ec388112f176102c3","datavalue":{"value":{"amount":"+0.8874434","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2103672$621DDBE7-8840-4038-A40F-AD088A7DC06A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05f48c55c9e2f968c69ff190d9e32cba51dc43c3","datavalue":{"value":{"entity-type":"item","numeric-id":1882333,"id":"Q1882333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec606b86a75cef7c29e5fda3aade83a9e9536eae","datavalue":{"value":{"amount":"+0.8835551","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2103672$D1F54E44-7F2A-4B23-B6A7-B1DF20ED26EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"717d18d21dd74ab48fcbe93a48090738a0bdd054","datavalue":{"value":{"entity-type":"item","numeric-id":3329301,"id":"Q3329301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28ad6d2013d9df6fa1287f1196fd64f20646995f","datavalue":{"value":{"amount":"+0.88307863","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2103672$04A82785-17A6-49AE-A8CB-5DC29DBB6EF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad301d362d0650827628133dd52bac4d37ddf25e","datavalue":{"value":{"entity-type":"item","numeric-id":2628510,"id":"Q2628510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1b047535b3d77beddda26e2f102cf4f844cbb6d","datavalue":{"value":{"amount":"+0.879734","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2103672$1A8090A6-5BD3-42B5-9549-0B5C1360A2C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4643a4a2d23444962e3537917240727f1cbbc401","datavalue":{"value":{"entity-type":"item","numeric-id":2628473,"id":"Q2628473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb2de216c932b735160e7aaa53e1c1a3cb95ec63","datavalue":{"value":{"amount":"+0.87963474","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2103672$2E27BC72-1158-430E-BEDA-7B716BA25549","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automata-based controller synthesis for stochastic systems: a game framework via approximate probabilistic relations","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Automata-based_controller_synthesis_for_stochastic_systems:_a_game_framework_via_approximate_probabilistic_relations"}}}}}