{"entities":{"Q2988926":{"pageid":2999650,"ns":120,"title":"Item:Q2988926","lastrevid":85319051,"modified":"2026-06-03T06:51:35Z","type":"item","id":"Q2988926","labels":{"en":{"language":"en","value":"ProbReach: verified probabilistic delta-reachability for stochastic hybrid systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6721620"}},"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":"Q2988926$2922FB46-236F-4318-AB96-0A12ACB18757","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dfb5e782cd8eca2525b7648eaa54f871527e04db","datavalue":{"value":{"text":"ProbReach","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2988926$4EBE9CAB-C486-43BB-9357-29FC27FBFFFC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f11b8ca821e95fae4e5b55b8ada925d7c84290e4","datavalue":{"value":"1366.68183","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988926$940D2ECD-C5A3-4B30-B2A7-2CFFB5D2DE96","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"916a88daaea215021692800fdb3190cd0523b2a7","datavalue":{"value":"10.1145/2728606.2728625","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988926$783C9D4E-B45E-4651-B358-48B687822A33","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"67cdb6efedf1bedc9f6c608cc5723779c493cdc3","datavalue":{"value":{"entity-type":"item","numeric-id":2988925,"id":"Q2988925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988926$9C89C476-CF38-43AF-87F0-FCB83B6C9143","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7a2df4c9c185a830f3bb11dd84a837b0bb6e787b","datavalue":{"value":{"entity-type":"item","numeric-id":1031863,"id":"Q1031863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988926$39279551-3FFD-4E42-8C67-9695807F799E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a4d0278b851ddc53a7eb92ed995a1550e0e95367","datavalue":{"value":{"entity-type":"item","numeric-id":2988908,"id":"Q2988908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988926$BB9F2CC5-BA4F-470A-97F8-637CBD43E624","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a59ae3429cdc3df09abb41b2b009b08d954a3dea","datavalue":{"value":{"time":"+2017-05-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2988926$6F95A766-F11E-4E03-B265-8317514D9A2F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a9018af0dd7e3b7998862dd8dbe2cac0265e5198","datavalue":{"value":"https://arxiv.org/abs/1410.8060","type":"string"},"datatype":"url"},"type":"statement","id":"Q2988926$07FE6612-E390-47DD-AF72-ABBC7DF092DA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988926$54FE7BD6-908F-4D27-BD43-55B5C12B7BD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bec664fc111c8c38f0715786ddaeb8636a48223c","datavalue":{"value":"93C30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988926$F1D60344-A735-4E33-BD09-13A41E503FD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b1a9a20c16e14977aabce86aca077afc2aca3644","datavalue":{"value":"93E03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988926$85C5A9EC-B7F1-4879-9E4A-82B0D2C6D5BB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fd713a1067203ee4ecb013f521d0c38e7ae7d2d5","datavalue":{"value":"6721620","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988926$8ED74B29-57E7-4D34-AF55-7E3A26FFC4CF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6ab41959fd9494b5548d09c762ca90a9336e1c7","datavalue":{"value":"bounded model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2988926$E5487604-D6CE-4B9B-A47A-ABE3FF8FC433","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b03439e7dedf0c27568d228c7244768e0713fd5","datavalue":{"value":"hybrid systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2988926$AC322E39-3AE2-4C7E-AEE4-744625974BBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14fdb321d63e54de1f24ee42307b3934b281d990","datavalue":{"value":"probabilistic model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2988926$309CA53D-F782-4649-B45A-48949CFD7A29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40e101f7f59f22564ca505a04735b03a71301737","datavalue":{"value":"stochastic systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2988926$4D67C905-708B-4002-8790-E67C49A4FF71","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d1017473dfc7971fab24bd687117b9dc92667a14","datavalue":{"value":{"entity-type":"item","numeric-id":18566,"id":"Q18566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988926$F77A1454-3B45-4120-A09F-2F9E2E3B6C89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e3a8c3e83561e1ffff291d3e0f24362125b1b916","datavalue":{"value":{"entity-type":"item","numeric-id":31979,"id":"Q31979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988926$1CF0A4CE-0DB0-49F2-BD24-588031050BD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5f7aa12e80604fbe0376e7f2b6de250eb6c3d44a","datavalue":{"value":{"entity-type":"item","numeric-id":31980,"id":"Q31980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988926$558355C6-1338-4DB4-8257-ED939517AC1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d2f61eeddf1828d82b7393c95d22003b9c58afa3","datavalue":{"value":{"entity-type":"item","numeric-id":19210,"id":"Q19210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988926$B541E93E-0193-4E7C-956B-FD3940317237","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":"Q2988926$61C016C5-94C8-4449-84D2-FF87964CCB25","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6db606603dd269ce9418a297378ede516cc7a97a","datavalue":{"value":"W2017676950","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988926$F72472A7-15AB-4965-BCBD-A630D937C16C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b573f2c82a60be051782574a0331cb6504cfe16","datavalue":{"value":{"entity-type":"item","numeric-id":2988935,"id":"Q2988935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988926$15966993-F2EC-4AFD-8670-5E171720CF91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ecfbbbb3a2787ace35fa94a3243cdd057a7069bc","datavalue":{"value":{"entity-type":"item","numeric-id":5476735,"id":"Q5476735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988926$5C3FE278-8076-428E-9AAA-6E27B1739FE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"803594396d2eb7e8708b0e25432d7496a9ad24b9","datavalue":{"value":{"entity-type":"item","numeric-id":2737800,"id":"Q2737800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988926$8FB37FCE-7346-4446-818D-2C324E6187E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29525dd63452ec8338e42e92d6a9b58d5844b4db","datavalue":{"value":{"entity-type":"item","numeric-id":5703930,"id":"Q5703930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988926$07BE991A-46E8-4842-8E4E-D41EC7DC0EBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b365c89f16f21bafee54b40885302f602b52a53","datavalue":{"value":{"entity-type":"item","numeric-id":2842670,"id":"Q2842670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988926$28F28EBE-708C-40D7-A9EC-5E914BB415AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f0336458108717527a0954272b55a21903491b3","datavalue":{"value":{"entity-type":"item","numeric-id":4781425,"id":"Q4781425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988926$7B615254-613E-45AE-86E8-F4A76560F5ED","rank":"normal"}],"P1643":[{"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":"033fec7c7bb60153a6613c1b3e57b6c2116c81e6","datavalue":{"value":{"amount":"+0.8136901259422302","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":"Q2988926$4E61992F-20DB-4391-9990-73FB8FDDB836","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53d35fffaa4c92dc867dc629368ae72e8b3891b0","datavalue":{"value":{"entity-type":"item","numeric-id":6104812,"id":"Q6104812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"044bb6736596d712c3c0f8d34f7473cae633f058","datavalue":{"value":{"amount":"+0.8118852376937866","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":"Q2988926$9A72E025-0758-418A-AE8B-52E3B4DA7E89","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":"d5d725bcece887753af9ec8bab3ede8907e45bfc","datavalue":{"value":{"amount":"+0.8011893033981323","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":"Q2988926$B54D497F-264A-4467-9964-DC0373363CC4","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":"ca0e29d48264189d8e99a23296e1c916309210f1","datavalue":{"value":{"amount":"+0.8000285625457764","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":"Q2988926$0CF10E50-6EDD-4DB7-9DDD-99EB9E8B7264","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":"ec0cdd110b18ddec6988345c23239b3a9d7c069e","datavalue":{"value":{"amount":"+0.7888628840446472","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":"Q2988926$8CEE2483-3FC5-4856-B65B-AB7B7BBFAD4A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"ProbReach: verified probabilistic delta-reachability for stochastic hybrid systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/ProbReach:_verified_probabilistic_delta-reachability_for_stochastic_hybrid_systems"}}}}}