{"entities":{"Q2864840":{"pageid":2875560,"ns":120,"title":"Item:Q2864840","lastrevid":51880223,"modified":"2026-01-20T11:26:16Z","type":"item","id":"Q2864840","labels":{"en":{"language":"en","value":"Polynomial-time verification of PCTL properties of MDPs with convex uncertainties"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6233057"}},"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":"Q2864840$198E8953-9CB0-44D1-9626-E6780203B9B6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"70b1f4614b85fac9041ccc193d38c8fe9f72ef28","datavalue":{"value":{"text":"Polynomial-Time Verification of PCTL Properties of MDPs with Convex Uncertainties","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2864840$63936682-B826-4A34-9038-E1F0B879027B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"31298f9c1f8872fc76b557dc7f2693b6effca24d","datavalue":{"value":"1435.68202","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864840$4C4F3A6A-0B3A-4AD4-8194-3AD9E96DB017","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fa7b4bf80d1928ece60f2c5517f52eb4e89ea240","datavalue":{"value":"10.1007/978-3-642-39799-8_35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864840$A282F9F7-C12B-4ECB-879D-4929E507184D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d4ba228bb5693c2e3eb7592c46c7d713183c8c65","datavalue":{"value":{"entity-type":"item","numeric-id":2864836,"id":"Q2864836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864840$DB53C3E2-1C4E-481C-8A0C-7FAEB2277BEE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"88928c17fadcfc4c4e165345ca8ccf5e078f7614","datavalue":{"value":{"time":"+2013-11-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2864840$DEC5DB3F-9056-4925-876F-4AEEE2480199","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864840$D340F3B7-8A9B-4CA9-9535-AA12A4FCFF96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864840$8CBA3D93-C99E-4B2F-BD8D-02692EC03DAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864840$B1E60D6E-BD00-4635-8C98-FE5ABC1002BF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"83faa9365adbcc094ea53ddad4460811af2a6548","datavalue":{"value":"6233057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864840$E933D4D9-FC9A-4437-8EAB-47B3C4F1D6F1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fbd1f99995fb6a13da62a377ba6327166316e976","datavalue":{"value":"Markov decision processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q2864840$CC3B2D16-D922-435E-9F6C-995EC254F08D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8e5d1640a9a10bde209aad98fb59b1050a4cb674","datavalue":{"value":"probabilistic computation tree logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2864840$4F756A31-0115-4B33-8A14-ECB2E71F81DC","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"35a2846f8904cb762c31a269d649183703e33074","datavalue":{"value":"Q57380212","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864840$D656A17F-4DBF-46FD-BD88-602C41CCB351","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":"Q2864840$AA20C176-BBC6-4CAF-8789-13FB8102A0CB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a8d1ff0648ce869c4442bde509efbe4fcdc5dec4","datavalue":{"value":"https://doi.org/10.1007/978-3-642-39799-8_35","type":"string"},"datatype":"url"},"type":"statement","id":"Q2864840$DDE324E1-F214-41CD-B50E-B74019292DF8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"da8bbe93cdcfd91abf7474ea87ed97ea87540760","datavalue":{"value":"W2098597080","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864840$7D77017D-35F8-4BAB-A2D0-46E3446216DB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fe6f33e6bd01076b738efe5919a1a8bd4155e4b0","datavalue":{"value":{"entity-type":"item","numeric-id":4566842,"id":"Q4566842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864840$FEF3D172-5A14-4BB3-8585-5C0902051F65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"32357869f36124882a1b40921aef09a5e5b57a05","datavalue":{"value":{"entity-type":"item","numeric-id":3016971,"id":"Q3016971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864840$6B8E9597-F0D0-4D0F-8F27-241FB6D13E47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d086e44329306ab3ecd40903a02197703cd48951","datavalue":{"value":{"entity-type":"item","numeric-id":1020553,"id":"Q1020553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864840$65A9D3E7-3741-4466-B516-3714F068671B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"55f249f40c4f258debe6dc3dacc160f2e23026fd","datavalue":{"value":{"entity-type":"item","numeric-id":557794,"id":"Q557794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864840$D2350028-1E0A-4450-9456-EE623891E9AE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33fb6f9650c304777d7f8aa97539b2e3d7a6834e","datavalue":{"value":{"entity-type":"item","numeric-id":4994959,"id":"Q4994959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e7a8f03954a69228e8ef34284e6fc821471018d","datavalue":{"value":{"amount":"+0.8180953860282898","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":"Q2864840$7B4A4015-71D2-4472-A9A7-C09FF65E4579","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":"75c4f13b00e7917cd2ba800f587532e87e0c75a2","datavalue":{"value":{"amount":"+0.8100305795669556","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":"Q2864840$91DC0037-BD9F-41E2-B4F6-99A56CC8DC5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90f7a92e0817d2350a2bd97377233e6ff229f6f9","datavalue":{"value":{"entity-type":"item","numeric-id":2798714,"id":"Q2798714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63fc7e56ed33b6488978d5a3ef4707043cb66760","datavalue":{"value":{"amount":"+0.8000805377960205","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":"Q2864840$0595AA61-F19A-4914-825C-C6FAF410950A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9088082e1dcdaa454edf141de3df56fe42205551","datavalue":{"value":{"entity-type":"item","numeric-id":1693117,"id":"Q1693117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4fc23f2a43031167c37b507b392874fc2dce642","datavalue":{"value":{"amount":"+0.796736478805542","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":"Q2864840$B8DEFBA8-3EF9-4544-AD75-ED9AEB260A0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9cfb47701ac54747dd97b37a269aa2e5621fb08","datavalue":{"value":{"entity-type":"item","numeric-id":3457782,"id":"Q3457782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22db8daf7f84d07dbf97b3faaf6db5a038c832d3","datavalue":{"value":{"amount":"+0.7669174075126648","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":"Q2864840$49D8317C-7ECC-4F31-A8DB-078659897904","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2864840","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2864840"}}}}}