{"entities":{"Q2802489":{"pageid":2813227,"ns":120,"title":"Item:Q2802489","lastrevid":58013823,"modified":"2026-04-03T11:11:34Z","type":"item","id":"Q2802489","labels":{"en":{"language":"en","value":"Weakest precondition reasoning for expected run-times of probabilistic programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6573777"}},"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":"Q2802489$2A22A40E-AF46-4EFC-B611-3C8D9145F53B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"142d34844c8ea28b767622b77d6a45480c15e49a","datavalue":{"value":{"text":"Weakest Precondition Reasoning for Expected Run\u2013Times of Probabilistic Programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2802489$557EABFA-07CC-4C33-8F55-0F079BDA79F6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2e43b86575c7a11e3c0a097ad95e35ea6bd8813a","datavalue":{"value":"1335.68058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2802489$4D5A31D3-99D3-42C8-BE5C-F4A0EEAF90CF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"33d53a8c129975aa6fda8ec25aca28ec9f5b64ed","datavalue":{"value":"10.1007/978-3-662-49498-1_15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2802489$58B44A9E-55BE-429D-88FF-DA8698AC652F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"aacfa5b5220f00c3776f4488c780f2bf11d5042a","datavalue":{"value":{"entity-type":"item","numeric-id":832285,"id":"Q832285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2802489$0F65B6D2-CB6E-49A1-B619-85EEA89EE8EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e6540e32a203254877553aac5eab75fd0bcfef04","datavalue":{"value":{"entity-type":"item","numeric-id":832286,"id":"Q832286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2802489$BA8B057E-1115-4C0C-B540-F6E1B2D09D18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e8d20baf2bbbf83820a504ac35a854e33214738e","datavalue":{"value":{"entity-type":"item","numeric-id":2802488,"id":"Q2802488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2802489$4276A6ED-38C3-492C-9882-D459D16A396B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a7022a72b5bacc0b67ba4ac59d1d6bc736b6252b","datavalue":{"value":{"entity-type":"item","numeric-id":236073,"id":"Q236073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2802489$B7FD44F8-34EE-4ACF-B456-F1C0D890443B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7efb66db9d8cc237b51d0f645d1a54c929d4c460","datavalue":{"value":{"entity-type":"item","numeric-id":2789030,"id":"Q2789030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2802489$5CF4881C-3AE9-4191-826F-72BA51509D9A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"86bb9394e061bedbe680055bcc3d946b9049a265","datavalue":{"value":{"time":"+2016-04-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":"Q2802489$3DCE06A0-3733-4F1A-9AD8-3AF665E5B6B5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"89d50d05b48d44f099a51e94c82615f699ef52db","datavalue":{"value":"https://arxiv.org/abs/1601.01001","type":"string"},"datatype":"url"},"type":"statement","id":"Q2802489$B6B48275-3DAA-4B01-A11B-770B2536C8DA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2802489$DB8924F9-B99A-4637-A6BB-3521B79FBF9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2802489$9693B5CB-2708-4523-9AEC-1DF725148317","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6699464861e10f38dd96564a06a27bcf5f211f1b","datavalue":{"value":"6573777","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2802489$2F8D63EA-CB7F-4332-AAF7-834D43E48F64","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"abb803c6475a042fe06038cc89389e508b9ca513","datavalue":{"value":"probabilistic programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2802489$72B39F26-D408-4DD9-8B27-87960B01E322","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7d7f06f66ae256df2024f660dbac966553756b5","datavalue":{"value":"expected run-time","type":"string"},"datatype":"string"},"type":"statement","id":"Q2802489$9042103E-5C7E-4F6B-A786-2656EC4AF407","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ca3aa1d31768399079390914d88ea2ac60c6839","datavalue":{"value":"positive almost-sure termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q2802489$9DFF9A7A-55C9-42D7-AD08-AC4D6DCE5987","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26325b97ca9f91dadc7bc17af7514ea7907cb4fa","datavalue":{"value":"weakest precondition","type":"string"},"datatype":"string"},"type":"statement","id":"Q2802489$A280C300-2BF4-40D9-9A83-0903F0762506","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2802489$2C29F42C-47FC-409C-8667-0A9866A385CA","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"445a20a9945ff27ec0657d8b8733d58dd563e7bf","datavalue":{"value":"Q57800587","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2802489$8F7D279E-2994-48A4-8EC2-7D8D0CFBA2F1","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":"Q2802489$5B75798D-D45C-404B-857C-9C4905220E70","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fed8a87fe5c69a904bd35946809bf406471ea8cf","datavalue":{"value":"W2222812367","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2802489$6653F072-94E2-4489-864F-34836FEF609D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ea320a992264c718d9c887d03b88507d3e291f5","datavalue":{"value":{"entity-type":"item","numeric-id":2946594,"id":"Q2946594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2802489$7AD57B1F-096E-4AA2-92D5-82895920C964","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b0c7436976c5b9893e05c1462fed16a80d7904d","datavalue":{"value":{"entity-type":"item","numeric-id":5322945,"id":"Q5322945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2802489$922BC133-7688-4FF2-B7BB-0F5CA63FD94D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f94d3df904ea2ca8efbcc93ac1fe6b3e0fe90bd","datavalue":{"value":{"entity-type":"item","numeric-id":5713947,"id":"Q5713947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2802489$195C7FA1-C0D4-4A3B-8E76-FC7FAB851284","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3b0d8d0247bb8494eb578df8c41d16cf4be39de","datavalue":{"value":{"entity-type":"item","numeric-id":743128,"id":"Q743128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2802489$F178E0D5-5BE5-4B83-895C-FD0E41DF8617","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f442b44a5300f388694262d8d6b4cd8f6502665d","datavalue":{"value":{"entity-type":"item","numeric-id":5716917,"id":"Q5716917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2802489$B8A00FCA-A2D2-482D-9745-3AEC571F5D2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67b8a6374b4fc895d89506f759c76e54380f8254","datavalue":{"value":{"entity-type":"item","numeric-id":4144755,"id":"Q4144755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2802489$BB03B615-9A28-46C5-9300-BDD09155E74A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"494704942889132fc5cd85d5e8b020c6a4a0b233","datavalue":{"value":{"entity-type":"item","numeric-id":2819834,"id":"Q2819834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2802489$7DEBA9B3-1E06-453D-A25D-5E9BE2FBBAED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25f46d39a135010e607e0b17b635c44213edf585","datavalue":{"value":{"entity-type":"item","numeric-id":1293892,"id":"Q1293892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2802489$D534A117-786F-4FAD-B1F3-7BC219C57237","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff2fde5fee5dbb94ae7f59259e7f9b9ff71cb8bd","datavalue":{"value":{"entity-type":"item","numeric-id":640292,"id":"Q640292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2802489$C864B1C9-1E8A-4131-9BE2-BB63CA68026F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"766fbaa92bcbb6bbaca460c89e9bad7008c12be6","datavalue":{"value":{"entity-type":"item","numeric-id":3769944,"id":"Q3769944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2802489$3F51AABB-4152-484A-ACE0-D8AD25C4B73D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323dbd6fd6973b3663055cf97da83be885dd9ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5569944,"id":"Q5569944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2802489$0E3C7F73-B923-429E-A1FC-FC78F6272C91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a59763b3fb25129051745803dae70f5cf79103f8","datavalue":{"value":{"entity-type":"item","numeric-id":4484343,"id":"Q4484343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2802489$783BB973-30A6-465B-BE40-4A5999E83BBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28257ce02a4ba767d4b99cee6ba427bdbee61632","datavalue":{"value":{"entity-type":"item","numeric-id":2946345,"id":"Q2946345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2802489$BBAB5690-0C60-4AD6-9DD5-54BDA485675B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43404ec2d41a8c402f2500bd778d3e2740e76c76","datavalue":{"value":{"entity-type":"item","numeric-id":2802489,"id":"Q2802489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2802489$4B279ABA-9AE6-42B8-91B0-41F1ACAB556E","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":"Q2802489$19531C51-9022-4745-8279-0D1D9E76E26F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c1591307efdcfd25c5361ed6b6bc0d30639a1f8","datavalue":{"value":{"entity-type":"item","numeric-id":4650346,"id":"Q4650346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2802489$0779F433-3B14-4D03-8CCE-31E14157B39D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82ba3bd74ef41e0757015be3b53bca7ad9cb71ba","datavalue":{"value":{"entity-type":"item","numeric-id":5463630,"id":"Q5463630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2802489$B920EC3A-EC86-4DAB-9586-9A8703D1461D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ff5b5cf23faeb53abf9928eb56e818e4d061ee3","datavalue":{"value":{"entity-type":"item","numeric-id":4778698,"id":"Q4778698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2802489$C18DB6B8-F9CA-47A2-9035-B059FC3C25D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d05652188e444fc35e748b68b983451566933e27","datavalue":{"value":{"entity-type":"item","numeric-id":4856179,"id":"Q4856179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2802489$26C50256-47B3-4A5D-8B72-F49F8BB37F26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86703a297e6de2f8b1c4a5b835dc2dd73a5a096f","datavalue":{"value":{"entity-type":"item","numeric-id":1091122,"id":"Q1091122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2802489$AE275243-BC4E-458C-855F-EC09BE24B22F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"71d4b3fa7e45928bcee6b16f759f549d80fde972","datavalue":{"value":{"entity-type":"item","numeric-id":884946,"id":"Q884946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2802489$6725C47B-E90E-4FF6-B965-BE6A21B3D3AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3198643895c4e17fa96b7321331bcf34a99b2fd","datavalue":{"value":{"entity-type":"item","numeric-id":4002149,"id":"Q4002149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2802489$6A64F161-F2D8-4241-8A86-3BBD940D0B43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06c35a02114839df8ec37c9b47eb3fe93b7baaeb","datavalue":{"value":{"entity-type":"item","numeric-id":3141916,"id":"Q3141916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2802489$C814FC12-7F44-483F-A47E-0A86588A2F7A","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"e08daa5650c833d353c786d7b7ffb57634e9e07e","datavalue":{"value":"conf/esop/KaminskiKMO16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2802489$303813A9-6772-4C35-8656-E62F06D4F1BC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1944c104cde8d7a160b348c6322c2983cafaaf6","datavalue":{"value":{"entity-type":"item","numeric-id":4625651,"id":"Q4625651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39c8629b6c6460d5bbd07aa89f51513415ec1d74","datavalue":{"value":{"amount":"+0.921458661556244","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":"Q2802489$BC761F94-37C5-4D1A-9C8A-510A113BFA9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ee0feb7bb35066b7e5391f540e70798c7dc92db","datavalue":{"value":{"entity-type":"item","numeric-id":4635928,"id":"Q4635928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"945a1ea7805636871665f7f3629eb9ed6ca2e7ab","datavalue":{"value":{"amount":"+0.8668156266212463","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":"Q2802489$5758DBD2-FC9E-41D1-9C36-B60F7A8EC5E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1bbf30a29272c11b9da4b90b7b82f0d2dd2735cc","datavalue":{"value":{"entity-type":"item","numeric-id":2829281,"id":"Q2829281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d63c47617bd6288da0240ceecf24a5234d3b212","datavalue":{"value":{"amount":"+0.8113212585449219","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":"Q2802489$C3EE75DA-CA18-4340-A296-714B8A6401BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f0fdd257d206239f5396495178802c69c4b0a1d","datavalue":{"value":{"entity-type":"item","numeric-id":2828275,"id":"Q2828275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"632f17127b17255f040f3a56ca960f4fb0c689fc","datavalue":{"value":{"amount":"+0.8110944628715515","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":"Q2802489$3C034EFE-D703-4782-BF87-AF48DBC112BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"450f9f766a5c3c8d35786fe303890243742c71ff","datavalue":{"value":{"entity-type":"item","numeric-id":1733103,"id":"Q1733103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d783a25b2ebac8f387b885f0f04aacc5cceeca2","datavalue":{"value":{"amount":"+0.8068506121635437","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":"Q2802489$040B0197-966C-4BFC-95E3-8B29D06BF311","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2802489","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2802489"}}}}}