{"entities":{"Q4625651":{"pageid":6655233,"ns":120,"title":"Item:Q4625651","lastrevid":53368184,"modified":"2026-01-24T20:11:01Z","type":"item","id":"Q4625651","labels":{"en":{"language":"en","value":"Weakest precondition reasoning for expected runtimes of randomized algorithms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7029215"}},"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":"Q4625651$B0C49212-1143-4846-8F83-8E6685569FB6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b33ca7a6b9f60ddba81b1fa0d85684b3f7f8d719","datavalue":{"value":{"text":"Weakest Precondition Reasoning for Expected Runtimes of Randomized Algorithms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4625651$64063E18-9E8B-419E-AB74-0D8136B1CB96","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a578744affc99068162f373d5ec8c3b5bc7ffc26","datavalue":{"value":"1426.68298","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4625651$8FF90105-E47F-4A0E-A7D7-64AB325ACDC2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b075d023d9450b07aa2bb06ef647ffb448609751","datavalue":{"value":"10.1145/3208102","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4625651$04E11FCB-B151-4F15-971F-933C474CAE93","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":"Q4625651$059DF409-9AA5-47CE-A561-FB4B5AFD1311","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":"Q4625651$BDB6C1B2-02BA-4AFE-810A-9A0BD2A8497B","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":"Q4625651$D5F2CB2D-F5F4-4F67-B0D9-1F707C968939","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":"Q4625651$F1CB0D43-CE64-498D-AA58-259A7C1D7ABF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f12bfc80fe4a431c556e028f5134a217234a7cc4","datavalue":{"value":{"entity-type":"item","numeric-id":63915,"id":"Q63915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4625651$3C0E138B-5386-4556-88F6-9C9DC270E344","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"dc29c15a6fca964aa571755fad99d56eec8fcf01","datavalue":{"value":{"time":"+2019-02-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4625651$0A2B8431-4E1A-47CB-88A0-78AEDFCF277E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6416f4d98d06ed19c4c00326245dd40402fb8599","datavalue":{"value":"https://discovery.ucl.ac.uk/id/eprint/10089685/","type":"string"},"datatype":"url"},"type":"statement","id":"Q4625651$7BFB82F7-9A0E-4EF9-AECD-92A0464BA1B0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e01671c873d801b913451010c0981a684c101d40","datavalue":{"value":"68W20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4625651$9061015D-520E-47CC-B0EE-01E39C18F914","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7ddaa80bf0a693a36c1113ff6b7ad576f729940","datavalue":{"value":"68W40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4625651$17A566A3-8F61-4A76-AA6D-EE9018F538F7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"751d43247109837c834a313733a8b5baa48660d2","datavalue":{"value":"7029215","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4625651$41104366-C981-4602-A97A-6D033A0F464B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"abb803c6475a042fe06038cc89389e508b9ca513","datavalue":{"value":"probabilistic programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4625651$F5A04AC2-8473-4701-B6F6-4A55453B568E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"168490bd678f4e3acda2112e1833e6957f4a5055","datavalue":{"value":"expected runtime","type":"string"},"datatype":"string"},"type":"statement","id":"Q4625651$DF25AC96-42D8-4B86-AFD6-BE55DCB7CD31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ca3aa1d31768399079390914d88ea2ac60c6839","datavalue":{"value":"positive almost-sure termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q4625651$950073A7-7B52-4F40-AFC3-A05F986825A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4625651$476650D6-7F16-419F-92D2-31D12C855246","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26325b97ca9f91dadc7bc17af7514ea7907cb4fa","datavalue":{"value":"weakest precondition","type":"string"},"datatype":"string"},"type":"statement","id":"Q4625651$19FFAFEA-A7CA-4CBB-807B-BB6C66B493FD","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":"Q4625651$8D5305A6-839D-4676-A9EB-4CE58E5D9DE3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"68e092005aa4c8662fd004d15324b3f34ac68e28","datavalue":{"value":"W2893610333","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4625651$C946670F-B7CA-4CF7-8575-318ECBC7971E","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"3bc0eca7d4f66ba2df6809c8f00d05b2d5f8eb1f","datavalue":{"value":"Q129322048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4625651$F8EF0206-EB6A-4F62-9D72-0BFA10F375B5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81b216213f6a059cf7f0308148fcacfeaf4a13dd","datavalue":{"value":{"entity-type":"item","numeric-id":2802489,"id":"Q2802489"},"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":"Q4625651$FF400F4E-E744-4B18-8540-3435FA800616","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":"e33702631f3a1396ae8e550950beb06121470a90","datavalue":{"value":{"amount":"+0.807601273059845","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":"Q4625651$C5CDB60E-0F24-4899-B4BD-B09DEECD8D65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6403580c50278aed29fcdd4124590fbd0dbef6d2","datavalue":{"value":{"entity-type":"item","numeric-id":2151240,"id":"Q2151240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03b15cad159a45af97edad53d5e72a21748e8485","datavalue":{"value":{"amount":"+0.7697240114212036","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":"Q4625651$54D63A38-CA61-4A5C-AE79-A1E8BE1E1B8E","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":"2b070e616b51be3a9d9071ecc2dd391f3d9d4a32","datavalue":{"value":{"amount":"+0.7622377276420593","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":"Q4625651$7C983804-008B-436F-80CA-23939F7DFF39","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":"5cb60cf88f91254efb8aa556b076c43a85f5256d","datavalue":{"value":{"amount":"+0.7566542625427246","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":"Q4625651$6CCAB517-DF11-48CD-8B44-8B2E6C63EF65","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4625651","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4625651"}}}}}