{"entities":{"Q4635928":{"pageid":6665509,"ns":120,"title":"Item:Q4635928","lastrevid":58313307,"modified":"2026-04-04T16:36:14Z","type":"item","id":"Q4635928","labels":{"en":{"language":"en","value":"Reasoning about Recursive Probabilistic Programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6863537"}},"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":"Q4635928$F74BF282-915B-4BA1-9E33-5993118BDED7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"97f9f80dc02576e02ee1ffe3d3a8bfde4820186a","datavalue":{"value":{"text":"Reasoning about Recursive Probabilistic Programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4635928$C1DC69DA-5C64-4110-A088-F31C056DEC73","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"30bf869cd93c1d5a8c0bfc3a547aabdcd83e9b05","datavalue":{"value":"1401.68048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635928$60827728-D520-4E4A-917F-007E6C26FF26","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"656644cfdf07d3d75a306e5a0873fd542b085558","datavalue":{"value":"10.1145/2933575.2935317","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635928$0AB4E02F-8584-4B11-BA7F-A74BF67459A9","rank":"normal"}],"P16":[{"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":"Q4635928$4ED144E9-F092-4D19-BA6D-BF5EF45BD069","rank":"normal"},{"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":"Q4635928$63D1CEF2-E86F-434B-8000-ADF5B9F87780","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":"Q4635928$8F50A146-D9B5-4E0B-AD74-5AA268982B0A","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":"Q4635928$44EEB185-EF5D-4430-872F-06747FA21862","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"046029701eaa27e11deafdbb503d5ba484152a43","datavalue":{"value":{"entity-type":"item","numeric-id":4635856,"id":"Q4635856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635928$75704188-5253-4A46-B3D8-855BDD579727","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8b5474500ed23a367f35223f2b97230670493d7c","datavalue":{"value":{"time":"+2018-04-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4635928$BE17C79E-8F2C-4FE9-AFF5-A6EB3A4FFEEE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2f6531a50c27d23d56f4c72b2cb171f2d3308667","datavalue":{"value":"https://arxiv.org/abs/1603.02922","type":"string"},"datatype":"url"},"type":"statement","id":"Q4635928$C6488FCF-D26F-4911-8AE7-035F0547F871","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635928$CB6B2BD7-38AA-4098-B24D-0DC6D8CC0EA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635928$DE9C1767-EE01-499B-9EF3-FDFFB37B98D3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9154e5d17c85507833d3cfb1ee20cd29bd5004f0","datavalue":{"value":"6863537","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635928$73168C84-1058-45E9-85DC-237A893596C1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"168490bd678f4e3acda2112e1833e6957f4a5055","datavalue":{"value":"expected runtime","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635928$C8B9FEA8-D1C8-405D-9857-8EC20E7988D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3818b29e576a8a9dd74bc78f45c4a1265cf4b0e5","datavalue":{"value":"probabilisitic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635928$7FFA0269-6378-4A15-BB6C-664775295DDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635928$DF3F7229-957D-4D76-9157-3CE778A763F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f796ed2b460346bbba92264dac0da22a5120d5d","datavalue":{"value":"recursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635928$491CA5B5-8431-47C7-B01E-D54E37512135","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa9ef02335b7e80150601d1826ed94251a788021","datavalue":{"value":"weakest pre-condition calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635928$C9FC585F-69F5-47AD-AA89-2416927DC95D","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":"Q4635928$9B744C91-4739-4642-AC65-CB7DC78F446F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"307a6fd30be77d8b45343e0b791ceb01e3f32ca2","datavalue":{"value":"W2294463722","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635928$C9351CA5-C0A7-4EFF-8532-E1D1850F9ED6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bce9f4e502d5ae2286f898cae88acd1b0d32a3f5","datavalue":{"value":{"entity-type":"item","numeric-id":2373709,"id":"Q2373709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01b5d2b94cf5b7f3fb203faf7ebdc0a7a8fab052","datavalue":{"value":{"amount":"+0.9514643","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4635928$5DA56EF3-3ECF-47E8-82AE-E67CA0BAFCDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c675f4be317e371cc1adb9259273d81eaeebbe4","datavalue":{"value":{"entity-type":"item","numeric-id":1424351,"id":"Q1424351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3da31c9dabb562886a7b06c255f528f11b18ac0","datavalue":{"value":{"amount":"+0.9359613","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4635928$D6095B6F-8507-4E74-BDC2-3882451366E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c959ea9a4a6b21892e43b9e5678db6da575a074","datavalue":{"value":{"entity-type":"item","numeric-id":3347262,"id":"Q3347262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"661fa06681c0f4059ccb0dd2060e235bd1c9be13","datavalue":{"value":{"amount":"+0.92625386","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4635928$F2C29001-055D-48D5-878D-825E816271D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed9990f4959d9ce43c50250a5b2c9608ed879bd3","datavalue":{"value":{"entity-type":"item","numeric-id":3613341,"id":"Q3613341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d88217b8b1d448da55c19c86ef844383b0f88065","datavalue":{"value":{"amount":"+0.92588496","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4635928$4088B1B8-0BB1-4EAA-82A9-F7E92FABAE93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3887ab154428bf71a062756455a768c7b3d88e0","datavalue":{"value":{"entity-type":"item","numeric-id":2695373,"id":"Q2695373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e1faca0f017d4df61a75339ee4e83630e22a1bc","datavalue":{"value":{"amount":"+0.9083054","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4635928$58BF9852-A985-400F-ACEB-CAB5AE2241CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c268b35e1aa8189a5d93a96cac1c3543656a4b16","datavalue":{"value":{"entity-type":"item","numeric-id":5313085,"id":"Q5313085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"491e055d94d932c889fb3e90df15782f8b31dcde","datavalue":{"value":{"amount":"+0.90417707","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4635928$FC6C904A-B777-4C9F-860A-572CC5DB3856","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bfa0dd6a7357916165b5ef6628ff23ed8b196054","datavalue":{"value":{"entity-type":"item","numeric-id":3449623,"id":"Q3449623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa08fe0e78180bd54baae31b8cd882024637e913","datavalue":{"value":{"amount":"+0.90312713","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4635928$D6A289E0-4623-42CC-B22D-B016F08898A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11c7c7a8867c58df01cdf665e64f3948dd4130a0","datavalue":{"value":{"entity-type":"item","numeric-id":2323972,"id":"Q2323972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45f02e3a0d2b302f2a8ab029ab15727ee8fb2ed1","datavalue":{"value":{"amount":"+0.9028448","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4635928$8C5B9431-08BB-4DDC-A05B-49ABEACD6C11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"918af812cbed059171ea069c5e22cb6499a98b56","datavalue":{"value":{"entity-type":"item","numeric-id":6070788,"id":"Q6070788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c00cb51a6ba2252b6cd7da4df94af8b5534b494","datavalue":{"value":{"amount":"+0.90208644","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4635928$D48FD58F-A6E3-4EE6-B028-033114FA7860","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4635928","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4635928"}}}}}