{"entities":{"Q1791202":{"pageid":1801944,"ns":120,"title":"Item:Q1791202","lastrevid":72966741,"modified":"2026-04-14T09:04:40Z","type":"item","id":"Q1791202","labels":{"en":{"language":"en","value":"Verified tail bounds for randomized programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6947002"}},"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":"Q1791202$0DC7DE61-F48B-4202-9F5E-BDFA1F8265F9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2387865e3f9c7ce406352b3c987c39be9f580426","datavalue":{"value":{"text":"Verified tail bounds for randomized programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1791202$3C10139D-FE76-4C07-A823-BB4EFDA239F3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"901446589bdc80687c3de4911737d75b9e42e906","datavalue":{"value":"10.1007/978-3-319-94821-8_33","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1791202$BAC94375-E1E6-44E3-AEFD-531FB8F81261","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a42a7c044f685381cae44f067f7929981ec564ee","datavalue":{"value":{"entity-type":"item","numeric-id":1791201,"id":"Q1791201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791202$EB01D234-DAE7-40F7-BFE9-88C74B5E4DE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c54adbdcdd8e58c67c424995e904ed84263f16dd","datavalue":{"value":{"entity-type":"item","numeric-id":724929,"id":"Q724929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791202$C8F30E57-D89B-44F9-8804-53D536B725F6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ff3c7136492fcf13c84b92efb7ac37b3eed57322","datavalue":{"value":{"time":"+2018-10-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1791202$FA992A3C-AB5E-47D7-8E19-E54B71D5DC89","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e01671c873d801b913451010c0981a684c101d40","datavalue":{"value":"68W20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1791202$6E60CA65-F824-4EAB-96A4-1C1B9DBC578C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1791202$211A87CD-143F-40F1-BFFE-4A0A620FB865","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1d464fc8792ceb2bb04442e15735cf1b1b0b2f62","datavalue":{"value":"6947002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1791202$C189744C-A2CB-47FF-9A26-A1525CED678B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791202$EEAAD6B3-B1D8-4855-85B9-6A2FCF114BCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"84eefd31cc35b0f322abc9d88353a26c9605ee67","datavalue":{"value":{"entity-type":"item","numeric-id":23492,"id":"Q23492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791202$ACBD91FF-C1C3-4B0A-82D0-BA5FA06458F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791202$24BA423A-5773-4965-BFB4-401B1B8F97F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a3e58d86780c6d721c1bb12e19e0bbbb9b665ae4","datavalue":{"value":{"entity-type":"item","numeric-id":40356,"id":"Q40356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791202$E3C28814-E697-4790-9A84-6A0BBCC3858F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8a40d38a34efa47012418dd6424d48447684a0ec","datavalue":{"value":{"entity-type":"item","numeric-id":40355,"id":"Q40355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791202$51A33C6F-0609-4BF4-BAC5-7B23028661A4","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":"Q1791202$ACA197A3-C817-41FA-9FBC-2FE408166466","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"37b82932586329c37c643d5765e8f70bb6fcccc2","datavalue":{"value":"https://doi.org/10.1007/978-3-319-94821-8_33","type":"string"},"datatype":"url"},"type":"statement","id":"Q1791202$D47571CE-0ADC-4307-8159-54A17AEBACAA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"438e46aa7064b56ed60793b8ab0be7a2b605d973","datavalue":{"value":"W2809851475","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1791202$36821152-AD3F-4254-A8F0-553E1C846D18","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc9ba0440f187d4f50ad29fd621df52e8f76c04c","datavalue":{"value":{"entity-type":"item","numeric-id":1391296,"id":"Q1391296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"045e9364540e6565aa7828ee5a4746e0700c7975","datavalue":{"value":{"amount":"+0.7887674570083618","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":"Q1791202$E67BB8F2-7FB0-4CA5-940B-A6E59CEAC329","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ebd83fb35ab452ebf11768274d2fe33b288d3517","datavalue":{"value":{"entity-type":"item","numeric-id":5096333,"id":"Q5096333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e14be6d51cfd25c4bdc9b079b66b44480d52c41","datavalue":{"value":{"amount":"+0.7757811546325684","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":"Q1791202$2CE06D47-2BC9-441B-8AB6-6EE82AAFA9BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a330b0a441f2e8f31e32d1189fee5be895aae44c","datavalue":{"value":{"entity-type":"item","numeric-id":3618814,"id":"Q3618814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c177ec6fd21f0b6c4fd7c51bbcad5380708299cc","datavalue":{"value":{"amount":"+0.7687456011772156","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":"Q1791202$3977C4B7-FD08-4F0C-9CD7-2A5DC213A2AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48f1bb9f0fd80cb34c125d16f6965ee044d9af12","datavalue":{"value":{"entity-type":"item","numeric-id":923886,"id":"Q923886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7185dfc044a172ff087a17eb298eee10a7ee01d4","datavalue":{"value":{"amount":"+0.7651069164276123","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":"Q1791202$2E3FD7C4-3ACC-477A-B9CD-537034E75D85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"328263efe5cb02c9e0eef86486fd052f977496a2","datavalue":{"value":{"entity-type":"item","numeric-id":5916263,"id":"Q5916263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8aafaf8e58e1b97e5db21ca00942e2ded4e01c89","datavalue":{"value":{"amount":"+0.760214626789093","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":"Q1791202$E64A46A3-1241-45C9-B6BE-E009DA529632","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Verified tail bounds for randomized programs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Verified_tail_bounds_for_randomized_programs"}}}}}