{"entities":{"Q5958768":{"pageid":8135570,"ns":120,"title":"Item:Q5958768","lastrevid":47755927,"modified":"2026-01-02T14:57:05Z","type":"item","id":"Q5958768","labels":{"en":{"language":"en","value":"Partial correctness for probabilistic demonic programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1715813"}},"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":"Q5958768$ADBAD9F7-ED88-4917-BF11-4402F70E60C6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"eeadef779435463e3ea83914e54a8873da54cb36","datavalue":{"value":{"text":"Partial correctness for probabilistic demonic programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5958768$E0E4AD6A-2ECA-49EA-97D0-7A6D82005F70","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"768e09dc5ba7049be785ab8b4a6a5cf4a4c0511e","datavalue":{"value":"0992.68137","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5958768$160DC77F-8863-4D94-8E39-327E8CCC9FE4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c47690b1e91c758e4f799ffbbf280d25331491ab","datavalue":{"value":"10.1016/S0304-3975(00)00208-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5958768$38C629DE-0239-435A-AA4A-71AFA825737D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"edb7994e252aa9cc656a1cdd08ac08e998723d93","datavalue":{"value":{"entity-type":"item","numeric-id":406450,"id":"Q406450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958768$DBAE3DFD-CDD3-421D-B5BD-ADEC26F3F67C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cf440a1d97a3d3fa3fa9dbf8f55a722afca85620","datavalue":{"value":{"entity-type":"item","numeric-id":671410,"id":"Q671410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958768$CDE121A4-2F24-4848-BC07-0EE04358CCBA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958768$E9E71F72-E34A-4DFC-AE5C-2A5C79BD90E1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"de0bbc1f0efc0eda52d8a37720ec217ae66c93cd","datavalue":{"value":{"time":"+2002-03-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5958768$A22650F3-B6F0-42F0-865B-1C76B3B63BB7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5958768$3CD9E69F-3991-4D3B-8FA4-13356BDBD50D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"517c14f19661dfb5ff7e697f3ffd302f8e473483","datavalue":{"value":"1715813","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5958768$0DE63412-120D-4881-A35A-A2071507638D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4bf8a6acc7c8f0e1d4c6a6f8a79bc23cd97bca04","datavalue":{"value":"program logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5958768$0B7C1436-4EC5-4C1F-AAD6-7E6DC0D6172D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5958768$EE20D5B2-D5D1-4629-A81D-9355E3026A94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"73b4c65f1932723e758d611f0e45f29f11ae5669","datavalue":{"value":"probability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5958768$D679603B-5045-4327-BB07-DFAFC7050D84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24c0946ca1c7cece261e7cb3d3e9af5ea3b79649","datavalue":{"value":"partial correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5958768$20813591-CCCC-4C44-9DB0-D1797FF950FD","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"17cfe6afe68a54e81dc559ef2cd5a702765207b0","datavalue":{"value":{"entity-type":"item","numeric-id":25375,"id":"Q25375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958768$56F1E1FB-7294-4E4E-9F8E-7E234DCC864D","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":"Q5958768$6FC862CC-7CCF-486A-8CF4-CC0D80F4EE5D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"090e4b104dd3f76f7e7cbd674cb41b2227a87ff1","datavalue":{"value":{"entity-type":"item","numeric-id":4692502,"id":"Q4692502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958768$1B34115A-1DFC-44F7-A91F-119783E0EFB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"226149966044b48001c0682076573b6d91099455","datavalue":{"value":{"entity-type":"item","numeric-id":4773988,"id":"Q4773988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958768$9884D67F-B9F1-4C23-9E62-F2A55FB657A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72d428c066e43d99a76b4b1d22743b2d72495f54","datavalue":{"value":{"entity-type":"item","numeric-id":671993,"id":"Q671993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958768$0295AB7D-451B-45B1-93B0-12794A55F6D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6e1b5018bda716b21b6a197d72ea9db7f36bdfa","datavalue":{"value":{"entity-type":"item","numeric-id":1295212,"id":"Q1295212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958768$D3CE24AD-7A7F-4121-A1B9-B27013A90F67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd89d5c023988536194c34385fd16b601bc1eeac","datavalue":{"value":{"entity-type":"item","numeric-id":1349926,"id":"Q1349926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958768$E039DFF3-4084-48F9-9984-B3C32603D9DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75882a9a2b6b3a8cba4f283e497ce540bc19b01b","datavalue":{"value":{"entity-type":"item","numeric-id":792757,"id":"Q792757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958768$8E8FC1EC-07E3-4585-9042-2FEA3B616BCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8b39becd3d97e5b4332fc0ca5be51b8d26579c9","datavalue":{"value":{"entity-type":"item","numeric-id":3744955,"id":"Q3744955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958768$7AD191A0-ED37-4BF9-AB0B-22D908A45339","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ab27431165540664640d5aa634c6148768b5aab","datavalue":{"value":{"entity-type":"item","numeric-id":1356940,"id":"Q1356940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958768$156CD88A-C715-449C-804A-0B12AD455C14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7c3461e823e16301f2ba1d4613d0fabb013ef51","datavalue":{"value":{"entity-type":"item","numeric-id":4023579,"id":"Q4023579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958768$09D0DE2F-218D-4F12-8B2B-2D1947F14873","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3832e3dc267ceb2e4bb4d3a758f9c5723b89426b","datavalue":{"value":{"entity-type":"item","numeric-id":1159979,"id":"Q1159979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958768$C17B99C0-3E34-4CC0-B0FB-8201918EF34D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a47ee12f4bcf41dd0ddcd6bc6af43e562c9669e","datavalue":{"value":{"entity-type":"item","numeric-id":5925822,"id":"Q5925822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958768$99CC135F-FC6B-4455-BCA5-AB9E31F53516","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e70a46df6bd961b87332072844cab9b2ec8e762","datavalue":{"value":{"entity-type":"item","numeric-id":5958768,"id":"Q5958768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958768$38458A87-3A45-410B-A683-4FD9546FB114","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55bd9695a498b39ffbc126ffafce2de1acf09660","datavalue":{"value":{"entity-type":"item","numeric-id":671411,"id":"Q671411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958768$CECAC7DB-9567-49C5-B443-A1DCBDD6D73A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9249637ae9c8b93f92c43a44939a7ecfa39db98","datavalue":{"value":{"entity-type":"item","numeric-id":5650203,"id":"Q5650203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958768$46D34A8A-FC5B-4732-B29F-D5B2227E90F2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3df2062477e400153324e8a42104b32141a25c9f","datavalue":{"value":{"entity-type":"item","numeric-id":2265798,"id":"Q2265798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ef904c4d2496a49fe30a204f3e578f8b0480bf2","datavalue":{"value":{"amount":"+0.7855373620986938","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":"Q5958768$D463EF6A-B65A-40DE-9463-ECC99804742F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba25d85936ea5f9ea52290d2224d965d90087530","datavalue":{"value":{"entity-type":"item","numeric-id":5925822,"id":"Q5925822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50b248b54b359b653f8ccd0b3d259be664bc795b","datavalue":{"value":{"amount":"+0.7845913171768188","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":"Q5958768$7C3835A9-1714-490F-8165-8C175E80FA30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74f1ab42347132194a4620ab8227caf321ce7cc3","datavalue":{"value":{"entity-type":"item","numeric-id":3585023,"id":"Q3585023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50b248b54b359b653f8ccd0b3d259be664bc795b","datavalue":{"value":{"amount":"+0.7845913171768188","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":"Q5958768$3879187C-36EB-4FC1-8452-2AD6F744E98A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63a0e5b54895453883cb57dbbec709f98a7e6971","datavalue":{"value":{"entity-type":"item","numeric-id":541217,"id":"Q541217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ebdd0abc95583fda290867829bb4cc762b86c1c","datavalue":{"value":{"amount":"+0.7731813788414001","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":"Q5958768$36B60781-D069-4A51-92C8-040775572801","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c675f4be317e371cc1adb9259273d81eaeebbe4","datavalue":{"value":{"entity-type":"item","numeric-id":1424351,"id":"Q1424351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39f6acdc2e8ba81fd1bdf839361c2f51d41b7997","datavalue":{"value":{"amount":"+0.7679511904716492","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":"Q5958768$3F23778F-E77C-440C-A3C9-119651E75863","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5958768","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5958768"}}}}}