{"entities":{"Q2233471":{"pageid":2244214,"ns":120,"title":"Item:Q2233471","lastrevid":73842132,"modified":"2026-04-14T17:27:30Z","type":"item","id":"Q2233471","labels":{"en":{"language":"en","value":"Correctness of sequential Monte Carlo inference for probabilistic programming languages"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7410467"}},"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":"Q2233471$F7166A39-0672-4293-AF1D-ED06FE6B8F2E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9686f26c55ba29114aa10491d966b98c090b1ecc","datavalue":{"value":{"text":"Correctness of sequential Monte Carlo inference for probabilistic programming languages","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2233471$BBB3F7B2-2355-4581-A124-4EF027F9A1E2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"82c1bcf9a1a63fcee15175d1597dfcc9d5f2eb77","datavalue":{"value":"1473.68038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233471$56BD890C-6B3C-4586-B4CB-7DADFBAE73AE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b645ac4895ff9864c257963316fd08030f4135a9","datavalue":{"value":"10.1007/978-3-030-72019-3_15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233471$6C08A8D3-5F6D-4072-91DC-23415AFAE860","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e16142b0982993566eabb9428ba4bf4fe5b93675","datavalue":{"value":{"entity-type":"item","numeric-id":2233468,"id":"Q2233468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233471$F4855A5D-0A1E-4DE1-A708-71D112B77412","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"08ac0ece65ffa29f2cb3e18f66e3388d5684450f","datavalue":{"value":{"entity-type":"item","numeric-id":2233469,"id":"Q2233469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233471$22CA6293-CB1F-462F-BC4D-3277E095F71D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"822332ab5fbcf8f08b81a3ab9a9a5012d2553fb3","datavalue":{"value":{"entity-type":"item","numeric-id":2233470,"id":"Q2233470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233471$1429869A-A46B-44BE-B7B3-5D7A2BFFE07B","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":"Q2233471$EF011D18-55CA-4E7E-8676-8CE36DA61914","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"af65eb58bef1c690c61cdd54b05b6e0b0dd75639","datavalue":{"value":"https://arxiv.org/abs/2003.05191","type":"string"},"datatype":"url"},"type":"statement","id":"Q2233471$84F4BFBB-864D-4861-806D-A455074A426F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233471$650D4435-AA0A-47A9-98B8-1CF5D76E4788","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233471$8C612A8A-CCF1-4EC0-821E-CB8CADFD11DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233471$966E7AE0-2A6C-4862-A853-4235B6D6670F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233471$71C23028-424C-4061-81B5-8B91A8E198B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233471$1B2B3417-0572-48EC-8B86-71616B6D23F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1f66a3c6f6c4263d812ea49e5394cac6ea83ef9b","datavalue":{"value":"68T37","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233471$579DEC22-7EE7-424B-A385-E5A01E1F9E89","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"84dd4c01d43086587769f0d96620cc82e24a18eb","datavalue":{"value":"7410467","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233471$61DCEDCE-FB72-4741-B1C7-FEA97A433D26","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2bf78c9ff68381ba2adb2a75ba12d4f7a7246f85","datavalue":{"value":"probabilistic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q2233471$3D385977-09D8-4E9F-8571-1CA4D62B4560","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e590bd3e3abba36a35beaef6e8647bb59ba2a8ac","datavalue":{"value":"sequential Monte Carlo","type":"string"},"datatype":"string"},"type":"statement","id":"Q2233471$44983914-F9D1-4676-BD26-0A8E1CE35D7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15a5b88457b15e43f49d0900c124a1c1adc72df","datavalue":{"value":"operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2233471$6213F5AC-35B1-4878-B63E-6F4155361AC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00b76a2e54f8798fe172effecd557ced03e2f904","datavalue":{"value":"functional programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q2233471$69BDBA95-7286-4E3A-BC17-276DB5DC8D98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eae8315478af6787508c528740b602e2a5b411f4","datavalue":{"value":"measure theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2233471$3DB61FCA-0B1A-4826-A842-606163D5BD43","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":"Q2233471$CD4600F2-4EF4-46D3-9927-D55F3A2345D2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a5238c1d7532818c20b8c4e67fe7f38fc02a9616","datavalue":{"value":"W3140464509","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233471$327F272E-9E55-49C4-9495-3A51B0441099","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1567a09831badd078143bff84c1a31067ac56c49","datavalue":{"value":{"entity-type":"item","numeric-id":5483032,"id":"Q5483032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233471$AC146E38-D9C3-45FE-BA4A-EB344EBAB1FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3bc89baf73628f974d3a7186d3a3d3767805f119","datavalue":{"value":{"entity-type":"item","numeric-id":4656017,"id":"Q4656017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233471$4790353B-B9FC-4370-A3AE-015BE02BDDC3","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":"Q2233471$0C2AA8DA-BF2B-499B-BD67-B55C9D181759","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fd49cacaad2bba32371c0649c7914f9763803f6","datavalue":{"value":{"entity-type":"item","numeric-id":5703859,"id":"Q5703859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233471$82C9181F-F691-49F6-AD46-5D8D63DFC9AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f066203e09bbb42fbb3af3617391f4b8871a5900","datavalue":{"value":{"entity-type":"item","numeric-id":2388330,"id":"Q2388330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233471$2A4673CE-4E08-437D-B547-7521EEEDF4CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db58b10fcf02657272954c2f9fe67812e2f0e41a","datavalue":{"value":{"entity-type":"item","numeric-id":4819702,"id":"Q4819702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233471$800D1586-8C27-4201-9AA9-04DDBCD5108F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7107271d2f1fa14d9fff182e395c60401f7d78a","datavalue":{"value":{"entity-type":"item","numeric-id":2734599,"id":"Q2734599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233471$F70B815C-D6BB-419F-843D-3E0B1D550761","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fdedf9b00f8474e5bbc0b47cea1521115d631083","datavalue":{"value":{"entity-type":"item","numeric-id":2729278,"id":"Q2729278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233471$D1BEEDF4-CF92-4E8A-8BF2-5B04280FEFC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff9b3f2feb426e2feac2081734bd81e29f48ae08","datavalue":{"value":{"entity-type":"item","numeric-id":4864274,"id":"Q4864274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233471$81ED0590-69A7-43A3-8C89-AEC338559920","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bef5d8768c3fd01d09404252201cd06de288a7a","datavalue":{"value":{"entity-type":"item","numeric-id":2931816,"id":"Q2931816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233471$56C43EA7-A98A-4495-B8DD-2CD36481D00A","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":"Q2233471$F564ACB0-279B-4504-AAC9-CE66C4C0EEF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbf9c2e1d181dcbb7f4dbc8923a7a385a16355e7","datavalue":{"value":{"entity-type":"item","numeric-id":2233471,"id":"Q2233471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233471$CDD23B8B-7488-4999-8953-4A0C248A27AC","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":"Q2233471$84E8BB5F-7ED3-4F19-A102-DD7E75764A8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0a1ef905ece69370435b50dff269272276d6af3","datavalue":{"value":{"entity-type":"item","numeric-id":2885004,"id":"Q2885004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233471$33719592-C593-4A17-8CCA-14B488BB882E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6212a0ca29f03d15f7a0c3e747059620bc42b1e","datavalue":{"value":{"entity-type":"item","numeric-id":5213202,"id":"Q5213202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233471$BEE4F90C-871F-494F-B0A2-162BEF8C8E77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eac6a72e5a3f7d04d286f8a80ba01638547a8c68","datavalue":{"value":{"entity-type":"item","numeric-id":5276144,"id":"Q5276144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233471$7DE2101F-EF71-412A-9C74-1283ECC0F9BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22f0cbbef5edf1648e5a6538cfce144838f7415d","datavalue":{"value":{"entity-type":"item","numeric-id":4541234,"id":"Q4541234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233471$B30F2EDA-BC9F-4871-833A-AEB9B1D8775F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c22b4c14406a61f28f8d6bf23209bb95e38f7ccd","datavalue":{"value":{"entity-type":"item","numeric-id":4843187,"id":"Q4843187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233471$0D2EC15C-1BBE-4814-9366-D000201AB0B0","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":"Q2233471$4147C807-BBB5-41EF-BD85-018266E07D8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc4c5afa32682b6614ad0638bf10a2f4f1610081","datavalue":{"value":{"entity-type":"item","numeric-id":4635912,"id":"Q4635912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233471$53219942-A96F-439E-BEB1-A886247AB4B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"549f7e54027851c9279678fd4b29b628e4ea050a","datavalue":{"value":{"entity-type":"item","numeric-id":3580906,"id":"Q3580906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233471$89D72C87-B4F5-4DDF-86AF-CA85E0E11B05","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28f8bdaaa5ecbf467db9fa749743c8d2293e5599","datavalue":{"value":{"entity-type":"item","numeric-id":5275390,"id":"Q5275390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27a460a9d8fe74feb9fb0165e88a8768de49c8e5","datavalue":{"value":{"amount":"+0.7974684238433838","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":"Q2233471$667BA6E9-C210-4598-BDBF-25F44105E401","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13b86b6995e48e0874414cd1c5daeeb59fa89a47","datavalue":{"value":{"entity-type":"item","numeric-id":2981999,"id":"Q2981999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"041b98f41b793524c59e638351208ae4804c032e","datavalue":{"value":{"amount":"+0.7511411905288696","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":"Q2233471$4CE30973-FD3B-410C-896E-E2886ABF2D9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e179a41494cf98c8edce880f48e810ad0780bac2","datavalue":{"value":{"entity-type":"item","numeric-id":5213202,"id":"Q5213202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8fe577ce365cfe38e00175fab0d211cfc45a5b70","datavalue":{"value":{"amount":"+0.7129693627357483","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":"Q2233471$D5DDA231-11DE-47B7-AE3C-4929277CB2BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a3339bc31637e0dc7919f0a67e93dfd448ab765","datavalue":{"value":{"entity-type":"item","numeric-id":3179303,"id":"Q3179303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56afd46750f80257ffb434108bd52a92e8af6f55","datavalue":{"value":{"amount":"+0.7052129507064819","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":"Q2233471$12EE4104-3BCC-48E2-AC95-3BF4BEACDD44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8e8b1e51d5cee4308c2517eab98d3a5024e6a98","datavalue":{"value":{"entity-type":"item","numeric-id":4635912,"id":"Q4635912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8712b7e32250b28f713bdbf057f23c3ed98a5816","datavalue":{"value":{"amount":"+0.6956927180290222","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":"Q2233471$7EB2671E-9259-4144-8D85-D03D9359C373","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":"Q2233471$02E04FA1-4A5F-46EE-B485-BDF86CC7B712","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Correctness of sequential Monte Carlo inference for probabilistic programming languages","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Correctness_of_sequential_Monte_Carlo_inference_for_probabilistic_programming_languages"}}}}}