{"entities":{"Q2233472":{"pageid":2244215,"ns":120,"title":"Item:Q2233472","lastrevid":73842141,"modified":"2026-04-14T17:27:30Z","type":"item","id":"Q2233472","labels":{"en":{"language":"en","value":"Densities of almost surely terminating probabilistic programs are differentiable almost everywhere"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7410468"}},"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":"Q2233472$1D05C9C1-8DE3-405E-9C19-53267D3176B3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"94a348a3fa09e9382b186ac74ad6abd2644f1249","datavalue":{"value":{"text":"Densities of almost surely terminating probabilistic programs are differentiable almost everywhere","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2233472$383FAACF-9382-4098-B7A1-CABDDF00B3AF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7ac65f4cb424f2a1310aa29248e7b7708dfc1f5f","datavalue":{"value":"1473.68048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233472$CF3A92E2-ECE5-4612-A8CD-CD41E1358D3E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"da7b0c38ea26bd913127c0e4e16c7b021847068c","datavalue":{"value":"10.1007/978-3-030-72019-3_16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233472$E43FAFC6-EB76-4272-B65F-AAA6C40403FD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc45e6b9322bed7360e4aac2a42f8c73614b44f3","datavalue":{"value":{"entity-type":"item","numeric-id":1787138,"id":"Q1787138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233472$5600EB6B-B60F-48A2-A7AB-10BFA938ED0D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"899d672926fe97cd87f3708d91dc74172e4f3b51","datavalue":{"value":{"time":"+2021-10-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2233472$60406BEF-B446-43F2-B826-A723CCFE3935","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3d7aa14fb307d93164a0387699a01c3209de84e9","datavalue":{"value":"https://arxiv.org/abs/2004.03924","type":"string"},"datatype":"url"},"type":"statement","id":"Q2233472$0EE3AA02-4878-4724-8010-B976BA2AF338","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233472$305C8657-0ABC-45E3-8FF5-EAEDF2FCFD93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233472$FDD64EDF-3FBE-4273-8D75-7DD451D60017","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c345ccf30eb7bac1ebcb944a666e63764dac4508","datavalue":{"value":"7410468","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233472$64DD4D11-BCA0-4D94-93B1-11AB87167DC8","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":"Q2233472$EA4D5FF9-18F8-4CB0-8F26-42A9D92A0761","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"91de8dcc6710d4297034fbadba09e9654bc1c3fd","datavalue":{"value":"W3148899495","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233472$C4EC95D4-609A-46E7-9015-C7EE5118AE95","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7039f35873ea76b6151b88dc3cc120a3afd4471c","datavalue":{"value":{"entity-type":"item","numeric-id":5041087,"id":"Q5041087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233472$D62E3ECF-E2CD-4F60-BBC9-80EA9C2B4F56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03b235a26e388933170df511bae43577dec79e31","datavalue":{"value":{"entity-type":"item","numeric-id":2942901,"id":"Q2942901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233472$8F24D685-592D-429D-A005-D5D166C79F3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53ac7fbcb8acf1741aa001bcdfa6ede6a67a46b7","datavalue":{"value":{"entity-type":"item","numeric-id":5278083,"id":"Q5278083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233472$512BEE2A-560A-4A0F-9293-93DD3B7EF002","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50eb761c8b9951752852213f2c0eed6039691dc1","datavalue":{"value":{"entity-type":"item","numeric-id":2323972,"id":"Q2323972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233472$39053573-7AA5-43D9-A1B4-296AB5D1D2CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"175d54077c4a67c964fd05514b43aedf78f74248","datavalue":{"value":{"entity-type":"item","numeric-id":2039229,"id":"Q2039229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233472$316A9E0D-887A-4102-BE4D-CD29AFE67446","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6680c6212d0de274172c2b027fbf73e41a69267e","datavalue":{"value":{"entity-type":"item","numeric-id":2981999,"id":"Q2981999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233472$AC3CE907-9789-42E5-A19B-C53493CDA947","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93d3bdce3682e835566f985e4cf194f60d508078","datavalue":{"value":{"entity-type":"item","numeric-id":2988648,"id":"Q2988648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233472$31C359FD-B0E9-4E97-94DB-DECF4B881489","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f80fcdcb1d8ca6c690b4c886cf334588a552bab2","datavalue":{"value":{"entity-type":"item","numeric-id":4561511,"id":"Q4561511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233472$66EED841-4DF1-4D05-8FED-42831C3243E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f6213954e81e724c3f286590145891086b91f6b","datavalue":{"value":{"entity-type":"item","numeric-id":1884894,"id":"Q1884894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233472$6008AEBC-95E0-4EAF-B0B6-A93E3B94B64E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07edb7d6d4ac1081ce65598075102df99701c319","datavalue":{"value":{"entity-type":"item","numeric-id":2933843,"id":"Q2933843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233472$6D4E78C0-441C-490E-8D43-5FF8F09AD325","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27c7d94d2d68b45a4977d1bec76b0aae2f12f032","datavalue":{"value":{"entity-type":"item","numeric-id":2200831,"id":"Q2200831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233472$56FAF9DC-6587-482C-95E2-4092ABF93867","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed8967308a38201142efbbb20617e74506cc4432","datavalue":{"value":{"entity-type":"item","numeric-id":5275390,"id":"Q5275390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233472$9E5745AB-ADA7-4499-9B7A-504DE464D374","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f641a2ff637483535846e3518ac204be9bbd115","datavalue":{"value":{"entity-type":"item","numeric-id":2982001,"id":"Q2982001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233472$37F7D8B5-4CBD-4582-98D5-8E3CD7093035","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dde1171a1e61455ff21c0984feff3bab884b2d41","datavalue":{"value":{"entity-type":"item","numeric-id":1733103,"id":"Q1733103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233472$9642EFD1-ECE2-4FBC-BA6D-8A2126AC5E72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83fa1aea41b23b77e49c2e6c48c1b67f2ce6b255","datavalue":{"value":{"entity-type":"item","numeric-id":4095837,"id":"Q4095837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233472$4CB058A3-D924-4F7D-BF5B-65BF5225B877","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1d2a559d431968f6888ce9373af1c5c1a999fcf","datavalue":{"value":{"entity-type":"item","numeric-id":5213204,"id":"Q5213204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233472$E7814608-D5B2-4D3C-A4FB-265F8695A18E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47b4021077d458c2d08888669d0b84e68f9a00b4","datavalue":{"value":{"entity-type":"item","numeric-id":3179303,"id":"Q3179303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233472$F9743412-26F9-4305-8094-2634B547528B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3832e3dc267ceb2e4bb4d3a758f9c5723b89426b","datavalue":{"value":{"entity-type":"item","numeric-id":1159979,"id":"Q1159979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233472$2CFB312A-CC06-46C7-A605-FFDAE1EC5CE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dad46b940e05aea3dcef18c3d62366aea82d9114","datavalue":{"value":{"entity-type":"item","numeric-id":5361277,"id":"Q5361277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233472$E312F21B-1C1D-4512-A134-1D35A7757817","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a6e1f471c01018aff5bfbaad613dfbb6c6f6278","datavalue":{"value":{"entity-type":"item","numeric-id":3653936,"id":"Q3653936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233472$77CBD4E6-3FFC-45B5-8466-CFEB5F7C168D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6996b87db9ff42e8f4cc4db470c7eab0f65caefa","datavalue":{"value":{"entity-type":"item","numeric-id":2883935,"id":"Q2883935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233472$1A9418C4-74F9-4B83-8257-9DA9E582BED0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dedd7e2662b15a4e3b01a6ce92e481d3bb8357ef","datavalue":{"value":{"entity-type":"item","numeric-id":2233472,"id":"Q2233472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233472$0EEF8727-E25A-40B9-AA59-4B5773E2562B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15ff679fb7358f55f44cbb717af6d59d565eac7e","datavalue":{"value":{"entity-type":"item","numeric-id":3172405,"id":"Q3172405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233472$93E5E39F-4E4C-4BAC-90A3-88509147706C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"352609a9530ac216311f088d926006172af6b99d","datavalue":{"value":{"entity-type":"item","numeric-id":5113016,"id":"Q5113016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233472$4F91B2A1-FA25-446F-9CEF-D9DB554B6A41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cc1eae19d26dedf39074ff685f832a12a5993ec","datavalue":{"value":{"entity-type":"item","numeric-id":4115333,"id":"Q4115333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233472$EE5DDF6E-A8D1-428B-B4DB-0B2D6BD039DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f815b333bb881989d9b818874a2a5f2de3414597","datavalue":{"value":{"entity-type":"item","numeric-id":4179849,"id":"Q4179849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233472$771D2E7D-1203-4704-B344-4EF9780BFBB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5043892a0e511359188ed62fdaa6bd089f0b3629","datavalue":{"value":{"entity-type":"item","numeric-id":1314363,"id":"Q1314363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233472$767CE509-5BCC-4B6D-8506-3D73B3F97DF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a95daeef8c22989ecc67335a8768911c6277d47","datavalue":{"value":{"entity-type":"item","numeric-id":3976061,"id":"Q3976061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233472$F8628436-87B8-4A61-ADA6-E43D0B29381E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea5f9676a7b279cbec29e73f67a9c5f2e1181545","datavalue":{"value":{"entity-type":"item","numeric-id":2988671,"id":"Q2988671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233472$1F50875A-2DCB-40E2-9CA1-0A888561D193","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3a181cc67128011304889b6847be996b90419f6","datavalue":{"value":{"entity-type":"item","numeric-id":2638156,"id":"Q2638156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233472$4A2352D0-C760-4949-BE8E-E989B6E706EB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74ff16d64fe4d89d095f2c0f8846c09b5d767656","datavalue":{"value":{"entity-type":"item","numeric-id":6166145,"id":"Q6166145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd2c364310bbddb6681c5fd6eec31afe2e409b26","datavalue":{"value":{"amount":"+0.7056134343147278","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":"Q2233472$DF3A4EF0-2EE1-49B9-BF64-6B1A9E371F84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a70dfc165ebb2193aec2fd0f07ca68f7764592d4","datavalue":{"value":{"entity-type":"item","numeric-id":5278083,"id":"Q5278083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9789d7a18457d932ccc72cfd555c5bc77b9480b","datavalue":{"value":{"amount":"+0.7033178806304932","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":"Q2233472$445183BB-9844-4B59-8133-9B3875809B64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f66f653b73a9f75a4ccfaee63026d7f30ab1d7c9","datavalue":{"value":{"entity-type":"item","numeric-id":2946345,"id":"Q2946345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d31fa920c0527eb008b863845e13db4e2ea41959","datavalue":{"value":{"amount":"+0.6999367475509644","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":"Q2233472$85AC941A-476F-40FE-BAFC-C6F6472124F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"177ae7966c34a270964d2ac4e0f5f16c15d8971b","datavalue":{"value":{"entity-type":"item","numeric-id":2982001,"id":"Q2982001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11cf360de7a72c03d80556d1db108d64f896e1c4","datavalue":{"value":{"amount":"+0.6997478604316711","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":"Q2233472$08E97BF3-01CF-40B5-8E2B-BEDA951A53F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"450f9f766a5c3c8d35786fe303890243742c71ff","datavalue":{"value":{"entity-type":"item","numeric-id":1733103,"id":"Q1733103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d03710003238f3790f8974428ec0006c6bf3e09a","datavalue":{"value":{"amount":"+0.6984988451004028","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":"Q2233472$36ABE96D-E420-4DB1-A459-0B41590DFF6A","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233472$9862DC84-2212-4513-AC82-E192FB67B41A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Densities of almost surely terminating probabilistic programs are differentiable almost everywhere","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Densities_of_almost_surely_terminating_probabilistic_programs_are_differentiable_almost_everywhere"}}}}}