{"entities":{"Q4649391":{"pageid":6678972,"ns":120,"title":"Item:Q4649391","lastrevid":82273013,"modified":"2026-05-06T20:30:39Z","type":"item","id":"Q4649391","labels":{"en":{"language":"en","value":"Confidence bounds for statistical model checking of probabilistic hybrid systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6109498"}},"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":"Q4649391$65A5B6A8-6960-44FB-B57C-5418F1D641E9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c485143dadf13d69e0623d87c363c49fc51e9e04","datavalue":{"value":{"text":"Confidence Bounds for Statistical Model Checking of Probabilistic Hybrid Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4649391$E72818B7-EBCB-40E0-A724-44EF91A0D671","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3a0232511bb35da139e729938e24842235284a2c","datavalue":{"value":"1374.68279","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649391$6443BC82-1B34-4D19-BFC3-2242DED00958","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ebb5b8c56ed9114bc9b52dce1bbb52e2dbdfbb16","datavalue":{"value":"10.1007/978-3-642-33365-1_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649391$54562017-D3DB-47D0-BF9F-CD65AAC1E91D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fd7c569c6bf26d9b434430efcd2ff925d0f963b3","datavalue":{"value":{"entity-type":"item","numeric-id":4649390,"id":"Q4649390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4649391$BB88769F-3302-4A69-B6FA-54AEC991ED79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4738fc62d8a3816e768f9ac894278ed0608d8fe6","datavalue":{"value":{"entity-type":"item","numeric-id":1006661,"id":"Q1006661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4649391$FFB57B2C-8F64-498C-8A38-215C72476F7B","rank":"normal"},{"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":"Q4649391$0D2591DF-A993-428D-87C7-1B7CCBDC7FD3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4649391$316D679C-C9E8-40FC-A28F-8E6020C1DB39","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"009d073aaba8149d93f34c88135fe65aadf514ad","datavalue":{"value":{"time":"+2012-11-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4649391$18B5312C-F890-4A35-BB9B-EFE0E3F84A7C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649391$318575B8-D91E-4CFF-BBFF-7A5C32D57E3F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cf051c62112b0ead035f4a4470bf2b7b64334767","datavalue":{"value":"6109498","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649391$563E803D-4369-4C53-8502-0F6C23414147","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":"Q4649391$13E3A649-278A-4199-91CC-105BA3C11164","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"edaca696a2d05b0ed27d6e5fbec3e66f9d5a790e","datavalue":{"value":"https://doi.org/10.1007/978-3-642-33365-1_10","type":"string"},"datatype":"url"},"type":"statement","id":"Q4649391$F9050462-E6A7-40DB-8C4F-AD644C8C7ADA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bf518205a1452d8b7de5593e43ebddb869a49ee8","datavalue":{"value":"W194475349","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649391$4AB284BB-3CCE-49A8-9232-D349D96FDD87","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7fa5985af9191d4805673120b1472b621d1ca031","datavalue":{"value":{"entity-type":"item","numeric-id":3523106,"id":"Q3523106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1201f510a9ac7382e24a7a9411d8adb27a333864","datavalue":{"value":{"amount":"+0.7466252446174622","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":"Q4649391$8454420E-5530-461B-B09A-B8148AD7D721","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd59ee199563519a12367a7657ca39b3318a24a0","datavalue":{"value":{"entity-type":"item","numeric-id":2225475,"id":"Q2225475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78d2377560db5a0ef5b67c0336581f47609851a3","datavalue":{"value":{"amount":"+0.745057225227356","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":"Q4649391$6A0E5502-0C20-484B-B30C-664F411455B1","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":"f470d7fac6e5edc53054f5a4942528515aab51e6","datavalue":{"value":{"amount":"+0.7427207827568054","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":"Q4649391$B03F3540-EE79-49CB-90F1-9B515882CC56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00b9929da7c2777f750c0897bc4b8499e470e2e0","datavalue":{"value":{"entity-type":"item","numeric-id":5901904,"id":"Q5901904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57629b17b7c5c3e889313796b70753b86d2e8f4f","datavalue":{"value":{"amount":"+0.7345559000968933","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":"Q4649391$0892F401-DA9B-4464-A31B-3CE8E39244E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c34f93c259408c506a35ff4b3377dd1b8a1a707","datavalue":{"value":{"entity-type":"item","numeric-id":2985888,"id":"Q2985888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b0607e10d23819bd908a3b9ca70c6d681ccf867","datavalue":{"value":{"amount":"+0.7303455471992493","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":"Q4649391$A0FB7288-8E74-4716-93EA-0DEC66FFFC4F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Confidence bounds for statistical model checking of probabilistic hybrid systems","badges":[]}}}}}