{"entities":{"Q6599370":{"pageid":14210527,"ns":120,"title":"Item:Q6599370","lastrevid":55744747,"modified":"2026-02-17T22:03:22Z","type":"item","id":"Q6599370","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 7907913"}},"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":"Q6599370$909D6F5B-B287-45FC-8F98-94E5D5D7F9D5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"189e3fe8a7bb172a3ff5e2f895f9bab4c6b863fc","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":"Q6599370$0F370679-53BF-46D8-9AEE-1320A1446B3A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1908942d1c79e126ee191bd1088a390e6d600b26","datavalue":{"value":"1544.68083","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6599370$644C824F-BFE2-429B-AE05-9FFAE9002793","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e2bd0e5152ce541532c86514d575572d34f74fce","datavalue":{"value":"10.1145/3607197","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6599370$325299C8-C40E-4947-A4E6-BE4E14D72BE8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"55e738020bfd6450ad71a60e115abf946eaf431b","datavalue":{"value":{"entity-type":"item","numeric-id":6599369,"id":"Q6599369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6599370$886453C5-4A5E-40B6-B4D8-068AF02EDCF4","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":"Q6599370$DD8A8371-48A3-40CF-905D-696B21B8497D","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":"Q6599370$C8E8433B-07DD-4BF6-8BCF-BB504491832E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5f5bae07c449260f47024289866c93e24bb0f22e","datavalue":{"value":{"entity-type":"item","numeric-id":64755,"id":"Q64755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6599370$49F04F7C-6E72-4852-8063-CC32F21274E9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"74b4fed82336f4fd3de28daa42f3cd971eb88d0d","datavalue":{"value":{"time":"+2024-09-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6599370$C5FEF678-1FC0-4B55-B14C-920236A1F03C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6599370$50A04BB1-7B20-4426-9FB7-460A2D6863A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6599370$99BF5F60-A5C2-4AD5-B170-8CE02B3F6488","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5ea7b119f0d33f552685a56d1bfee0581b30046f","datavalue":{"value":"7907913","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6599370$EF83D5EA-139D-4897-8142-42FE109B95AD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"10da6b45560a68a07a19d932fb4ef96a744de08c","datavalue":{"value":"stochastic hybrid automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q6599370$BF9B1454-5661-48A2-9509-6A9DD6352258","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"daeacf82ed7fca673b876db370b95fb42d4ad388","datavalue":{"value":"flowpipe construction","type":"string"},"datatype":"string"},"type":"statement","id":"Q6599370$3EBB383A-EDB5-4672-8E27-BA84C539952A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d62da53b47174b048d375db5f0faf9f4469ffca9","datavalue":{"value":"cumulative distribution function","type":"string"},"datatype":"string"},"type":"statement","id":"Q6599370$27CB0C49-6043-46BC-89F1-54A63F0B9239","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":"Q6599370$C40CFA76-7F3D-4E96-9935-693B8FA27A06","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":"Q6599370$7D346911-5CC1-4D19-B949-A7AA0ED8F090","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":"Q6599370$B09612CA-DE90-471E-B0D7-4582C239AC59","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":"Q6599370$82854D6C-6210-4290-A788-92CEF4268727","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":"Q6599370$A26203F7-D471-463A-816B-F9A87380A752","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":"Q6599370$124574C9-5562-4DC8-B995-EE8B45E800F6","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":"Q6599370$7A1CFD9F-57C1-4658-B273-966FCCE7F6FD","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":"Q6599370$A917EBC2-F042-4FF8-82F9-35B76873A692","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ebbfe1f28fcd54eda2892977a9035e582850c53e","datavalue":{"value":{"entity-type":"item","numeric-id":4649392,"id":"Q4649392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6599370$9EFAF832-FEAB-46F5-B402-77DBE0C29A69","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":"Q6599370$D9E9108C-DBB7-482F-8DEB-DE6BA5D0CC17","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":"Q6599370$4E5C30EC-E489-41FB-8088-80DB77884854","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":"Q6599370$B5D90E2C-2194-45CA-A11C-DBFCBA02B74B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87bb9fda3284b93e3adf941e50c34e7b1480f396","datavalue":{"value":{"entity-type":"item","numeric-id":5274018,"id":"Q5274018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6599370$F3BC8406-CD2F-4AFE-8216-3E0125312A3B","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":"Q6599370$18C73D19-B2B6-4586-B921-82D0217D34D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce5cc6fd98ae3eb4b4b81acb73d9bf8c0beae116","datavalue":{"value":{"entity-type":"item","numeric-id":6584557,"id":"Q6584557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6599370$074C8D9B-F0B6-4115-82BC-0E4B42C63CC5","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":"Q6599370$19103CA6-2684-454B-A099-905D771D751B","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":"Q6599370$74E8BE64-447E-4D31-96A4-7F9B36D2E49C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"590d4ab4d60fd01c286620c821b5bc7773465a06","datavalue":{"value":{"entity-type":"item","numeric-id":2129272,"id":"Q2129272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6599370$441AD984-8468-4890-8DEC-C5B032485D02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d32157e3f0620ed40ca9dc33a8d035df283d3720","datavalue":{"value":{"entity-type":"item","numeric-id":3976517,"id":"Q3976517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6599370$33B06DF6-A359-427B-A2C7-AC51471A7AA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c2c1fbb42c40132bcde18b08b5d5cb2763f5bb7","datavalue":{"value":{"entity-type":"item","numeric-id":5760872,"id":"Q5760872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6599370$6A22B090-604F-4DA5-A0CC-206C30C95504","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":"Q6599370$A938C167-D29D-439B-AABD-DA8CE37BCD0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"382b18cf3908a1128087d477f8fb5f54f1ab4dfb","datavalue":{"value":{"entity-type":"item","numeric-id":832097,"id":"Q832097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6599370$90D8E31D-8FCD-4062-82A9-9DA14B458EE9","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":"Q6599370$B143F564-9704-4B6D-863B-F991F45EFACB","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":"Q6599370$468473B0-5DE8-469F-9F5B-6D0B8650EAC9","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":"Q6599370$F65188C6-5E40-4DE9-BADC-DA11DF517E5A","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":"Q6599370$52AAC5B2-0A39-4F7C-A672-8AE893C3577D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c012da2f5b34901fd09b03e4c420486818325e5a","datavalue":{"value":{"entity-type":"item","numeric-id":832097,"id":"Q832097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67fd9b301d1c38907ac2b4be7856f0452b8c49a9","datavalue":{"value":{"amount":"+0.9824644327163696","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":"Q6599370$581E5698-1E0D-4FA6-85F1-6D78B461424A","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":"c1b7c5d7377fc8d17a999602ad11e275b6f2de20","datavalue":{"value":{"amount":"+0.7904562950134277","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":"Q6599370$FFB0E224-FD2C-4055-A48A-05D2AA0EAA9D","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":"0cbb8b8782c8b3a162fb0e6dc4e5477d205e2433","datavalue":{"value":{"amount":"+0.7844966650009155","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":"Q6599370$855B4DC2-0AFB-4C44-8065-25ECCE62D582","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":"360ef3d497541ef00e7b94bf503c525daef6ef03","datavalue":{"value":{"amount":"+0.7698525786399841","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":"Q6599370$F6997D96-6818-4F12-BECA-DC92037F8C5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37db6450390189796b80831ffb81db8a2690f28d","datavalue":{"value":{"entity-type":"item","numeric-id":2986716,"id":"Q2986716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"299045daf00e616c0da54cd9afb894cfcc70a729","datavalue":{"value":{"amount":"+0.7645977139472961","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":"Q6599370$3C56BCC2-6234-4414-98E9-400ADEB91947","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6599370","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6599370"}}}}}