{"entities":{"Q2323970":{"pageid":2334713,"ns":120,"title":"Item:Q2323970","lastrevid":57851424,"modified":"2026-04-02T19:31:41Z","type":"item","id":"Q2323970","labels":{"en":{"language":"en","value":"An assertion-based program logic for probabilistic programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7104890"}},"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":"Q2323970$32EA1DA2-E4F9-4991-9D9F-E686536C6052","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ac92369cab169c0662e6f11a667d3e5a016de58d","datavalue":{"value":{"text":"An assertion-based program logic for probabilistic programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2323970$D74348DB-9E8F-4342-A340-AB501D4B1995","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f527505ad9cdb1e6f86fb6dde9c8b618935af8b4","datavalue":{"value":"1418.68049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2323970$C16C93FD-5B11-4372-A7A4-39A3E5A4A1BC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dcfb388d25dea9b88c079524d78853069d2b5fbd","datavalue":{"value":"10.1007/978-3-319-89884-1_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2323970$4D2BEC00-6B59-4A09-BAEA-B36F94CE9963","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"df85df02f9f01c867f5b97dc99ba15582bedbdd2","datavalue":{"value":{"entity-type":"item","numeric-id":236461,"id":"Q236461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2323970$9EDE4224-ABE3-4325-9B50-FC3C58749D90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6fc1b96efe2b3a26a4d72dfc53ed8e67a4f3aab4","datavalue":{"value":{"entity-type":"item","numeric-id":1633470,"id":"Q1633470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2323970$9390F5E0-AFF4-4DCB-9AB1-ADB1A1EB06F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0543480bd713540e86d55e77dccdfc4a22872606","datavalue":{"value":{"entity-type":"item","numeric-id":843950,"id":"Q843950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2323970$B0A9B178-0A2F-448F-8527-DD2CBB6480ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9bffd823543cff1e715d11a4bf716725d42966bb","datavalue":{"value":{"entity-type":"item","numeric-id":633301,"id":"Q633301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2323970$C38FF646-98B7-4899-8603-89635A082AD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4945abe70a949cd0fdf5412833ce3a82242934a0","datavalue":{"value":{"entity-type":"item","numeric-id":1623160,"id":"Q1623160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2323970$5F942B26-FFF2-41BC-8BEF-95C9F29F250B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1745bdeb092262739da6d0fd18a64d1c3c06446d","datavalue":{"value":{"entity-type":"item","numeric-id":2323969,"id":"Q2323969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2323970$3FD666EF-A533-4DB9-BB7D-C4D8ABA4915A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e58c5ec13ac9ff2a0c2a7ef47523e32b869731b7","datavalue":{"value":{"time":"+2019-09-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2323970$3CAF2E96-ED7C-482E-9153-ACA0CD2670BA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d76fbffef072bfb41595f1e791c63e8dbf77149c","datavalue":{"value":"https://arxiv.org/abs/1803.05535","type":"string"},"datatype":"url"},"type":"statement","id":"Q2323970$CC693C6F-9FD7-4222-AE70-BD08AA6A34D0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2323970$B43A6DD7-4E87-4F78-8409-75DCF1A75E87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2323970$34C53597-7C02-4769-BADD-3F674BBA22D5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5816c8e483a00442d134cc8f8476646d86309ae9","datavalue":{"value":"7104890","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2323970$2A69B7A9-B5C8-47E1-940D-D4E6C3F894FA","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":"Q2323970$CC58E936-990C-4EAB-9767-C12A51908101","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"464413134df62d9cdc3965c41f3f1e11faa9e1c4","datavalue":{"value":"W2962780947","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2323970$A312B65C-0306-4699-AB67-9AC0B69C641A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb78fb0ce6e11fbb4974fcf12abf053d1faa2f28","datavalue":{"value":{"entity-type":"item","numeric-id":4501575,"id":"Q4501575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"265eba14fe1580a93c6c4abaefd3e358fea37285","datavalue":{"value":{"amount":"+0.94529635","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":"Q2323970$231C5740-9E7F-4892-849E-4C5D41A7EFD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"069e430bb430cd217bb003a396d40fed1851271a","datavalue":{"value":{"entity-type":"item","numeric-id":3021957,"id":"Q3021957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"265eba14fe1580a93c6c4abaefd3e358fea37285","datavalue":{"value":{"amount":"+0.94529635","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":"Q2323970$C1EDA5E3-8C80-4F9F-8425-030909AF3FA2","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":"faafa3634caa1f6db55739dd50af59292e206340","datavalue":{"value":{"amount":"+0.9270986","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":"Q2323970$7C49264B-4CFE-47E2-9372-109CAC61E199","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9c2f2a7fc8474c0133780afda7d6c98adfa044d","datavalue":{"value":{"entity-type":"item","numeric-id":3316558,"id":"Q3316558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e5957b4c6712c4f9f9516a7d8baca9714daf6e5","datavalue":{"value":{"amount":"+0.92625237","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":"Q2323970$076FEE6E-FF1F-40F1-982E-A9F8B8359ABB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"772e7a59808604549504f21df021d922057b3e59","datavalue":{"value":{"entity-type":"item","numeric-id":5325836,"id":"Q5325836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e19b3a23f2b7929d1a8fd447e37eb80492d49bdf","datavalue":{"value":{"amount":"+0.9229959","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":"Q2323970$A721C481-D9A7-4A82-AEFA-53E11D8104D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5f4034399829c7be670eedad7e312c427b8bd41","datavalue":{"value":{"entity-type":"item","numeric-id":5465856,"id":"Q5465856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee6f68860acbf383661e7356728d891ba9801af1","datavalue":{"value":{"amount":"+0.92018193","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":"Q2323970$A7D9E8B7-56B9-4AFF-9C76-2F0237D7A3E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e762e37cd06209be4295de301f467d7cd1e5ccd3","datavalue":{"value":{"entity-type":"item","numeric-id":2163157,"id":"Q2163157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09522a5a761e64258e802ad5ea2f7a87eb142623","datavalue":{"value":{"amount":"+0.9183004","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":"Q2323970$D824E347-C75C-4170-B04F-EB933F3B8599","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":"cfa531e0e9cf35e7f537f49d6a88cfecac08f7e9","datavalue":{"value":{"amount":"+0.9162627","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":"Q2323970$EAF4C7DC-92C8-4B32-8651-55CB090FA3DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"195341238ec884fef4c1d57e3b631063fc7b6ed0","datavalue":{"value":{"entity-type":"item","numeric-id":3189808,"id":"Q3189808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aee0cd94499a160ee3c6eebd2339ff8a375e5206","datavalue":{"value":{"amount":"+0.9112679","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":"Q2323970$4B8EE1A0-FA8C-492E-8FDD-6B509ACAEA05","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":"Q2323970$FDC84B58-ADF9-4710-91DF-6EDAD3AD5F5A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2323970","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2323970"}}}}}