{"entities":{"Q7361635":{"pageid":31520444,"ns":120,"title":"Item:Q7361635","lastrevid":105367838,"modified":"2026-10-07T13:37:17Z","type":"item","id":"Q7361635","labels":{"en":{"language":"en","value":"Probabilistic while loop"}},"descriptions":{"en":{"language":"en","value":"AFP entry Probabilistic_While"}},"aliases":{},"claims":{"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":"Q7361635$344BE1E4-9ED4-425E-99E9-3784C9AE9145","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":"Q7361635$784997F1-4FF8-458F-8E59-018F6262B317","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"480a99c095fd0e6e30ce40dd951da46a627a2bb9","datavalue":{"value":"Andreas Lochbihler","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361635$461D32AC-9A12-413A-84F6-2D3F4EA52416","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":"Q7361635$0A10126D-37CC-464F-9346-7623524839B7","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":"Q7361635$F7637C21-F345-4521-8178-0A2FA5C06766","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":"Q7361635$C6013E3C-ABF8-4716-8322-FD90C062B1D2","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":"Q7361635$BFFBF750-AEE1-4A11-9BC6-D3D19DC15DA0","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":"Q7361635$0D4BF9B9-40AE-4ED5-B593-9C0CC0245A84","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":"Q7361635$5E8E240C-1A7C-4A3A-9B70-7A4CC204486E","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":"Q7361635$3D9CE646-5F48-48B5-B83E-EAED28A0C56A","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":"Q7361635$C40ABA4F-5D95-4347-AAE1-17641B29FE7A","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":"Q7361635$88C69FFC-7C48-452C-A15F-5B6AB6474F28","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Probabilistic while loop","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Probabilistic_while_loop"}}}}}