{"entities":{"Q2986712":{"pageid":2997436,"ns":120,"title":"Item:Q2986712","lastrevid":85484486,"modified":"2026-06-03T08:54:27Z","type":"item","id":"Q2986712","labels":{"en":{"language":"en","value":"Measurability and safety verification for stochastic hybrid systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6717987"}},"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":"Q2986712$0D55559B-2B69-4E18-9582-401A08CD92E8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"75baab65630ce0cfcc7c80e90caa41f33a741308","datavalue":{"value":{"text":"Measurability and safety verification for stochastic hybrid systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2986712$CC4B03CB-FBB8-42FA-9257-F49700FDE55A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"203f44653ea8860cf3006ae1b68abc1dd910d312","datavalue":{"value":"1362.68170","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986712$FDD86C0A-AEB0-4B72-AC51-223302463B66","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d4156309afe83fbd01acb902d169b7b40964a029","datavalue":{"value":"10.1145/1967701.1967710","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986712$5F38B6F6-0BF6-42E3-AB4D-50FC7A241417","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a014e6ba9fde789e090c1a340d6af73ab4b427b1","datavalue":{"value":{"entity-type":"item","numeric-id":394331,"id":"Q394331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986712$781C0865-23E5-4613-89F0-52F704A7B5EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dffa8575a90582a7e362ce4ca416eabc864ff69c","datavalue":{"value":{"entity-type":"item","numeric-id":389834,"id":"Q389834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986712$B561D02A-61DD-419B-BC9A-EA51D47B4F37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d570ab9528618e94eac06ac4735a35751c2a1ea4","datavalue":{"value":{"entity-type":"item","numeric-id":236071,"id":"Q236071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986712$7C5F8104-4A5D-47DB-B960-CEDAF62D44EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1316bb5f426a93fa12c5f27fcd744de5378198b5","datavalue":{"value":{"entity-type":"item","numeric-id":2937730,"id":"Q2937730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986712$4D72A897-7B0E-4BB1-BDDE-1E3262E32A8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5894425868796c1c566a284833508f3ef0277bc9","datavalue":{"value":{"entity-type":"item","numeric-id":764615,"id":"Q764615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986712$E3C7D0E6-2FD3-43D9-8A48-50779EF56B96","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"984d74fbf1f2dcac2a23d24afac7178667c2dabe","datavalue":{"value":{"entity-type":"item","numeric-id":2986705,"id":"Q2986705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986712$50E503AE-31C0-4BB9-917C-5C8D7F00733B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"daa85c3fca52a36a5bd491b86ad0a10dbad35089","datavalue":{"value":{"time":"+2017-05-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2986712$50C7FA8A-1442-49AC-B2A7-8F0E4367E3E5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986712$AE906F7F-5D26-447F-825E-A02D0851BC98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986712$27E15045-ADBB-4BBC-A51B-CCEEA97CA840","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2f4617dd323aebd34fe6899e8dc97f814f44e622","datavalue":{"value":"6717987","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986712$C6CAEE82-5EC1-44B7-A656-62AC7AA30F84","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d56f8921ecfa512b99ae37fa3485c4f9ec59745","datavalue":{"value":"measurability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2986712$C819A8AC-8ADC-4820-849C-8C784D847F92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb8c8c7d047dd5b0cb11e8a38fc4bb9f96022cf5","datavalue":{"value":"nondeterministic Markov process","type":"string"},"datatype":"string"},"type":"statement","id":"Q2986712$917A38BA-B29F-47C9-B633-FC1BDB949C06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e67611a26e46684cfa0f01678771f2e2e5dcaabd","datavalue":{"value":"probabilistic hybrid automaton","type":"string"},"datatype":"string"},"type":"statement","id":"Q2986712$8D6E55BC-F818-4211-85C0-26B2151E6D77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a618b40b0e1c60d8f3695a0363009e29e3d436f0","datavalue":{"value":"reachability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2986712$3F9EA33F-8C91-4169-AA93-A1EF57F9BF9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79c20d37930f644c97f5667efe4ef0efce346fcf","datavalue":{"value":"stochastic hybrid automaton","type":"string"},"datatype":"string"},"type":"statement","id":"Q2986712$C09415E5-B9A8-44DE-B9D9-647587AC4327","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":"Q2986712$B4CC285B-85C4-4A33-A900-E5A4E22B67E4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"eadb540f3bc2901754e6196156371de9699397a8","datavalue":{"value":"https://doi.org/10.1145/1967701.1967710","type":"string"},"datatype":"url"},"type":"statement","id":"Q2986712$140FA866-71F8-45B4-9EB2-AEA33C04FCF0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ffa146400f446d14d71003806191309ec3a471ca","datavalue":{"value":"W1980648830","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986712$B5106587-9D94-4113-B371-A639AD6B67D9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a873c125fa8140c4d5e23041e3ee33ad70b1032","datavalue":{"value":{"entity-type":"item","numeric-id":389835,"id":"Q389835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52ce09e6f94335dbe35342ee5394a052e3b0bae5","datavalue":{"value":{"amount":"+0.93361586","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2986712$050BE94A-DB73-48EB-AC04-47BA69F0801C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60184f3daffc51d77375bfb60176e2d47a03804b","datavalue":{"value":{"entity-type":"item","numeric-id":2979266,"id":"Q2979266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd48c18391ce252d1a91459ba5e9ecba431b064f","datavalue":{"value":{"amount":"+0.91936266","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2986712$5454529A-4B23-4D06-B94B-BA5D799F78FE","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":"1a9e5fbc3ad0750a8d86a4fe97797b17d2b03b62","datavalue":{"value":{"amount":"+0.9151856","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2986712$B20DFE46-05A9-4510-BD3B-E783518A1D9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b6e6b975c6f81145c00174cbb495c82870694f6","datavalue":{"value":{"entity-type":"item","numeric-id":4649312,"id":"Q4649312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3eb8282529a3d1b5093d8e59e807d84e7e737c3","datavalue":{"value":{"amount":"+0.9098134","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2986712$A47D464E-38BD-411A-A73E-BEAAD72894E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f22f8f8024a6257d27e35e89e8bb6f6cf4f3a7b","datavalue":{"value":{"entity-type":"item","numeric-id":2986769,"id":"Q2986769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69798c097cf67cf286e0e166fd529823fa8e5af3","datavalue":{"value":{"amount":"+0.9016651","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2986712$AD288043-9CB0-4921-94CB-FAD08BDB91C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9035fe3e7f33b46efac6db5a9c7bdc45ffe22a35","datavalue":{"value":{"entity-type":"item","numeric-id":5898991,"id":"Q5898991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9c32e1e64a1122e09ffac43a4c2bddf7d9897e3","datavalue":{"value":{"amount":"+0.9013783","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2986712$180B4CDE-E9B6-468A-8672-55C7C01A4C15","rank":"normal"},{"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":"473d3a407fd2a50bef38b39c331199801d016fa9","datavalue":{"value":{"amount":"+0.9006739","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2986712$71BA2796-9EB7-4B4D-84FB-E3CB5435594F","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":"72b30cbf53cb9e2799a56be3e03967e744aefcca","datavalue":{"value":{"amount":"+0.89914525","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2986712$99E111F3-1D2A-4E46-8909-95BF4E52422D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"989740df46547585cd3143708884c61e1697f9f5","datavalue":{"value":{"entity-type":"item","numeric-id":2494653,"id":"Q2494653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68cf59e50d35f472212827a180e7190ff8dabce9","datavalue":{"value":{"amount":"+0.8991226","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2986712$5FBE1C91-E458-4280-AF7C-F1CE91677B53","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Measurability and safety verification for stochastic hybrid systems","badges":[]}}}}}