{"entities":{"Q3619461":{"pageid":5649367,"ns":120,"title":"Item:Q3619461","lastrevid":50625920,"modified":"2026-01-14T14:54:13Z","type":"item","id":"Q3619461","labels":{"en":{"language":"en","value":"Probabilistic Verification of Uncertain Systems Using Bounded-Parameter Markov Decision Processes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5540623"}},"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":"Q3619461$B112C2DC-D755-450E-9E95-940371A97F32","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a254fea119bac728c893c65883eef037a50ece72","datavalue":{"value":{"text":"Probabilistic Verification of Uncertain Systems Using Bounded-Parameter Markov Decision Processes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3619461$C0F33ACE-AD9E-4F57-B9BC-09E4561D4989","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b22cf3de4e57db62316cb2ba81d7e1e3c36a9670","datavalue":{"value":"1235.68105","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3619461$1097C437-65E2-4E37-9FB3-16A292CE9A0E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2add0f1e36f561ca67afb18e7bb5be5abf114c88","datavalue":{"value":"10.1007/11681960_28","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3619461$C781253C-F4B6-4CD5-9BE0-8BE213D3EC97","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0257fff2301408740f4af2dc4fcb4c7159b3e56e","datavalue":{"value":{"entity-type":"item","numeric-id":247157,"id":"Q247157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3619461$A3C3BBA4-AC76-47D6-84CF-4D939EA89DB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cf2194174c0ea6965c53f8c46a08fc404004f950","datavalue":{"value":{"entity-type":"item","numeric-id":483960,"id":"Q483960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3619461$8B8AD9BE-6A53-4662-B336-D4B73713CA14","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"10b4cd7c9b40c7eaf721ccd40b3cc59477fefd5f","datavalue":{"value":{"entity-type":"item","numeric-id":3055790,"id":"Q3055790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3619461$7E99E167-880E-4429-88CB-F1E5AA5AB361","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f584a175cfc2fafdfc362244f176e06010bbf381","datavalue":{"value":{"time":"+2009-04-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3619461$A61C013B-5BD3-4582-A2BE-BBFF962E01AE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3619461$E10365AA-4D26-4FBD-B5C6-4B4F9B071772","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3619461$C67EEF8B-7BD8-42A8-83F4-62BE1A8129D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"377d3ab03372cff12915e0de0374438ff70c3716","datavalue":{"value":"90C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3619461$97A5622D-BFF3-4B49-8B61-2A3B57C42DE8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"aaeb5d26bdf1c587c9acc9c501da38942efd1d7c","datavalue":{"value":"5540623","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3619461$E2CBD66A-5B6D-46A3-9E3E-0114723DCD12","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":"Q3619461$83DC4E37-0FB8-4AF4-A1B8-A275EA61756E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dc7a83e905bc22118fcbb14d08f2bc7b91d0af66","datavalue":{"value":"https://doi.org/10.1007/11681960_28","type":"string"},"datatype":"url"},"type":"statement","id":"Q3619461$FD338E54-3FB2-4FDC-B5CF-EF30009E390D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"31a62f593e9d44b447811a1101ed1e3ca203af62","datavalue":{"value":"W1607308774","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3619461$8D4A26F5-C4E9-4498-AECB-1ACAACEB965B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b49d69d76bc721ffe93f299ec0552f08f47dd33","datavalue":{"value":{"entity-type":"item","numeric-id":1583513,"id":"Q1583513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3619461$D1B9451C-1323-42B5-BBF3-7234FEDE6B9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94babe1e0ab5a5866969f10cff2ac8dc5e87e54c","datavalue":{"value":{"entity-type":"item","numeric-id":4506554,"id":"Q4506554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3619461$9332560D-048F-4C65-AF41-5FBC97639BD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa696feaabd4bd394b2480e10c573c4753acee86","datavalue":{"value":{"entity-type":"item","numeric-id":4270052,"id":"Q4270052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3619461$8FC3BD2C-33BB-44C7-B000-9A310E35312F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42899df5b07f98507ca87f01b80430013eb00ad3","datavalue":{"value":{"entity-type":"item","numeric-id":4315289,"id":"Q4315289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3619461$85D8176A-9E63-4163-8FC7-16B6BE416DEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e14fa4d86359b0053eeb8744df3084110674f47","datavalue":{"value":{"entity-type":"item","numeric-id":3743146,"id":"Q3743146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3619461$00586044-B309-4903-8E60-ED897412792B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01eb2711c3190597da4eeec9f27679b323ca594e","datavalue":{"value":{"entity-type":"item","numeric-id":4319762,"id":"Q4319762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3619461$EFBD0FB8-B8AE-47D3-9ACC-EF81B032E5AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"599e62b4ad1c4b0544badfd084d6f9b22d599553","datavalue":{"value":{"entity-type":"item","numeric-id":2703816,"id":"Q2703816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3619461$282A71B2-AD38-424A-A8F7-59D5D202F38D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1dc63ce7a148ca7bcf57f2bde7c013be872a6476","datavalue":{"value":{"entity-type":"item","numeric-id":3619461,"id":"Q3619461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3619461$0ACE640B-D304-44E6-8713-68617807BBFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c24833ce9e3f1480fae1a1ca14ce9e972c19b5c","datavalue":{"value":{"entity-type":"item","numeric-id":4264335,"id":"Q4264335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3619461$2D430ED8-DB62-4AD7-B8C4-D31008C6F941","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3b6368d41a552d96ef4cbc52c6e9ed974940ebb","datavalue":{"value":{"entity-type":"item","numeric-id":2389641,"id":"Q2389641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6cbaf03ba69ae5212dadb3782ab23b193e0360f","datavalue":{"value":{"amount":"+0.8716233372688293","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":"Q3619461$729F6EF4-3D3D-4FA5-A739-F86F57E73A9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e43d68be216e6a8a1b1cae1756f4161eec483e02","datavalue":{"value":{"entity-type":"item","numeric-id":5039513,"id":"Q5039513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf93bf93c53d82f05de46b39968e17cc9dd49bfe","datavalue":{"value":{"amount":"+0.7731944918632507","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":"Q3619461$09991796-3DA3-4FBD-8028-4B65E8A0A12D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df85947c99a64c198768120c98663fd502d59c33","datavalue":{"value":{"entity-type":"item","numeric-id":1583513,"id":"Q1583513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"434f0b94d25b4ea6bec093180b1efd2e660c1636","datavalue":{"value":{"amount":"+0.7672828435897827","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":"Q3619461$02318BFC-DF99-428B-B446-2CE7F0AA1F14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44c417f13c9637cdbd50a0f830d5778fda7191e8","datavalue":{"value":{"entity-type":"item","numeric-id":2864840,"id":"Q2864840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4214e05b5ad669314adcb0919dafaf2dc884d1f2","datavalue":{"value":{"amount":"+0.7656926512718201","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":"Q3619461$A2A5CF00-87A5-4937-B640-05E998899592","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6940affb1624d667aea4dee3ebacacb9b345af66","datavalue":{"value":{"entity-type":"item","numeric-id":5072555,"id":"Q5072555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e3e957f0187631be0b8dd1e5fe2001dbc76e8fd","datavalue":{"value":{"amount":"+0.7484610080718994","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":"Q3619461$FF43F078-F2FE-41BC-A301-5D042AB3C8C9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3619461","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3619461"}}}}}