{"entities":{"Q1744393":{"pageid":1755135,"ns":120,"title":"Item:Q1744393","lastrevid":57517740,"modified":"2026-03-31T06:07:07Z","type":"item","id":"Q1744393","labels":{"en":{"language":"en","value":"Approximate relational Hoare logic for continuous random samplings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6862934"}},"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":"Q1744393$6A7AB091-8CBF-4305-BA29-0D1D2A867903","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b761fae62ea045c1b1a18684a5a0854deb999a09","datavalue":{"value":{"text":"Approximate relational Hoare logic for continuous random samplings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1744393$0D991E45-9EC2-4631-B48E-8053DECBCB97","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a17230c6805dfa70b77985f7b112908db5f48c2b","datavalue":{"value":"1401.68206","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744393$8839A43C-6F81-43FD-A7DB-1B2A1416AC0D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d775ab79a72fac62a16b3751c11e9f531a58bde8","datavalue":{"value":{"entity-type":"item","numeric-id":231248,"id":"Q231248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744393$44EF50AE-1C4F-4A26-9357-63F8AF3977D1","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":"Q1744393$7BE313B4-E6E1-4678-A971-7898C5B25E7C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f8ffb47de435e0b7b69e5f9755e82868736f2bf0","datavalue":{"value":"https://arxiv.org/abs/1603.01445","type":"string"},"datatype":"url"},"type":"statement","id":"Q1744393$1280855A-68F7-4BD8-BBD8-176686AFC53F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744393$4BEA2C31-49FD-4E9D-8BE7-2162AC192C4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744393$E1B5EBF1-4A3A-4518-B34B-5D8A4A8D9441","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"138bfade4254c939b16bf73099f468d5be54b557","datavalue":{"value":"18C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744393$AB309D50-0BFE-42EF-B4E5-2FC2B8AB607A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf2726c5c2109371cc10358eaa69bc4df711caf7","datavalue":{"value":"68P15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744393$26D98218-7DC5-4C3D-98C9-0813084C46D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"58bd804a9b32ab16fea71636cf187b83a20de8f7","datavalue":{"value":"68P25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744393$F54ABC9F-1738-4577-856F-E3B5FE8A2DEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744393$9FE1AB11-23A4-49E9-87E0-E53D4EC619F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744393$79BD8384-78A7-4F5B-B9BC-6F4F825916B7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0ab2712b626095b857e95617b7fd2b4f3e1ae4e8","datavalue":{"value":"6862934","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744393$3AC5979B-1EAC-424E-BDF2-2198AC81126C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c855e62dd5703cb0415e9cc6eeda75791ac88b3","datavalue":{"value":"differential privacy","type":"string"},"datatype":"string"},"type":"statement","id":"Q1744393$D1E6B25F-58B5-4E1E-9456-28764A7F9A2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51802126f63d5102d578f2858428d5d0f09da73b","datavalue":{"value":"denotational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1744393$E6BDBCD9-89C0-49F1-8F0C-CBF82432114D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"899842a87a829a1c519fc1dea88abcec00117b62","datavalue":{"value":"Giry monad","type":"string"},"datatype":"string"},"type":"statement","id":"Q1744393$D0FC9622-BE40-4466-A17C-5263930838FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bd9ea7638cbe5a92807d91de41d041fea48cc062","datavalue":{"value":"graded monad","type":"string"},"datatype":"string"},"type":"statement","id":"Q1744393$704A92E4-84A3-4E8B-8156-33C761AA2CAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c8a1b9bb955450cc6ec7447f1409ea98003459dd","datavalue":{"value":"relational lifting","type":"string"},"datatype":"string"},"type":"statement","id":"Q1744393$55CA58CE-B134-4FF1-B6A9-DCA949700233","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"a4dda5786bfa6be4e59c38be8e88cd9611e69854","datavalue":{"value":"Q113317629","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744393$A5A7A08F-EB7F-4341-88A0-3B0F4F5D417E","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":"Q1744393$D0257A03-D3CF-4265-A19B-7F954DB83DDB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e7f120b1ddb196e7ccceb421c7e71ccdf29b93f0","datavalue":{"value":"W2294955337","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744393$22380D47-CB6A-40D1-9D90-D7CE5ECFE237","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6b5d5ca29c90861584d782ee38820bcead6fee","datavalue":{"value":{"entity-type":"item","numeric-id":4635938,"id":"Q4635938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744393$73D66703-727F-4B59-ACE6-D08D798BBEBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab64a8c9ac458e857c328e4205432fa6bbd6f59d","datavalue":{"value":{"entity-type":"item","numeric-id":2942860,"id":"Q2942860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744393$E477A9C5-B4E6-4966-AC42-E352FA178095","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63e005cf52477f8a9ec09a5b8abfdcbfb57f4edc","datavalue":{"value":{"entity-type":"item","numeric-id":5327422,"id":"Q5327422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744393$DD0583D1-9B39-4DFF-A0AA-BE411D205195","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"902d58911cf57d61e4e30d431d92c375a51f10b6","datavalue":{"value":{"entity-type":"item","numeric-id":3452246,"id":"Q3452246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744393$45F1E43A-4C03-47FC-9C28-B9AF64897783","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd8f789a55aab3b1e9475576e08fa79eade5f257","datavalue":{"value":{"entity-type":"item","numeric-id":2805158,"id":"Q2805158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744393$7823C9BF-A706-492D-A200-D296703CE59B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e7eb418764ae243753274c2b93b3d69488191fa","datavalue":{"value":{"entity-type":"item","numeric-id":1960528,"id":"Q1960528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744393$89120218-86B0-4328-A176-F9CBE4D15B60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9ab1725ca7222c1bc65b4c38cdca79c82a13ad4","datavalue":{"value":{"entity-type":"item","numeric-id":5898359,"id":"Q5898359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744393$1EA8D54A-0470-4750-93BD-095098D6ECF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe4c48d8cd6bba60ffb5d8648f74e1189d23ab35","datavalue":{"value":{"entity-type":"item","numeric-id":3190360,"id":"Q3190360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744393$6F5DFE01-BCD9-4ACA-B3F8-6780AFFB1C2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdef39b443c7c711b01a47d68a2506772be4e26e","datavalue":{"value":{"entity-type":"item","numeric-id":3946875,"id":"Q3946875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744393$AA34ACE1-1707-4BA3-9D94-16A4EE012E20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90ccd45aeb027fff602ca1b995c566c28f105f34","datavalue":{"value":{"entity-type":"item","numeric-id":2843725,"id":"Q2843725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744393$E2572CD8-944E-49B0-A030-5AF84BA2BE74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6001383377310e4b4785f7b29f084981c17a96e","datavalue":{"value":{"entity-type":"item","numeric-id":5408455,"id":"Q5408455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744393$0CB7DAEC-4C86-48B4-B3B5-BC89FCB91907","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3403dce4e0e5c6922c01329aaf00bbcd05ac3fd0","datavalue":{"value":{"entity-type":"item","numeric-id":5275349,"id":"Q5275349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744393$C2278ACF-75C6-4D6B-AAAC-653D99C93C77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13ffbb2a00ae3c06220852f238ea41cfa8cb8aa4","datavalue":{"value":{"entity-type":"item","numeric-id":1175940,"id":"Q1175940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744393$E4CB2F67-CD3B-44D0-BB35-DFCBD2A35EF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80e588221360407e02d64eb6b8828323e9051e12","datavalue":{"value":{"entity-type":"item","numeric-id":3549600,"id":"Q3549600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744393$FD1F660E-203F-4B29-894B-3D4708B4A8D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce7e78be18303c37f54620cc3545d93c55a0a76f","datavalue":{"value":{"entity-type":"item","numeric-id":3549599,"id":"Q3549599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744393$8166CD56-0F39-4898-8110-AC1FA8C3E518","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"906f12ea4e3c69d9b6beafd7f622a63c5b055b16","datavalue":{"value":"10.1016/J.ENTCS.2016.09.043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744393$EA73D7C1-5B69-4F9D-ABFF-FD7BB84DAAA2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f19ac2b46e961bfc8125ede07a0a26754eb2a3c0","datavalue":{"value":{"entity-type":"item","numeric-id":5207055,"id":"Q5207055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36b5b2f7c3ca14d7f45ccbeaf704d622fc36731c","datavalue":{"value":{"amount":"+0.7338556051254272","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":"Q1744393$B4EDA6C2-3036-4F76-8304-8A93C4B5E5E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"120a0a7d53fba3be2ad136619087c4d62fc71207","datavalue":{"value":{"entity-type":"item","numeric-id":2942860,"id":"Q2942860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0364ccdf6d406e83b135a83c4c17c55a326e780c","datavalue":{"value":{"amount":"+0.7226889729499817","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":"Q1744393$77518708-E96C-4DAA-B0AE-D4743D1E78C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b44edd7a713e67b80b01d693dd19ae2239a61a0","datavalue":{"value":{"entity-type":"item","numeric-id":4598248,"id":"Q4598248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36cf15d4eb66fdf3cb4758dced3fab942b0d70a7","datavalue":{"value":{"amount":"+0.7185109257698059","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":"Q1744393$C71766F4-CDD7-447E-AC60-886CB44FFE3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a227d992d16064596bd3f41d39ec6f7e1dff036","datavalue":{"value":{"entity-type":"item","numeric-id":4635938,"id":"Q4635938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd2c5559e00c1d39d44ef7f506b2d1d013f607c4","datavalue":{"value":{"amount":"+0.7154868841171265","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":"Q1744393$375BB587-CB60-4C36-A79D-091BB90C32B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aab78cd50ed4b1f1a861c9ebe8e5faa94ab27a72","datavalue":{"value":{"entity-type":"item","numeric-id":5111434,"id":"Q5111434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16cf1dd199cba5763c958951be03a7326264f4e7","datavalue":{"value":{"amount":"+0.7113282084465027","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":"Q1744393$DBC09893-6D57-4201-8461-6B0B4F0128DD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1744393","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1744393"}}}}}