{"entities":{"Q2942860":{"pageid":2953580,"ns":120,"title":"Item:Q2942860","lastrevid":52343243,"modified":"2026-01-22T09:45:28Z","type":"item","id":"Q2942860","labels":{"en":{"language":"en","value":"Probabilistic relational reasoning for differential privacy"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6481240"}},"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":"Q2942860$220BDF50-DC79-478A-AB8A-1E248C1DAA79","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c89e4f1834bd97dc2d4429e1e75ec316fb8c5b54","datavalue":{"value":{"text":"Probabilistic relational reasoning for differential privacy","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2942860$675D5E40-3214-432B-A9B3-FC87DA526F51","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2f3203d0923219bc682aa7cd693038a03ec12246","datavalue":{"value":"1321.68182","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942860$D635AFDB-DDF6-43EB-B4B4-EA3123FED940","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4ed0c6b4e85a189c0d2892c182b6b1e98da8fa5c","datavalue":{"value":"10.1145/2103656.2103670","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942860$B2935A08-A09D-47AD-9872-B17546C24353","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":"Q2942860$718D9B42-8E8A-49C6-8FC6-26BCEDA13249","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"83c98177813e193fd94ca19b15d6cbb1fc905759","datavalue":{"value":{"entity-type":"item","numeric-id":1702918,"id":"Q1702918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2942860$BD64B41C-9FE1-472B-811B-DE62F4806D3A","rank":"normal"},{"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":"Q2942860$3398369C-51F2-43AE-A7DF-F2F0DB6621DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b350b305ba5692b2409809a226253975c56090c2","datavalue":{"value":{"entity-type":"item","numeric-id":2828264,"id":"Q2828264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2942860$B10C23F7-A9A1-45FD-881B-A7EB52F5EF67","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b2e3947a47402cf435bd22e833e203adf92b612a","datavalue":{"value":{"entity-type":"item","numeric-id":2942852,"id":"Q2942852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2942860$6788107E-CF01-4B43-B383-86EB67F35827","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4dc3af13f56c9757ccde8db0e7a8779bcfa3e4e2","datavalue":{"value":{"time":"+2015-09-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2942860$183CC256-9974-4E0C-B176-347471D55E66","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942860$28236C78-5A0F-476F-B89E-710F4FDC7EA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942860$A23D4465-B74D-4AF3-9F13-4D17C785AD48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942860$AC931EB2-22E4-44F8-8A83-392C1390EBA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e01671c873d801b913451010c0981a684c101d40","datavalue":{"value":"68W20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942860$25584124-3AB8-4571-A765-28863F52A0DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2d5a866d412ef8af951814448fda0a03016cd3a5","datavalue":{"value":"68W27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942860$5EB84A24-B80C-4610-997A-5A10EC72C0B9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"19c7fafdad6cddc88b283519246cc6eecb8e03bb","datavalue":{"value":"6481240","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942860$2164471A-D9AE-4FF3-808F-55C16938B6C6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98456cd4cdf0db037b678749018452921ff9260b","datavalue":{"value":"Coq proof assistant","type":"string"},"datatype":"string"},"type":"statement","id":"Q2942860$B59C3405-9A70-471D-BBFD-0529C0602A42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c855e62dd5703cb0415e9cc6eeda75791ac88b3","datavalue":{"value":"differential privacy","type":"string"},"datatype":"string"},"type":"statement","id":"Q2942860$CFD8E521-DAB7-486E-8254-D5069645B2D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b6bbfa4b42148e1a89c6dabdc97e8005fe5e2fab","datavalue":{"value":"relational Hoare logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2942860$8CF21DB6-A8E9-4D7F-B63F-F8605E6BA1B0","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2942860$2E86A746-F843-4107-B4E2-666EA75EBA49","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":"Q2942860$519EB7FB-7A23-40F6-A33A-F6B0DB16D853","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1d4c86a1c808d89df7902368b85dcc8f12d54eef","datavalue":{"value":"https://doi.org/10.1145/2103656.2103670","type":"string"},"datatype":"url"},"type":"statement","id":"Q2942860$25D72337-8555-4104-B31B-B0B6C2E5F1CD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6abccc644f004e3e71ab06e1c8e4d01e54a32ab8","datavalue":{"value":"W3145555275","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942860$87F27A23-9D30-4E47-BF4E-BA1B8C825721","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08299c37cb9aca327a06708f0879ad447bf1e9c9","datavalue":{"value":{"entity-type":"item","numeric-id":2233459,"id":"Q2233459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bfd2e17356beb6bb7afd26fcbcb9386c39868875","datavalue":{"value":{"amount":"+0.820793867111206","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":"Q2942860$4A935051-862F-41AA-8504-D95ACC3ABF13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f5babf50b7c50c265d2752dc0ee5959034b5dcc","datavalue":{"value":{"entity-type":"item","numeric-id":5176936,"id":"Q5176936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c631ad49883f8ecacf4bd0711e00db4084c6a2f","datavalue":{"value":{"amount":"+0.8135892152786255","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":"Q2942860$F596EC60-6088-4146-AEC0-49F754ED070A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d33e019402c3565d8b41a95317171085256dabbd","datavalue":{"value":{"entity-type":"item","numeric-id":5145627,"id":"Q5145627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e76abad8d875b943966e6afe43a6b86965cd7e66","datavalue":{"value":{"amount":"+0.8056167364120483","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":"Q2942860$F4042201-96D7-4824-B51A-2E9FAA5DF72B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c451b1add3a51c050d317db3275ec21cabfbb66f","datavalue":{"value":{"entity-type":"item","numeric-id":5370924,"id":"Q5370924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"612acf8ca640cbfdae0b5125ad184512f84f7daf","datavalue":{"value":{"amount":"+0.8044648766517639","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":"Q2942860$0AB30AA4-5F5F-4412-A7C7-7754C4540EC1","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":"41a8a7dce07763b14b03d798f84f591be90dfa8e","datavalue":{"value":{"amount":"+0.7975744009017944","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":"Q2942860$1D48C0C6-058A-49E9-8893-CE2185E63089","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2942860","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2942860"}}}}}