{"entities":{"Q624936":{"pageid":626783,"ns":120,"title":"Item:Q624936","lastrevid":63283698,"modified":"2026-04-11T11:50:16Z","type":"item","id":"Q624936","labels":{"en":{"language":"en","value":"Verification of discrete time stochastic hybrid systems: a stochastic reach-avoid decision problem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5850199"}},"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":"Q624936$466CF90B-D7E4-45FE-B3D5-BC60B3A7EBC2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bb8b00048554ceb261bef2f67873b719113eb7f5","datavalue":{"value":{"text":"Verification of discrete time stochastic hybrid systems: a stochastic reach-avoid decision problem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q624936$2DEBC5F4-34A8-4B7C-8519-009584ACF905","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f4259f616462222081845f863c87ab295ae9e832","datavalue":{"value":"1371.93220","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q624936$69BDE5D7-5046-4088-9143-FE07589CBE46","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"db210d2463266df4c7f3ce874a966939b72de73f","datavalue":{"value":{"entity-type":"item","numeric-id":503161,"id":"Q503161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q624936$E89E3E9F-2653-47D0-BD6C-C240321BA1D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3eb46cd344108c864b2f16861a4edec764c0ae87","datavalue":{"value":{"entity-type":"item","numeric-id":290822,"id":"Q290822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q624936$DE11F6AA-D878-4813-9F81-0B6D81266BA6","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":"Q624936$5BBA30E0-8EA4-4883-A90F-F11184E3D410","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f68c84d94dc2b0d372224244b271c713d0aa2e67","datavalue":{"value":{"time":"+2011-02-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q624936$ADB37010-DA0D-4B13-AA13-E523D282C492","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e3bc6c7cda8279d6ad2b578e7a7e4967447c3cc4","datavalue":{"value":"93E20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q624936$6CE1FFD7-ED5D-4A12-BC24-EBF71A5C9A59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"39a0025ac480893a6c3723330b06364463bbd01f","datavalue":{"value":"93C55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q624936$DAB0C8B4-DEBB-4086-B8F0-B34453DC3E52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"aa3ca91474fff28e420d9cace433f8447ec799b0","datavalue":{"value":"90C39","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q624936$E312452C-0D0A-4BD7-A2DD-F19FCD254E0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"484a53c33fe728f641ff4837f23bb0a746ae21a1","datavalue":{"value":"91B06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q624936$4EDB275D-CECD-402B-B97A-B2D525AA3130","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"789dd19d8dd7084d44dddb2ee990f34740bf2772","datavalue":{"value":"5850199","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q624936$2FA0C648-271A-4402-B5A8-E81314E4EB2B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b03439e7dedf0c27568d228c7244768e0713fd5","datavalue":{"value":"hybrid systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q624936$656CBCFD-0D15-4595-9868-58428531EB03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40e101f7f59f22564ca505a04735b03a71301737","datavalue":{"value":"stochastic systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q624936$6520F964-9212-4E7A-B364-4AA0B2B41D96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a618b40b0e1c60d8f3695a0363009e29e3d436f0","datavalue":{"value":"reachability","type":"string"},"datatype":"string"},"type":"statement","id":"Q624936$39D48BC4-28CF-4271-AD7C-BCE787053920","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d584e359576a00f85def0b98465ac7707c1c7959","datavalue":{"value":"safety","type":"string"},"datatype":"string"},"type":"statement","id":"Q624936$DA61198E-1CC3-4D7D-8C8F-654C2C0066C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b478b9d38ee7d518404d240160b55a44d0a6af0","datavalue":{"value":"target hitting","type":"string"},"datatype":"string"},"type":"statement","id":"Q624936$316B9489-1134-45BA-8340-832EAFE46CC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f47fee90c5592664decba5aa2e51ae852ecd7730","datavalue":{"value":"optimal control","type":"string"},"datatype":"string"},"type":"statement","id":"Q624936$51B56C75-E3CF-43D1-9E0A-D85C840467F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d82cfa81638332a8c825bcbbd9d7f7f9c0c45be","datavalue":{"value":"dynamic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q624936$58363D46-6689-48E1-9939-FD142750D1F3","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1495f546eb2c0303aac091ffce260dd0b429f616","datavalue":{"value":{"entity-type":"item","numeric-id":18443,"id":"Q18443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q624936$CE53147B-8920-4CD9-ADB3-BD23AE62C907","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":"Q624936$486E284C-D9E1-415A-931A-D07C7E9D28FA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d4acc138814fde5bc5c5804d71049e914c62de34","datavalue":{"value":"https://doi.org/10.1016/j.automatica.2010.08.006","type":"string"},"datatype":"url"},"type":"statement","id":"Q624936$082D2B5F-66F5-4149-9AF6-1721B9FDC30C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"409a14183adbafa9e52aa1102046d20173237a77","datavalue":{"value":"W2084772009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q624936$926D1362-B0C7-4F48-9175-D7D51C31F270","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"770933e780e82311c3b7f188673515cd8fbf450d","datavalue":{"value":{"entity-type":"item","numeric-id":3612955,"id":"Q3612955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q624936$FD14AE27-8143-4672-AAC2-B2682A50B351","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":"Q624936$C393D56D-942B-48AE-A1AA-C896ADBAA936","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79dc4a1688b10f434f276ba92a264202cc5adcfd","datavalue":{"value":{"entity-type":"item","numeric-id":5905497,"id":"Q5905497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q624936$B512DFDC-FFF2-4CD9-98F6-60F107C67ACF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"605984fbcb19ad48cac62d01a878781c74cbfa55","datavalue":{"value":{"entity-type":"item","numeric-id":5273712,"id":"Q5273712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q624936$7359D3AD-0CE2-4CCB-9F11-511CBB6719E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14511b3434fba07b77dec79eceea724900ded85d","datavalue":{"value":{"entity-type":"item","numeric-id":4417983,"id":"Q4417983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q624936$908C9088-E6C9-43DD-85E5-3878B9698148","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0e750b54a3ce2015c0967c949ab0e20fd97b444","datavalue":{"value":{"entity-type":"item","numeric-id":4784308,"id":"Q4784308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q624936$7B37883B-BBC6-4154-9E5F-E5A77B53B2BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8f398cf5b4cd544d74c5d9e72ca2b8933b711ff","datavalue":{"value":{"entity-type":"item","numeric-id":2485524,"id":"Q2485524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q624936$7204C2DD-9F1D-49DE-A7FD-D82885CF1D7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b214cbc15505dc621ea2a8f7d4a704f31bda2f5","datavalue":{"value":{"entity-type":"item","numeric-id":3997210,"id":"Q3997210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q624936$5DCD0ABF-E743-43C4-884B-2621B3B3F5F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ffce527e7954b24868e7c5741c36e5c483687399","datavalue":{"value":{"entity-type":"item","numeric-id":933644,"id":"Q933644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q624936$FCA09F0E-D731-4BF2-B590-F190F735D176","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"feb069f53702ebcb4130c6349536a4829440ca29","datavalue":{"value":{"entity-type":"item","numeric-id":3136505,"id":"Q3136505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q624936$1A99DB5C-27AB-4795-8D68-576928DD48DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9516766c12f176bf1b78c994ddb06a96e77b864","datavalue":{"value":{"entity-type":"item","numeric-id":1423348,"id":"Q1423348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q624936$01492349-DC8F-4EBD-BBD8-42AF27838CC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9691d7c984aa3e074e8104991246f88258908a8","datavalue":{"value":{"entity-type":"item","numeric-id":5282223,"id":"Q5282223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q624936$9296069A-FE1D-45E0-8509-DCAFFEA7D6C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b05f0cc8162463f2188d6748c9596b0616f21adb","datavalue":{"value":{"entity-type":"item","numeric-id":4377429,"id":"Q4377429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q624936$00B894AF-2E05-44EC-9293-DB92EF3D3EE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25ff2886f15d08bb695e0fc9e2ac40d6685d03d0","datavalue":{"value":{"entity-type":"item","numeric-id":4953390,"id":"Q4953390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q624936$63E897B9-1BE0-405B-8AF4-96293B20988E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4279a71d98c650f1f5ea29f2003cd8176b4c8873","datavalue":{"value":{"entity-type":"item","numeric-id":5898991,"id":"Q5898991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q624936$585C96E1-6EBB-46DD-B25F-EC7F1B4094CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0123288b8801e8f87e47c1b2dd2098a55e322b5b","datavalue":{"value":{"entity-type":"item","numeric-id":4004190,"id":"Q4004190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q624936$37B3C240-2BD5-4943-8DD5-35C9117514BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e92fb6a184961c8640e5a3ea059322a8ea1d66f","datavalue":{"value":{"entity-type":"item","numeric-id":1888412,"id":"Q1888412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q624936$E5E7A777-2E2D-4B7C-A010-E735AF361D9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d5935d0f30d1d4eaf296869f3bf58497d6af401","datavalue":{"value":{"entity-type":"item","numeric-id":618363,"id":"Q618363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q624936$227A7B0C-1EF9-4687-B069-3AF533E01B01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b17638db1f144c3c0eb75314d4bcb89af51a3e82","datavalue":{"value":{"entity-type":"item","numeric-id":4953402,"id":"Q4953402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q624936$C030B935-1136-46F8-901E-093C33ED8775","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76b06e6faa10ddee6e478d89fba3b1f5d0c7033d","datavalue":{"value":{"entity-type":"item","numeric-id":1613645,"id":"Q1613645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q624936$8A930D21-848B-43DD-925E-79CF6C5E13E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"903577c366895a4786cf31d73b4692d23f17f7e8","datavalue":{"value":{"entity-type":"item","numeric-id":1265912,"id":"Q1265912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q624936$8A929BEF-32FD-4051-B042-E97797ACEA50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bb92248dcab3235d9bb3ed07ba02c2c20ca7054","datavalue":{"value":{"entity-type":"item","numeric-id":980778,"id":"Q980778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q624936$1C54D6F2-5CD9-4196-9E74-2CDB0AF3FD72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c1787d2c081da04d535b4c5accca825bb6c37a8","datavalue":{"value":{"entity-type":"item","numeric-id":4340161,"id":"Q4340161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q624936$0FF1B782-E513-4925-B5D4-B9C9C7A8CF67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39ce91d9425526589c61cb1b7e605589f8cff2b9","datavalue":{"value":{"entity-type":"item","numeric-id":814889,"id":"Q814889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q624936$A7680D63-1522-4FE3-8AC9-A70809209194","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f16209c8d95c853615f5cecbdab3370d6cc5cfc3","datavalue":{"value":{"entity-type":"item","numeric-id":2569446,"id":"Q2569446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q624936$C7374652-8889-438A-A71C-72C63D0B9C32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"856d7d7156ee8e2ebb54f385d222e417c9fd0af4","datavalue":{"value":{"entity-type":"item","numeric-id":2574612,"id":"Q2574612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q624936$B0443CFF-CC16-4530-BE97-8CE566B33722","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"841b9327bf5a9a5f0f97390bbfeaa45e49b57a82","datavalue":{"value":{"entity-type":"item","numeric-id":2483443,"id":"Q2483443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q624936$53124AA0-5992-4F00-B9E9-C0CCD185258F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e96bd692a8ba86a7c2567fc2bfc09c6ff90759f5","datavalue":{"value":{"entity-type":"item","numeric-id":883070,"id":"Q883070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q624936$AB574068-FEDF-4FB4-8189-9FDFCF85C252","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"114c491d04c6faa47519fd4fdf1bfb5553563e9e","datavalue":{"value":"10.1016/J.AUTOMATICA.2010.08.006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q624936$3E18E4DB-97E2-4041-ABE2-0BB4A9D6E4BD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e595f5547db4a057ca94fc7d2b1d1636449e3069","datavalue":{"value":{"entity-type":"item","numeric-id":2986736,"id":"Q2986736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f29a69cf56c7e60d319fd8aa4c2a76d0f29a0956","datavalue":{"value":{"amount":"+0.8484041094779968","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":"Q624936$B33F3451-58C2-4A6F-B24A-313862109D09","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":"7d1a950c09a7f5ef758a6d4a9198734e6483c2b3","datavalue":{"value":{"amount":"+0.8227540850639343","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":"Q624936$1B0197C3-0653-4ACC-AD2A-209DC0058BF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e3f205980325d0ac456f136121b553b12734b36","datavalue":{"value":{"entity-type":"item","numeric-id":5898969,"id":"Q5898969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb6db9770477075c883e1771f2e71e286d9c90c8","datavalue":{"value":{"amount":"+0.8117927312850952","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":"Q624936$6180FEFF-B3F2-4F6E-98A1-B11505F6262F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c9630cc7655466e9fc5cba0b2dc74d9ba946493","datavalue":{"value":{"entity-type":"item","numeric-id":2377974,"id":"Q2377974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ef445b354d611c940d9be75198fb4a81fc067ef","datavalue":{"value":{"amount":"+0.8053479194641113","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":"Q624936$35757BC7-4F24-4594-824A-A2064923007D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87ea12419bd56d308806fb90418eacf81e597b88","datavalue":{"value":{"entity-type":"item","numeric-id":3523143,"id":"Q3523143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6699b684e1832e83374603db94929c9f52161f9a","datavalue":{"value":{"amount":"+0.8043750524520874","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":"Q624936$456DAADA-A78B-4E81-9541-4057994A493A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Verification of discrete time stochastic hybrid systems: a stochastic reach-avoid decision problem","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Verification_of_discrete_time_stochastic_hybrid_systems:_a_stochastic_reach-avoid_decision_problem"}}}}}