{"entities":{"Q2986769":{"pageid":2997493,"ns":120,"title":"Item:Q2986769","lastrevid":85742024,"modified":"2026-06-03T11:20:45Z","type":"item","id":"Q2986769","labels":{"en":{"language":"en","value":"Rare-event verification for stochastic hybrid systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6718041"}},"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":"Q2986769$57EA69DB-A6CA-4115-B011-BB8FA37A5E4C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6b77cbd8b3912838e8421abf97c93790e7e78dee","datavalue":{"value":{"text":"Rare-event verification for stochastic hybrid systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2986769$EA4CCB75-6D62-41F4-815C-93693863779D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"477d7499747883c80a090b9fa4b0af51a09ea70d","datavalue":{"value":"1362.68192","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986769$658BC53D-F99F-4FA2-839C-C6D5D4C86622","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7b2c084a7d9ac51a28ad6b33971de9fd63e2e37b","datavalue":{"value":"10.1145/2185632.2185665","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986769$BA3E98E3-726E-4ABA-9083-A34C402107BC","rank":"normal"}],"P16":[{"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":"Q2986769$1E9A67B1-EB6D-453E-B5BD-0C5B0464C079","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"46e921d835845969ea465c2330db5171d968f1ff","datavalue":{"value":{"entity-type":"item","numeric-id":436314,"id":"Q436314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986769$DF8355D6-2A3B-4AFC-BAA1-C4A3EAC01825","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4e4e5ed72bee66087d415d4f69d49eefd101a453","datavalue":{"value":{"entity-type":"item","numeric-id":526749,"id":"Q526749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986769$0AFA10DE-DC91-4D78-8E3E-CFCC4162B184","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5ac4eb98cd212461f5ff58ad0e77202dc879157f","datavalue":{"value":{"entity-type":"item","numeric-id":2986746,"id":"Q2986746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986769$35F24EFC-7990-4D8F-95A1-484EA1F067EA","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":"Q2986769$5CA4F76C-C3CA-4FC3-8C3B-CA48B357BF66","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986769$A4A6DA4E-83DA-47F1-8882-49EC953C9227","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"69417b84cc431ede4e5ec12a55be58b45cd19ec0","datavalue":{"value":"60J22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986769$34EE1BA2-FDF0-4794-8960-3D6C02FF8C57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986769$63898A5B-1025-48FA-9062-5538347F1D51","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4ea6fe3c0872a781c0dd0792bacfe6f010d913d4","datavalue":{"value":"6718041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986769$47FC1D83-1C1D-4A19-BF2E-744EE3D8FFDB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b03439e7dedf0c27568d228c7244768e0713fd5","datavalue":{"value":"hybrid systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2986769$6E833498-FC15-41AB-9779-2D528F954BDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14fdb321d63e54de1f24ee42307b3934b281d990","datavalue":{"value":"probabilistic model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2986769$1E61111A-1E75-4DAA-B990-23CE405A44B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bec54e9e8d83e18d3b16ff914f8f5c8f3e9c3374","datavalue":{"value":"rare events","type":"string"},"datatype":"string"},"type":"statement","id":"Q2986769$C82BF509-05FB-4904-A334-F48F95485297","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"015d53df36ae9acd1f8775cfe587734e55d5e5c5","datavalue":{"value":"statistical model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2986769$86C66DE6-FC0F-4668-9069-63D3C1D33663","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40e101f7f59f22564ca505a04735b03a71301737","datavalue":{"value":"stochastic systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2986769$36576C80-FF85-4EAF-B85A-7135BD9F6DE3","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":"Q2986769$E8C4F1FB-9D91-4233-9204-C277F32487C8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e6a9ce7c5ddba61302183e333bd38d2a157f4437","datavalue":{"value":"https://doi.org/10.1145/2185632.2185665","type":"string"},"datatype":"url"},"type":"statement","id":"Q2986769$E1B86FCD-B676-4E29-81A9-6F6FDAFF9FBB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"75d434abe9805aee2cc4df1435ed2f9dd34bc403","datavalue":{"value":"W2000280333","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986769$3696A168-D6EA-4E8A-9D3D-D4137EF8611F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a478684cfd6d6ad8ce9c9cbec4d01a23e14532f","datavalue":{"value":{"entity-type":"item","numeric-id":3172901,"id":"Q3172901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5cf0b6ece07fd15a210ebf3d9bf60317b6609ee","datavalue":{"value":{"amount":"+0.8061032891273499","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":"Q2986769$1B8F59EA-18C8-4DB2-AC8E-EA4E477549D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60416ab0d8244c93d6e69f2ec3485c4e017a8de6","datavalue":{"value":{"entity-type":"item","numeric-id":1660773,"id":"Q1660773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91e1e98b6a118ae46b9ce12f7c264d5396b60821","datavalue":{"value":{"amount":"+0.785492479801178","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":"Q2986769$9EF9046F-1DD5-43FB-8703-EBEDC3C7DF74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9dc3761edfc6b4a5573bdc86076dc0b678ead89b","datavalue":{"value":{"entity-type":"item","numeric-id":1708653,"id":"Q1708653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8bdbb48a18166f49c3b5c5228d23b480d2353174","datavalue":{"value":{"amount":"+0.7830581068992615","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":"Q2986769$3EC00425-1231-492B-A53D-8692FEBCBEF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"404b9ed1b463490bb7722e17afc8c4a98045defc","datavalue":{"value":{"entity-type":"item","numeric-id":2894280,"id":"Q2894280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b6b6a75cc4b47abc563ac09a3c5d98b615536b8","datavalue":{"value":{"amount":"+0.7771362066268921","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":"Q2986769$DC4716AE-5625-4C10-B298-66523167A77A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b7bec40f17d824881dcdbea4aa9a0250d4f45d6","datavalue":{"value":{"entity-type":"item","numeric-id":2248081,"id":"Q2248081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4bc68ac492309d2aadd4953db87f24d7dbd15eb","datavalue":{"value":{"amount":"+0.7668212652206421","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":"Q2986769$C256C7C6-2791-4FE2-85EF-DF791F1A3E33","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Rare-event verification for stochastic hybrid systems","badges":[]}}}}}