{"entities":{"Q2988991":{"pageid":2999715,"ns":120,"title":"Item:Q2988991","lastrevid":79671434,"modified":"2026-05-06T14:27:11Z","type":"item","id":"Q2988991","labels":{"en":{"language":"en","value":"Safety verification of piecewise-deterministic Markov processes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6721675"}},"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":"Q2988991$A332F4C7-957F-47F4-86C9-BCF19B67F5A6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4cb975c1e8415147eeb06a22159de60841e38a52","datavalue":{"value":{"text":"Safety Verification of Piecewise-Deterministic Markov Processes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2988991$DC85E7FC-D2E1-401C-BBC0-958FDE2177A3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2bdcc0b0e2758fcdf7124a0ca57672840727c925","datavalue":{"value":"1364.93754","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988991$FAD5A958-5355-4505-A598-FF6575269ECE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bb3630cccdfa206e448b63039e746b45a56e9a53","datavalue":{"value":"10.1145/2883817.2883836","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988991$D95405BA-BAB0-4EA0-A6BD-C2D2FA944C90","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e5948c28bf532afa2376a508acea87a18459815d","datavalue":{"value":{"entity-type":"item","numeric-id":340657,"id":"Q340657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988991$FF85014E-8577-4DF9-B4CE-7C35F0667AA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"91adaddf910c4daa4989816802f1fbfa45704385","datavalue":{"value":{"entity-type":"item","numeric-id":360649,"id":"Q360649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988991$EA503EA4-258B-4011-B01F-B28FFA7EE452","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"01aa74abddfff3f081d74df0668e8e5885c8ffc0","datavalue":{"value":{"entity-type":"item","numeric-id":547911,"id":"Q547911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988991$77B6A0C4-CD68-470E-8F1C-4D6B87BB2E47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2dd1d437ad385d0c2e631f017473e3c972acd186","datavalue":{"value":{"entity-type":"item","numeric-id":439953,"id":"Q439953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988991$A91303C7-8015-4F0E-AC47-406096F0E9D0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"84a0ad62c508a284f139cafb8f4d1fe4b4e06dae","datavalue":{"value":{"entity-type":"item","numeric-id":2988953,"id":"Q2988953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988991$A3256043-D4EB-4958-84C8-9BAEE9826EE5","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":"Q2988991$0B413AE8-8037-4469-B299-835949AA9B32","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b1a9a20c16e14977aabce86aca077afc2aca3644","datavalue":{"value":"93E03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988991$9B0BF280-47EA-4EAE-8ED2-63DBB2A7889C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"804d667f83c06f54acf040ee988b33dbb24b7b24","datavalue":{"value":"60J75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988991$3128BF33-708E-43B5-9D3B-82F63595D525","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988991$9D491664-CE9D-4EF4-A301-313108C27285","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5a51013239e705dbb008583c85b92be535c924c0","datavalue":{"value":"93C20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988991$15299F49-7ED8-4A75-828D-6CB655A70F89","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a9589a7563c167d6b4b8828db60190f972c8ce58","datavalue":{"value":"6721675","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988991$72678AE4-532B-459A-B5C3-4A4BE83E4B74","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b03439e7dedf0c27568d228c7244768e0713fd5","datavalue":{"value":"hybrid systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2988991$24020C5C-522E-4480-BDC3-9EF5AB13F8FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c27024bc3112e6fbf1cca0a9a4aacb8e7e4a77e0","datavalue":{"value":"optimization","type":"string"},"datatype":"string"},"type":"statement","id":"Q2988991$69D7BF7B-0BC1-43BC-AC99-60E219C7292F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"31c73564a9794a8783f1637830584c15de484802","datavalue":{"value":"piecewise-deterministic Markov processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q2988991$2BFF2B28-2483-40F2-95D7-0134D0B65E21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"310c4e00f91f9b6278a98ec4eed6669527225bfb","datavalue":{"value":"sum of squares","type":"string"},"datatype":"string"},"type":"statement","id":"Q2988991$C0AF9823-41C9-4D6F-B67E-EEEFE3ED717A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2988991$E9C56926-7374-4C8D-B907-1FFD5CCAEA01","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"81c2c878a65e488e0db85653fd67f92faa6cdefe","datavalue":{"value":{"entity-type":"item","numeric-id":16522,"id":"Q16522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988991$C1836434-9106-434E-A036-9B59E7F613B1","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":"Q2988991$405C65CF-FCD4-4687-9829-3B3F3B556987","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dd07eaff7495adbe6be44db9b3af066a93feb16b","datavalue":{"value":"https://doi.org/10.1145/2883817.2883836","type":"string"},"datatype":"url"},"type":"statement","id":"Q2988991$BB97A34F-0A95-4EE7-AEF5-3EC09B989866","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0b6a6a48ffd20e949a781a19b4bce2d5a81c0c6a","datavalue":{"value":"W2275849312","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988991$47CAEC29-90B4-4080-94F2-B8EDF4177FBD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed2f1e6f47998e616b62fb193529e09192184410","datavalue":{"value":{"entity-type":"item","numeric-id":4417983,"id":"Q4417983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83d3c1493de6809ed3139657ce77226d6f7656ca","datavalue":{"value":{"amount":"+0.8091692924499512","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":"Q2988991$57C1B6CD-C5F4-4918-A13E-4078120A3DE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75dce8a4e6eba22cf1629e513fde30bd8a2038d7","datavalue":{"value":{"entity-type":"item","numeric-id":2272916,"id":"Q2272916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c40a2629d18121ca3d36088d467477485bd338f7","datavalue":{"value":{"amount":"+0.8089091777801514","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":"Q2988991$28A05053-54C1-47F6-8453-C2ECF689995B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d44122167d6e6da07bca03f3adbe6b9c4257238d","datavalue":{"value":{"entity-type":"item","numeric-id":2065176,"id":"Q2065176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14eecd89c61b6feb6c58fe21eb68312e72f88cd0","datavalue":{"value":{"amount":"+0.7737659811973572","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":"Q2988991$ECAAC979-F6BE-4F09-87B4-2839CAE0626B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f9b226e959b09855f49ba2031bdca73855a2209","datavalue":{"value":{"entity-type":"item","numeric-id":2226745,"id":"Q2226745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"728ec7cbdd19b8f6124d519c1c9527bf2fa8005d","datavalue":{"value":{"amount":"+0.7464146614074707","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":"Q2988991$8C775E1C-0C41-4108-ABF8-5D96E62CEE29","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":"345450e52a72a30f64da6a53195b9c044385eaeb","datavalue":{"value":{"amount":"+0.743455708026886","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":"Q2988991$437093C8-16D1-4C4E-AACA-425F76D469F0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Safety verification of piecewise-deterministic Markov processes","badges":[]}}}}}