{"entities":{"Q4649312":{"pageid":6678893,"ns":120,"title":"Item:Q4649312","lastrevid":51600956,"modified":"2026-01-19T00:38:35Z","type":"item","id":"Q4649312","labels":{"en":{"language":"en","value":"Higher-order approximations for verification of stochastic hybrid systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6109385"}},"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":"Q4649312$1354845C-CF9F-4311-9F55-8F340C20581D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"65e6656cdfa28af503ba1691f99fde4a4d536185","datavalue":{"value":{"text":"Higher-Order Approximations for Verification of Stochastic Hybrid Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4649312$D928E8A0-2611-4A06-97B4-A24BBBB0BD63","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"62659552855562d32fd4b28ec879eb80a2eaff7b","datavalue":{"value":"1374.68280","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649312$B2FADF33-3E51-48C9-AD01-DED0C37CC428","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"97c02b5b792ca7ff2232ef6ceeb13d2bd48d6481","datavalue":{"value":"10.1007/978-3-642-33386-6_32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649312$AD4EAE9A-434D-4F0E-A079-ED1A4417D3F0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6a1f91e571b8e79a9601e7de65c49892f6d9269a","datavalue":{"value":{"entity-type":"item","numeric-id":523134,"id":"Q523134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4649312$0FC4405A-6843-4E4B-A200-3294CC7B1736","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e149cd480f45d2379e65fc119900d9656b0738a3","datavalue":{"value":{"entity-type":"item","numeric-id":262436,"id":"Q262436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4649312$4C019BAC-A384-4781-8E18-7BDFB93F2F31","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fb871d7a444106c04a08900e781eca233868e362","datavalue":{"value":{"entity-type":"item","numeric-id":3172900,"id":"Q3172900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4649312$DB39F5B1-7CC8-4E99-9CAA-42BC576D36A6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"009d073aaba8149d93f34c88135fe65aadf514ad","datavalue":{"value":{"time":"+2012-11-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4649312$998E9AAF-8E20-4B00-9EB5-FF4E1DAF80AE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649312$5E8EB213-743B-4BA9-9068-6AC17F13BF30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649312$B6E3F3C2-44CB-4534-8213-C162ADE5581F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d7c9d3c32434374e1be1045f2afc1529430dc187","datavalue":{"value":"6109385","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649312$4FE37997-944E-4DA7-9AE3-BD5CECC437CD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6975987a18ab03ebb5a26ee9b025a83d00346310","datavalue":{"value":"general state-space Markov processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q4649312$BD0D21E3-D9A0-4B60-8EDD-4EEA4A163E2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6255abf574cd911ce0441a5a04032698806b52fe","datavalue":{"value":"stochastic hybrid systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4649312$F1870D2C-56A5-4A5F-8A58-BC0B3E37DB8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e5f187ca332cb64b612a72e3ec79a3e9a99e3066","datavalue":{"value":"PCTL verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4649312$AD5FB007-98E5-47BC-8FEC-CD0CF2E57AC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af15b0d3d18871cad62970dc88e5de6c865cbe65","datavalue":{"value":"bounded-until and reach-avoid","type":"string"},"datatype":"string"},"type":"statement","id":"Q4649312$52989CBB-1FDD-4AC7-9EC8-AFD26DA966F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d7bd84819481d89b34fdf682189bc20046c55d2","datavalue":{"value":"interpolation theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4649312$8DB8A415-7324-4C9C-B77C-2E40C43EF565","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":"Q4649312$DF641825-03C7-491B-840B-438B94A60100","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fc9af5f638e367637d05c0e87655e7e1d2db1256","datavalue":{"value":"https://doi.org/10.1007/978-3-642-33386-6_32","type":"string"},"datatype":"url"},"type":"statement","id":"Q4649312$8FC743B1-3D92-4329-A6C2-4A04FF2243C4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2fa7e2335f6c16eeadfcf9cfac95dfb4c8aac0dc","datavalue":{"value":"W114292900","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649312$6F911B79-1A12-4899-8FC8-56141401582C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4797b2c604387da2c9691f4be436d2f0496491f1","datavalue":{"value":{"entity-type":"item","numeric-id":629650,"id":"Q629650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12ebc30282853e1138493a74b3b72ec39699a0b5","datavalue":{"value":{"amount":"+0.8029192686080933","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":"Q4649312$99F7BFAE-E0D1-4530-AC8D-155D0407E8AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f1d9c784000e688741a50ec567172aaaa0ea95b","datavalue":{"value":{"entity-type":"item","numeric-id":2988932,"id":"Q2988932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"965c23ccc6de0c5406cf92b6eb42a398aa4d0740","datavalue":{"value":{"amount":"+0.7776952385902405","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":"Q4649312$AEFC9D53-BD80-4C95-82AB-E7031A338E96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11151f9884af4846a2c2083068fabda4e8fe0464","datavalue":{"value":{"entity-type":"item","numeric-id":2478551,"id":"Q2478551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d34c1e0c9192a83b69e0c0825db9d25a83bf580f","datavalue":{"value":{"amount":"+0.7725175619125366","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":"Q4649312$A2012195-56F2-494C-B661-87F5F1370708","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10865d482832e5d9f7c155b363746eecafb04bad","datavalue":{"value":{"entity-type":"item","numeric-id":5376905,"id":"Q5376905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5792a5b42e45584f10a09e76691eb1f4b995a52","datavalue":{"value":{"amount":"+0.7607271075248718","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":"Q4649312$0012A12E-6C32-4CA2-A7BE-4A5B1AF983B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ffbd3cbfe2941fa06f14326880bf774f79357403","datavalue":{"value":{"entity-type":"item","numeric-id":2986933,"id":"Q2986933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05701d9afbcc4bc8c51a5971430a1fd8fec862c4","datavalue":{"value":{"amount":"+0.7573463320732117","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":"Q4649312$F689E4D5-C308-4D64-9EE0-49280C29F71B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4649312","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4649312"}}}}}