{"entities":{"Q2941765":{"pageid":2952485,"ns":120,"title":"Item:Q2941765","lastrevid":85265168,"modified":"2026-06-03T06:33:13Z","type":"item","id":"Q2941765","labels":{"en":{"language":"en","value":"Permissive controller synthesis for probabilistic systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6475352"}},"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":"Q2941765$E1C8112A-E7CA-4EAB-9941-193A934301D6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d9a1bc5aaa7a7df40ddea0defb70b1f6bd9dc626","datavalue":{"value":{"text":"Permissive Controller Synthesis for Probabilistic Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2941765$8E182285-1BDC-4D4B-8C8D-7B456AB5DE9A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0c66374c8aa69693c226120d774681d0b4c70cd3","datavalue":{"value":"1391.68076","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2941765$B0049845-4FFD-4465-828A-21B1E7427AA5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"864a1b001b32ce302bb4116276cec0f3fd9421f0","datavalue":{"value":"10.2168/LMCS-11(2:16)2015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2941765$396DF80F-427E-4435-B734-18B6A7E78CB3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941765$7EBF4E65-88A5-43C5-9C4B-B7C2EBD1EEEB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"58a31ea2ce845203d6a39244a5f91d2bbfe1b016","datavalue":{"value":{"time":"+2015-08-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2941765$2AFDB435-7EE8-4582-9D41-0C67DB44B175","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3ed999cad45b448655e140baae97047509bb9069","datavalue":{"value":"https://arxiv.org/abs/1504.04662","type":"string"},"datatype":"url"},"type":"statement","id":"Q2941765$D8798C09-17CF-4D6A-BFAB-A166B662658F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2941765$2873DC6C-6AD8-4D11-853A-66233F3DF479","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2941765$A7EDCC5E-A737-417E-A137-2430CF61B0C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8f34675a74b150d19473221b06b085ebc8156162","datavalue":{"value":"91A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2941765$AFDB8978-3EFF-4451-8DF4-E16A6C1B8C01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d6c670ac731a27c7bfd90316f3e999219e79aab5","datavalue":{"value":"93B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2941765$5BD1F678-0742-4801-9CF0-E9AAB0F55CF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b1a9a20c16e14977aabce86aca077afc2aca3644","datavalue":{"value":"93E03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2941765$9A92AAFA-6B4E-4B3B-ABAA-1C3A727C3663","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"487db167a4cd8a59ba1a9c7d42304cde34dd4550","datavalue":{"value":"6475352","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2941765$CC5A8F4B-03C4-4CB2-96B1-8346A0B95458","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6f7b890de0bb5e9d45d15d280bf18eeaefac20c","datavalue":{"value":"probabilistic verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2941765$A185F6E0-71FF-4AF1-A912-EE5554FB92E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d77521d995b00a7ce9fc2f9d899c30e96fbee6a","datavalue":{"value":"controller synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2941765$BB007919-81EE-4ED9-985B-CB2ABD785D99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a5946a51a5884d5e86db7472d96ff43e6ea9b65f","datavalue":{"value":"stochastic games","type":"string"},"datatype":"string"},"type":"statement","id":"Q2941765$8D964F7E-C3F8-4A1A-AF34-9C2B39C47BDF","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"531a52a4ab12ab6e2b5be84834036762ed677445","datavalue":{"value":{"entity-type":"item","numeric-id":13928,"id":"Q13928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941765$98AB865C-B2E5-41E7-AD6F-47ABFE09FAD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6c78c15211c2ed190a323edf74a43a39941ce473","datavalue":{"value":{"entity-type":"item","numeric-id":24836,"id":"Q24836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941765$3F75946F-DFC0-4E7C-BC95-8F50C14F681E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"70f3fe4d2fe10b7c926cf6b5186ff4c9bbf9e099","datavalue":{"value":{"entity-type":"item","numeric-id":24857,"id":"Q24857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941765$93074195-6396-40BA-8596-87C7133B351F","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":"Q2941765$33803EB7-D842-4FA1-8128-C9895C0DC5E1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"88b9d4e934a6deee50f1f1cee1d434a1b7598bd0","datavalue":{"value":"W2763611255","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2941765$634394DA-69F2-469D-8B52-F1598DBC7EDF","rank":"normal"}],"P1643":[{"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":"3f40dfbb181659422aaf06ed7d7bf3043b09240c","datavalue":{"value":{"amount":"+0.7762014269828796","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":"Q2941765$487B0564-16C7-47D2-BA76-1434325C2432","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f8108225661709c6fe6b03b4394fa5500a39cc0","datavalue":{"value":{"entity-type":"item","numeric-id":2103672,"id":"Q2103672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf7e577f359697c75579593d27bfc26ffd6f151d","datavalue":{"value":{"amount":"+0.7691556811332703","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":"Q2941765$84FBF69C-E36D-4DD9-AE7C-3B2FC6B5093E","rank":"normal"},{"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":"9e03176ed7aa58d3a4d7a7d05c54cb54c5abf4f6","datavalue":{"value":{"amount":"+0.7556555271148682","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":"Q2941765$D5E6ED39-873E-4EA9-B82E-91CAAB14A41E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a78b5dcb5d674ae93470d655a6e09b149d0c4896","datavalue":{"value":{"entity-type":"item","numeric-id":5175108,"id":"Q5175108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d8b7c24dcd8a9f87a472c798e7f3602dd4077f9","datavalue":{"value":{"amount":"+0.7422228455543518","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":"Q2941765$41CCAA97-508E-4A3B-B948-D4B1BCCD5080","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"897753b8f0ae7f18a0e7bbb920315aa82a12929d","datavalue":{"value":{"entity-type":"item","numeric-id":513185,"id":"Q513185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6024c2da9c65364dcd6e7d875467059d8b3481e6","datavalue":{"value":{"amount":"+0.7381561994552612","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":"Q2941765$6F61510A-F45B-4257-BB6D-147B24FCCC7B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Permissive controller synthesis for probabilistic systems","badges":[]}}}}}