{"entities":{"Q53713":{"pageid":53769,"ns":120,"title":"Item:Q53713","lastrevid":105428630,"modified":"2026-10-09T10:10:15Z","type":"item","id":"Q53713","labels":{"en":{"language":"en","value":"Probabilistic_While"}},"descriptions":{"en":{"language":"en","value":"AFP entry Probabilistic_While"}},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"6421757e4a1672efdf2353e3440b80452ac44325","datavalue":{"value":"38013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q53713$D26A375E-571B-44FE-B5F6-8BFE834B36D9","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"908c3454b3659c4b140ccce33c5aee31081edc8d","datavalue":{"value":{"entity-type":"item","numeric-id":5976450,"id":"Q5976450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q53713$55D96662-C27B-4BD5-9A2F-8839D299D62C","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"c3f5b405c57c78a0f8650ece302f76a286e4479f","datavalue":{"value":"https://www.isa-afp.org/entries/Probabilistic_While.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q53713$7C381A96-2B4C-419F-B024-5B1DCF8E8A19","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"95bde9084e6ca63a8492631a417b047b22c72453","datavalue":{"value":"05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q53713$B6A47092-F288-4AD7-80A1-AC2D203B6B4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1a467a32e3049b1299c9c2b688461b7f273ec943","datavalue":{"value":"60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q53713$3B63848F-EECE-43F8-B782-53335154476D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q53713$269A037F-25A3-41F5-8025-31DEE25F0055","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1a438efc028ac8f007fcfec586995516429ecdd8","datavalue":{"value":"91","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q53713$5D14BE97-CB57-4680-A9B8-F8AC2B3E466A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bebb7aa66b6973aa3a0c9749da8f6cd6626bb594","datavalue":{"value":"94","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q53713$3E90B9A0-742B-499B-830B-6422752C868D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d524cbea14b3375266fe3893cb26a33f13ae791e","datavalue":{"value":"5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q53713$CD0C7B8F-F564-4CBB-A726-107D4C22932E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cb68336c6ece13b86917b0c80051f1685885b843","datavalue":{"value":"60.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q53713$2F27BD48-FF61-4E46-AE0A-4EFDBBA192CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"09f5e0c6033338f59ef27e37d6877da0f26d9646","datavalue":{"value":"68.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q53713$6B316446-CB86-4C6B-A35E-F5B7AC624580","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ca6833d3c12e329e13f5f7a45eb21803ac988009","datavalue":{"value":"91.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q53713$2559F7E7-5953-466C-ADF8-AA06B686AF31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fb7b2d196cb181e838b342f41804d522dff44830","datavalue":{"value":"94.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q53713$452B0F78-FF0C-446B-AF84-D1BB1535EF5D","rank":"normal"}],"P1458":[{"mainsnak":{"snaktype":"value","property":"P1458","hash":"bb05cb23794774f62a8e4aa4de610af231973a1d","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q53713$CA1F5B49-2801-47D9-BE1F-7B1EDF3A5C0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a2a767ccd0e9bdc5b1b4a2069a6679f9340a857a","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q53713$1DE18545-1CA3-4510-BEC5-767011DBF40F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"f70e8f897325b539c702d8d7cb97dfafe554224c","datavalue":{"value":{"entity-type":"item","numeric-id":32823,"id":"Q32823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q53713$6F46B882-EAC8-4E1B-8EB1-DEA8066F5685","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"da71442535724374fba994798fe2e776a105b283","datavalue":{"value":{"entity-type":"item","numeric-id":40255,"id":"Q40255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q53713$802975F7-2982-47FB-ACD3-14B3B0EA6D60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"9ad8338290e864661fc95f2a66261cf7e07a407c","datavalue":{"value":{"entity-type":"item","numeric-id":32822,"id":"Q32822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q53713$0F74D94D-FE11-44AE-82F1-920C988700FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"74b3e1a53a717ca62a629eb480944df7ee3187d4","datavalue":{"value":{"entity-type":"item","numeric-id":53714,"id":"Q53714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q53713$1924BDFE-8A3F-4298-9CCA-C1E77DDCBD9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"63dfdf554f26dc046bc1cc284387a8f2b7ee925b","datavalue":{"value":{"entity-type":"item","numeric-id":39279,"id":"Q39279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q53713$0A1E2527-1AC9-4C52-B720-C0E7B1D08739","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"826b53166301e7f2710fbb9ac0613992a63d1b43","datavalue":{"value":{"entity-type":"item","numeric-id":30463,"id":"Q30463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q53713$B0D226A5-EEEC-43EB-AC30-823ADC5D9D88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"244ebbac6461f60bed6d50e50ce8194b0e233968","datavalue":{"value":{"entity-type":"item","numeric-id":40296,"id":"Q40296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q53713$6A3C77F1-C419-4CC2-99F8-45A268BA482B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"475b592b7f3c7573e79f818da959e13eb74264b6","datavalue":{"value":{"entity-type":"item","numeric-id":32994,"id":"Q32994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q53713$49904210-7312-4033-AEED-8CB1E1EB4454","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"9e7a1624ebcfc86cb11ccad80d0985ed6ed992b9","datavalue":{"value":{"entity-type":"item","numeric-id":18826,"id":"Q18826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q53713$A643527B-6DEA-40DC-AA48-2F70AE1AA7BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"cc41d9364226bfa8139f8dbc43b1b77967245f13","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q53713$160FA44A-798A-45A4-9082-268D426C7CD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"4eea1e5549472c93f3282a38917960fdec6b61a1","datavalue":{"value":{"entity-type":"item","numeric-id":24733,"id":"Q24733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q53713$B124A149-C85C-4346-A409-296C610EDF5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"92f1e12a373225f3cd6d33d504cb4800a78d2adc","datavalue":{"value":{"entity-type":"item","numeric-id":53715,"id":"Q53715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q53713$B45EE17C-3679-4A9E-AA05-75CA7EDB7A91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a3f9d192df50f24767772f5b218635cb7747b820","datavalue":{"value":{"entity-type":"item","numeric-id":21717,"id":"Q21717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q53713$A16C737B-4549-4E32-ACC5-8DAEE3B85D51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ff80b41d03c65073c007c903a317be0a9c94293e","datavalue":{"value":{"entity-type":"item","numeric-id":13958,"id":"Q13958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q53713$042B4996-9A11-4A53-A0DA-41918E3A8D40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"3a073d1e3162db58b1a890386d8dbe9eebb4637c","datavalue":{"value":{"entity-type":"item","numeric-id":40373,"id":"Q40373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q53713$6FABBBAE-7B02-489E-BB08-C0332889D78F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"7d1a8519018039436924ad678b461ed447b5bd71","datavalue":{"value":{"entity-type":"item","numeric-id":40310,"id":"Q40310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q53713$64B410C1-C06D-475A-984A-BCA498B1DD4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"8d55daeff7c4288ce44d22059c68add0e43c0b42","datavalue":{"value":{"entity-type":"item","numeric-id":40280,"id":"Q40280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q53713$8074F287-143F-470D-AF63-81B8E29F92CE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"04337265bc0dab4cae1876b8cec1419f7e02b9b9","datavalue":{"value":"https://isa-afp.org/entries/Probabilistic_While.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q53713$DF688294-DDFD-43C3-BBA0-ECC7A78BFA28","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"480a99c095fd0e6e30ce40dd951da46a627a2bb9","datavalue":{"value":"Andreas Lochbihler","type":"string"},"datatype":"string"},"type":"statement","id":"Q53713$52A08833-9F1E-403C-B634-57396BE31F26","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5328968e5d08ca54e04fe9b14649ef4d5cbc4457","datavalue":{"value":"This AFP entry defines a probabilistic while operator based on sub-probability mass functions and formalises zero-one laws and variant rules for probabilistic loop termination. As applications, we implement probabilistic algorithms for the Bernoulli, geometric and arbitrary uniform distributions that only use fair coin flips, and prove them correct and terminating with probability 1.","type":"string"},"datatype":"string"},"type":"statement","id":"Q53713$B6641197-EF9F-4EE9-9B0E-A6A0338B28E1","rank":"normal"}],"P223":[{"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":"Q53713$BCEF34C4-1CD3-4D1C-903D-A72676AAD648","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":"Q53713$C4260026-5532-46A2-8124-50F1270302E5","rank":"normal"}],"P2651":[{"mainsnak":{"snaktype":"value","property":"P2651","hash":"eff161b7dcf55a20ec4d840b7f18d4148cc115e3","datavalue":{"value":{"entity-type":"item","numeric-id":7360789,"id":"Q7360789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q53713$0BE1A0C7-82A1-4B9C-8A86-8F9E8624C401","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P2651","hash":"83587c66a63f16aa6d09e1e557ca61651a36a985","datavalue":{"value":{"entity-type":"item","numeric-id":7360782,"id":"Q7360782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q53713$4B0D993D-37DB-41EB-B2F8-35A5AB5B0CB3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2521123b5dbe8709daed0db214711d9c66f9f8cf","datavalue":{"value":{"time":"+2017-05-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q53713$EC08C7ED-FDA3-46DB-9D1B-BE82DC124112","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"66cb5b2162000ee2bc3def852235d5fd4d3cbe5b","datavalue":{"value":{"text":"Probabilistic while loop","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q53713$88BF9731-E9B2-4966-A4B3-5E43D42E06AD","rank":"normal"}],"P37":[{"mainsnak":{"snaktype":"value","property":"P37","hash":"9a21a8eebe97539644aa32b24dda137c12e751dc","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q53713$55566E1D-8092-4F75-9214-91473DBFE4FF","rank":"normal"}],"P585":[{"mainsnak":{"snaktype":"value","property":"P585","hash":"e570050f4e3a79e388071d66294dd34b7d2d2031","datavalue":{"value":{"entity-type":"item","numeric-id":7361128,"id":"Q7361128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q53713$09146842-8D28-4C43-B8D9-4FC77F20789C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Probabilistic While","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Probabilistic_While"}}}}}