{"entities":{"Q5919894":{"pageid":8051828,"ns":120,"title":"Item:Q5919894","lastrevid":102127964,"modified":"2026-06-06T03:33:07Z","type":"item","id":"Q5919894","labels":{"en":{"language":"en","value":"Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6664168"}},"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":"Q5919894$EDE75B4D-6D0F-454E-851E-F5C6DFE15CB5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"587e60e1c80953fa3269114f7f754ff5682c8676","datavalue":{"value":{"text":"Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5919894$1DD9E0B4-C702-402F-885A-35F3C20C7A40","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f0c0bc405e3b8feff9ba3333fe19b4c85b30b1e7","datavalue":{"value":"1351.93138","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5919894$BE6C149A-24C8-4446-A8B2-FF6342EAC690","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"97fbf00874ac8f03f2d27d4cfeee0b3ceaef3957","datavalue":{"value":{"entity-type":"item","numeric-id":328164,"id":"Q328164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919894$4166DDC0-59AA-4A76-ACC1-286852552BD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8e4018f669876a5819cf16362b14fc078dbd59d6","datavalue":{"value":{"entity-type":"item","numeric-id":690503,"id":"Q690503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919894$15604FB8-2694-4417-BC18-7897E7E5426E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9908fdd28c6b1a4c84972d566ee41c4fdd68fc38","datavalue":{"value":{"entity-type":"item","numeric-id":253966,"id":"Q253966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919894$0F0B87F5-94D5-4342-BC87-E4F35F13B2A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2cff81c72b46c2d37ebe9a5f2cbcfbb6825cbcc7","datavalue":{"value":{"entity-type":"item","numeric-id":253965,"id":"Q253965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919894$3308BCDF-4920-45AB-8D71-652B85F1B5E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"49f82df4d18eab422e11b74b412720f50f68da1a","datavalue":{"value":{"entity-type":"item","numeric-id":1306564,"id":"Q1306564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919894$357DBA8E-E13B-44D5-AD9B-20CED323426C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"72a9bc0dd2218172a714bfff2e47becf5e5a96ec","datavalue":{"value":{"entity-type":"item","numeric-id":184778,"id":"Q184778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919894$957CD2CE-BC7E-4009-A3C1-072E0664FC92","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":"Q5919894$14780929-DD36-49E6-801B-9DBF30720FC5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e3d1669fd63345cf64b2617c12ed41ffb07d8520","datavalue":{"value":{"time":"+2016-12-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5919894$559B694E-DDAA-4F4E-8FA4-99915031FEBA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"63c84f9656c0994c934589d5b5e5dab19f4dd37f","datavalue":{"value":"https://arxiv.org/abs/1410.5387","type":"string"},"datatype":"url"},"type":"statement","id":"Q5919894$7365AED0-F0DE-4D5F-81F1-55C644CEC7F0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b1a9a20c16e14977aabce86aca077afc2aca3644","datavalue":{"value":"93E03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5919894$01F8A449-E572-4998-BECE-0E7B9C510B86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dbba85562facd3e546df50a87515dddbb3dae27e","datavalue":{"value":"93C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5919894$CC5C6AC7-B7DB-40F0-A04C-CB8A58EC41BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"39a0025ac480893a6c3723330b06364463bbd01f","datavalue":{"value":"93C55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5919894$64E0C9D1-9E26-4A3B-A67C-C211BD9573E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8f34675a74b150d19473221b06b085ebc8156162","datavalue":{"value":"91A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5919894$B3B71230-2D75-4CCD-B5FA-F8E8BA6A671D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4c15fc5b552da2164fcbae119962e97168cbc3a1","datavalue":{"value":"93E25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5919894$F7F6C40C-9352-4E3F-A22B-118F6DB6B85F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"05d3b2f38129f37c8d48957282dde8002610951e","datavalue":{"value":"6664168","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5919894$A07307D0-958C-4716-9462-42FEB6C2A535","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1bbd1c77ab6630b6719a45a7fcf2f2c29ba5fe4e","datavalue":{"value":"logic control","type":"string"},"datatype":"string"},"type":"statement","id":"Q5919894$CC567331-0818-4075-86C6-3C712E4BED51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6cd19b0517e95a1095aa0b6711a2d5891abf61d1","datavalue":{"value":"linear stochastic system","type":"string"},"datatype":"string"},"type":"statement","id":"Q5919894$4B648477-95E7-4D95-8DA9-2E0E5369FB03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5919894$45370CB4-8A33-4A65-AF6F-F5D2149AD121","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9917a2dfd376250c18f9925b8d22d45575bb3eef","datavalue":{"value":"abstraction refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q5919894$BC9B44AA-B74E-4043-AEAA-1682695F6687","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dc9a47c8de051a880f2e514b2df8fca32ac201f","datavalue":{"value":"games","type":"string"},"datatype":"string"},"type":"statement","id":"Q5919894$ACC68CAA-3C52-41D7-A72E-62148F486375","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":"Q5919894$E2AC8F7C-A828-4B40-B874-AF89B5518DF0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5fac53e09042857037cc8c6e28e19a620deed275","datavalue":{"value":"W2409296555","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5919894$796ADCFA-B245-43F9-AAA2-159421DE7B43","rank":"normal"}],"P223":[{"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":"Q5919894$641EAC22-C88D-4EEB-BBDE-682D57038BE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b471e81978679b9a69ab1d981741cde62e4fd9a9","datavalue":{"value":{"entity-type":"item","numeric-id":5606989,"id":"Q5606989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919894$247A9E9A-B291-4FC2-ABC4-28FD888544DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eed95bbddeb07790db452fc32f143b39f90e5aa8","datavalue":{"value":{"entity-type":"item","numeric-id":5573394,"id":"Q5573394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919894$A07F982B-B222-45D5-8F07-B3ACC1FDDFE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0100b938aa02592e3dcec5a016d883a9d79cc50a","datavalue":{"value":{"entity-type":"item","numeric-id":4205072,"id":"Q4205072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919894$E39AF418-B558-479B-84A7-4AF050C345E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d75892faacdd97c36520212d868b89ce76553026","datavalue":{"value":{"entity-type":"item","numeric-id":5352845,"id":"Q5352845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919894$D7C78764-D1AD-4F22-B7C9-E14FD705BB3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31db24485a953550755101262c70ff77330a5796","datavalue":{"value":{"entity-type":"item","numeric-id":2986755,"id":"Q2986755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919894$3AA7B9AA-EC55-4DA1-8842-6F666518FCB7","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":"Q5919894$25AD3A44-46BC-4C28-BBED-59B800DC509D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38685204a6d52ca3bb8e7b5bb3dfdb661bd3656a","datavalue":{"value":{"entity-type":"item","numeric-id":4418864,"id":"Q4418864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919894$B0194CD2-4AC0-41D4-A23C-BA998099AD10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ec2153532a4f0543a91d84b5ec5f9298a000257","datavalue":{"value":{"entity-type":"item","numeric-id":2982914,"id":"Q2982914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919894$247115F6-70E5-44C8-A2E2-54E63D7DFC5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ab702fb645e1fd078009ae355fae5263062dc47","datavalue":{"value":{"entity-type":"item","numeric-id":2985872,"id":"Q2985872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919894$8EAAF976-2782-4A49-9374-18AEB1F04E76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee375c7bcc9847e2999b97cdff8f98ca7e0a19de","datavalue":{"value":{"entity-type":"item","numeric-id":5898629,"id":"Q5898629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919894$357C5DA6-2CDB-4F29-AA37-17011E454F31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c71ee253892b177799592f03938a61eb6c7732cc","datavalue":{"value":{"entity-type":"item","numeric-id":4369884,"id":"Q4369884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919894$65CE2F78-E300-4484-91AD-A392483944F2","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":"Q5919894$00B529AA-2573-45A7-BDFB-4329D40941B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d2bfc2649e182a2a2bee3c4f8d7a9520ae080c9","datavalue":{"value":{"entity-type":"item","numeric-id":5892457,"id":"Q5892457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919894$F9CD8EE1-7468-4418-8149-53A970A6D3C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4e76c825528d989c9f71bd0494194b239f5e7ad","datavalue":{"value":{"entity-type":"item","numeric-id":4449227,"id":"Q4449227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919894$2ED13B6C-0F09-4CCF-9AFD-A405BBD46415","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"797d73b7b00329be7f930f664b79de6020dcf02a","datavalue":{"value":{"entity-type":"item","numeric-id":3648833,"id":"Q3648833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919894$30DB2F2A-87A0-4368-B2AA-9B148A06FF3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3a647c62cf48289f8a40a0c7cdd162c9806e377","datavalue":{"value":{"entity-type":"item","numeric-id":2986756,"id":"Q2986756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919894$7309BBAF-A8E4-4713-9CDB-2E3F362E1142","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7fe5e4abf2d41b7956a4cc29b717dfd999acdd6","datavalue":{"value":{"entity-type":"item","numeric-id":5347900,"id":"Q5347900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919894$1479A6FC-BE87-4BA3-B59C-26866CCF0F3C","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":"Q5919894$A69DEDF1-5FB8-4A8D-BCFF-6D7A8328E1F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"759debb9825d225ea87326644349c01a8ddd722f","datavalue":{"value":{"entity-type":"item","numeric-id":5898983,"id":"Q5898983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919894$40F47045-57F1-488D-B7FC-E83B820A6DB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f28e11599fdd1f647685b3844fd11d8d0539850b","datavalue":{"value":{"entity-type":"item","numeric-id":988781,"id":"Q988781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919894$B9544BDA-6303-4DD8-B8CF-27A3F6AA97A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"160815820c7ea34f2c0a5c628f74e5809c425011","datavalue":{"value":{"entity-type":"item","numeric-id":2356655,"id":"Q2356655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919894$6A75C05D-64B8-4A74-BCEE-DB0B5FFB48FF","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":"Q5919894$6CC1AA1B-2909-43F8-B94D-1F1AE9373DDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0629a37dcb723bf1223bb76623e0aa00716c3189","datavalue":{"value":{"entity-type":"item","numeric-id":2946647,"id":"Q2946647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919894$995918C5-4AFE-40E9-B30B-FE620C4B9D4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce32087d1da7cec38389830a5d4c77282c9a4c6d","datavalue":{"value":{"entity-type":"item","numeric-id":3512436,"id":"Q3512436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919894$1B957F18-52A6-4038-B42E-9F73C78E30BC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e4ffaecf85b78030c27a90d44b2ff4146abf0990","datavalue":{"value":"10.1016/J.NAHS.2016.04.006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5919894$78608796-3A8A-47AC-8AB1-785714F9CE9B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f1dc6db199f21252ddccea0eb27b664c11ad693","datavalue":{"value":{"entity-type":"item","numeric-id":5892457,"id":"Q5892457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bdd54f4ff25d265758c2fc643127c744ecb382ab","datavalue":{"value":{"amount":"+0.99507874250412","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":"Q5919894$B20D4BF6-8313-4A3E-9954-6AA5AB972823","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":"3c7c8887af4ec81d40259baabd0ccb7aaa8e8bcc","datavalue":{"value":{"amount":"+0.7939561605453491","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":"Q5919894$692FA8BF-FE4D-43CD-9021-4F5FDD2A793A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d91afdef5f86e28345974e672e2dec8bebda1f3c","datavalue":{"value":{"entity-type":"item","numeric-id":2986938,"id":"Q2986938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ed7079e63298d37b9ea7c86fe50b37f36e62b89","datavalue":{"value":{"amount":"+0.7741411328315735","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":"Q5919894$3F144A2D-15F2-4FA9-BCF3-3703838A57B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4ddd07bcdb4f921acefffddaaaad50bab69f723","datavalue":{"value":{"entity-type":"item","numeric-id":2158881,"id":"Q2158881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d900ea31e43b44dfa8fd0391723443f6366667dc","datavalue":{"value":{"amount":"+0.7731351256370544","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":"Q5919894$BD77CBE5-2EE0-4B79-9CF5-D2B91E983396","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":"39906c71d90a219c9f921fe4e4ae7e324bd9df37","datavalue":{"value":{"amount":"+0.7711893320083618","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":"Q5919894$F48DE631-03D2-4E4D-A00F-49C7CBA6001E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games (scientific article; zbMATH DE number 6664168)","badges":[]}}}}}