{"entities":{"Q832097":{"pageid":833945,"ns":120,"title":"Item:Q832097","lastrevid":54267767,"modified":"2026-01-26T13:56:00Z","type":"item","id":"Q832097","labels":{"en":{"language":"en","value":"Optimizing reachability probabilities for a restricted class of stochastic hybrid automata via flowpipe-construction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7498061"}},"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":"Q832097$413CA689-C58A-4A4F-87CE-4EF5A68179E1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c02142e1ae6b155adeb5dcfb95ceb9d2489c4975","datavalue":{"value":{"text":"Optimizing reachability probabilities for a restricted class of stochastic hybrid automata via flowpipe-construction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q832097$C3AA641C-A8F5-4D34-A059-F6265FE120AF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d0c6b7ca5b11896f0698bdf020ffab2c44961a6f","datavalue":{"value":"1491.68102","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832097$67DD77D6-73C9-4032-AB99-39169083D892","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4e40d5a8b2d373d37a1f41260e3aba09e9d64092","datavalue":{"value":"10.1007/978-3-030-85172-9_23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832097$42901F41-CAAB-4039-87BA-A41C4BEADE9D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f0312da408ec4eb5f0cdcdf4660e8cdf6ae8638d","datavalue":{"value":{"entity-type":"item","numeric-id":832094,"id":"Q832094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832097$1F976539-EEFB-454F-8102-3D4E7D6BFF7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d4c7d0c20c2910f3539886d801c7c5213058821e","datavalue":{"value":{"entity-type":"item","numeric-id":832095,"id":"Q832095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832097$96004CA3-918B-4D82-BF02-D31A77D9CF86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3ab59c40aa3f1553c66a6eb09646ad8f5d7173be","datavalue":{"value":{"entity-type":"item","numeric-id":832096,"id":"Q832096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832097$0CCF7709-D761-415D-BE98-81B883AB5F37","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ee216241628d7ab3ed1211164658dc9e68b98545","datavalue":{"value":{"time":"+2022-03-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q832097$DA1417C0-852A-480E-8351-3F877C65A15E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832097$3CA2145F-BE63-4C4B-B064-648C4AA2A49E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832097$AD4E702B-A2D3-4E98-A921-37B4DEAA1521","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8b0fac765b435c05f8cfbb67549fcbe50fa7e26b","datavalue":{"value":"7498061","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832097$8BAD9BA9-42AB-4265-8297-D3A85F27515B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"dd1a3dd9b17b8be196d9f3c5587425a76298afc6","datavalue":{"value":{"entity-type":"item","numeric-id":14250,"id":"Q14250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832097$7B3CEF1C-C817-49A0-A397-1EDD4AD21114","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"42bb6883144be7c7f9497f9e3bba727f80e1e22b","datavalue":{"value":{"entity-type":"item","numeric-id":16309,"id":"Q16309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832097$4D3EF9F3-FE15-4E02-A94D-FE02CABEEA5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2c19906f7a381f985883f63cec5e8a507a13287f","datavalue":{"value":{"entity-type":"item","numeric-id":16310,"id":"Q16310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832097$2912AB08-ABF5-4FCF-A024-8B35F0177F95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ec8ded018eb7998e191bd164cd2207a73f570ebb","datavalue":{"value":{"entity-type":"item","numeric-id":18022,"id":"Q18022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832097$12EA1A30-FE74-4C74-8C41-1D6F173A7089","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5a7d6df13b6c7f634053936e89d5b051079ffd09","datavalue":{"value":{"entity-type":"item","numeric-id":39932,"id":"Q39932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832097$E53441AD-0F26-421A-8513-232887D692C1","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":"Q832097$7C669D4E-A08F-4DEA-8D0C-6CFD6A5AC133","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"146b6ab265c4b0bccd42b538ba88ee47e86c5b43","datavalue":{"value":"https://doi.org/10.1007/978-3-030-85172-9_23","type":"string"},"datatype":"url"},"type":"statement","id":"Q832097$FD7E6D1D-72B8-4E05-A876-8707A70283E0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3a2cf1fa2b18eb582ee998e48c295402dcd12306","datavalue":{"value":"W3194912789","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832097$7C5B77C6-A60B-4B6B-A575-0DA93AD54838","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":"Q832097$D1220E10-642B-4384-AAFD-E2D395F7D010","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a4f341c6f254e4778fd7612981663d8b8703db9","datavalue":{"value":{"entity-type":"item","numeric-id":673868,"id":"Q673868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832097$DBC0C5F2-29BD-4CD4-B682-9A9D556E82F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"206bee8ccb1b69ba41f0919815b3c5701f8151bb","datavalue":{"value":{"entity-type":"item","numeric-id":2938760,"id":"Q2938760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832097$4B3AD959-0AAF-4C5E-BEB2-67B91303F321","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"005c0996be840a9e8b39f7b8d509fd1f50786217","datavalue":{"value":{"entity-type":"item","numeric-id":1653000,"id":"Q1653000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832097$2533C798-5878-4CCF-8284-AD44C15C03CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db0d7919da8a9913442a46ee15bada88e41905e5","datavalue":{"value":{"entity-type":"item","numeric-id":2575854,"id":"Q2575854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832097$EB982556-737A-44ED-8E77-81D4622F2A23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1db2e96150c8f7cad0f4ac7d4bf244364ac98c6c","datavalue":{"value":{"entity-type":"item","numeric-id":2986712,"id":"Q2986712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832097$0938535F-7042-43AA-96D4-599038CAA80D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bf16720b7d0b21f96024599d01fa01e2893ec80","datavalue":{"value":{"entity-type":"item","numeric-id":5703927,"id":"Q5703927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832097$8F227C62-2135-4F67-8981-F6FBB1D90108","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b406f9b9ed254ac478a4a13f1c477e4396481d6d","datavalue":{"value":{"entity-type":"item","numeric-id":2248073,"id":"Q2248073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832097$CDFEB475-50EF-491B-89AD-A1172DE371CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"043b92649e7ff029c15ec8b6960da0e04c1ae254","datavalue":{"value":{"entity-type":"item","numeric-id":4503930,"id":"Q4503930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832097$A5677BE9-8BDC-4A77-ABF7-A67D65D3E777","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f4ef16668b23a47c29b0d7fa300962a3df1a1fa","datavalue":{"value":{"entity-type":"item","numeric-id":1273866,"id":"Q1273866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832097$40C134FF-BCE7-497F-B635-2B9E5364B8A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69d803dffb5e7d3ffdcbee356a627c1a19cd2800","datavalue":{"value":{"entity-type":"item","numeric-id":4536598,"id":"Q4536598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832097$84677802-4321-409C-A06A-417974D05049","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5601d0ae6444fb89899ff2b10d66671c2c7168a5","datavalue":{"value":{"entity-type":"item","numeric-id":5146372,"id":"Q5146372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832097$3EAE88F8-7965-48E5-9EE2-77C3C22AF3E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"827aa668cce5438656c6bb8fc043843f5200544b","datavalue":{"value":{"entity-type":"item","numeric-id":3434961,"id":"Q3434961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832097$7CDF88C3-23C5-4DC3-B5BA-3CF75D0ABCB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88f02169e0d82db34a57f3c9fe58dc5d85c93ec2","datavalue":{"value":{"entity-type":"item","numeric-id":2766628,"id":"Q2766628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832097$7777614B-CF99-4C1E-B9D3-D63F0B7E44FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd356947fc79595eca2ec4ff345d8569c4a4999c","datavalue":{"value":{"entity-type":"item","numeric-id":389835,"id":"Q389835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832097$A8EB52D6-5378-4BFB-B675-ED53B7BD08AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ce2a67917373e5b4e39d7c86d75e3ad261de966","datavalue":{"value":{"entity-type":"item","numeric-id":4323295,"id":"Q4323295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832097$E14A2AF2-3819-476B-A729-E25B822B1F20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8620ace9607169982355a03dc166929df7b9c437","datavalue":{"value":{"entity-type":"item","numeric-id":6489003,"id":"Q6489003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832097$623E293A-4061-4DA8-9D4B-CB712673ACD9","rank":"normal"}],"P1643":[{"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":"3deb0340bc467bde2a970233ed1bc3067f3c13bf","datavalue":{"value":{"amount":"+0.7808468341827393","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":"Q832097$84A6EDE5-69E7-4091-B0A4-4162D26F7236","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c7a626bda9e6943deabea5e935c6a725cd8dadc","datavalue":{"value":{"entity-type":"item","numeric-id":3612955,"id":"Q3612955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8205a7af3e7f82968f7964e489e93f93b99abe1","datavalue":{"value":{"amount":"+0.7711275219917297","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":"Q832097$04AA51C2-919E-4CBA-AC14-69C85BEF5FFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2213015531f5f71b69438bd0d95f3ef7481abc1","datavalue":{"value":{"entity-type":"item","numeric-id":2988926,"id":"Q2988926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fde01619ff98647453946cac60c98a6ac2a251ae","datavalue":{"value":{"amount":"+0.7547079920768738","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":"Q832097$5641E3B8-413D-44F9-9894-4ED343A0DC49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02218b805563f6fe2e8e7c5305c5377701779feb","datavalue":{"value":{"entity-type":"item","numeric-id":663166,"id":"Q663166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05b16a8b6e8b9122f4297577d1a908e291bafa04","datavalue":{"value":{"amount":"+0.750332236289978","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":"Q832097$49F9274D-934F-488E-9DB5-83FC697B5798","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d17c8b6a190f764e7993828c3ed332cc8d34a4ce","datavalue":{"value":{"entity-type":"item","numeric-id":2986712,"id":"Q2986712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ea18e1c36aba1de93ba7422b1ca85063215cebb","datavalue":{"value":{"amount":"+0.747331976890564","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":"Q832097$CAE098F7-7EB7-4D76-B24C-911B5B22782B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:832097","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:832097"}}}}}