{"entities":{"Q5370924":{"pageid":7400498,"ns":120,"title":"Item:Q5370924","lastrevid":58541352,"modified":"2026-04-05T16:20:19Z","type":"item","id":"Q5370924","labels":{"en":{"language":"en","value":"LightDP: towards automating differential privacy proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6794702"}},"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":"Q5370924$B2C87E9D-2685-48DF-A4FF-D29A2ADE2B33","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4a79fa28591300973d4724d0003d1a93ff52c8d6","datavalue":{"value":{"text":"LightDP: towards automating differential privacy proofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5370924$B87839AD-4BFD-47D9-A8AD-E37E52B3C8EE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"37e58ca58656edabe1cf303c681e2ede9b7d1b44","datavalue":{"value":"1380.68136","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5370924$71D3F53E-B601-404C-811A-DAD6A62C4C6B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"65d44766325d90f5f80f26b111405f3b7cebe673","datavalue":{"value":"10.1145/3009837.3009884","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5370924$9EBA88A9-73D7-409F-BD1C-93C6969B7AFE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ede75afc6d38617b3c7b76fa2d363d3d557aea64","datavalue":{"value":{"entity-type":"item","numeric-id":5370923,"id":"Q5370923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5370924$27A99992-310C-4523-8863-18A52C63F908","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"654b846c391362cb000ecbdee9cc66d544505fb0","datavalue":{"value":{"entity-type":"item","numeric-id":2943561,"id":"Q2943561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5370924$E5094C4D-6E74-4F6E-B80E-62F9C77F385A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e2300a4bb532724f6695014ad32dc9335c9fdde3","datavalue":{"value":{"entity-type":"item","numeric-id":5370840,"id":"Q5370840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5370924$AFD40FFF-7BE8-4EAF-9427-021471B46191","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6c23b22abb6cd47509eac4c3e5d58b13717e9ea4","datavalue":{"value":{"time":"+2017-10-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5370924$F5D26BB7-80C9-49EE-8768-0578FB269EBC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7b6fd4db95ac95463138bb38df48a99283e46079","datavalue":{"value":"https://arxiv.org/abs/1607.08228","type":"string"},"datatype":"url"},"type":"statement","id":"Q5370924$A2C24CE1-5809-4682-A1D4-0462F41D602D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5370924$687E5657-63CA-4886-BCEC-3BA279FAD125","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fe42149c521cf7ad790709a0dcd7bbb71a3a8b60","datavalue":{"value":"6794702","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5370924$45257AB9-3670-44AF-8DEE-A0CB2230089F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c855e62dd5703cb0415e9cc6eeda75791ac88b3","datavalue":{"value":"differential privacy","type":"string"},"datatype":"string"},"type":"statement","id":"Q5370924$F461E9D6-A838-4731-8BD9-21B93907B456","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e22447b229c7a32c8d247e1ea4002861fd0fbd68","datavalue":{"value":"dependent types","type":"string"},"datatype":"string"},"type":"statement","id":"Q5370924$4D7F7835-9B81-4C47-92BB-2599FEB47DB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"07672cd9efb7a614e96dc9a58bd5b5685cbf3a1d","datavalue":{"value":"type inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q5370924$A4615434-1916-47E1-A9D3-16BF4F18B9E6","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"75ebd3d61b5100145d5865f8309085d73e02f954","datavalue":{"value":{"entity-type":"item","numeric-id":24905,"id":"Q24905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5370924$36D0D23E-C7CD-413C-BF5B-8F6EC1B42E46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"58e165eb815084f9a0c331d63332660ffc985e0f","datavalue":{"value":{"entity-type":"item","numeric-id":34457,"id":"Q34457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5370924$5F294DAE-62F9-4DAE-8DB5-D34D6EF13654","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"875fd2341d7eaef60a26a549ea0c9adfdf328e2e","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5370924$55C4D2A5-F80A-4DA6-B3AC-51B317802C69","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":"Q5370924$DB933863-35E0-46DA-A0C5-840DDBED98E1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d335fffd41c6d970cdcf43f76b6c853fac446aab","datavalue":{"value":"W2565203757","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5370924$E9A5B213-85A6-4BEC-982E-3F89F456A187","rank":"normal"}],"P1643":[{"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":"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":"Q5370924$EEFE758F-AEE4-48D7-AD69-0C2B386384C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e49b6b9a1ae149a442375aff8f4b0d401ea54b3d","datavalue":{"value":{"entity-type":"item","numeric-id":5739351,"id":"Q5739351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34c34fc86b20595fc9e7afed085525f79c50f963","datavalue":{"value":{"amount":"+0.8015753030776978","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":"Q5370924$F61BF0AD-724F-40E3-8DA8-18E6354C9A62","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":"6956e8b09f9548749a183396a9e24b5ebfa2e2ca","datavalue":{"value":{"amount":"+0.7977728247642517","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":"Q5370924$C013A1E4-A9B3-481C-A862-37CAADBD8984","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73c2d5ba8223f36f9eb3ff271b3a1e777a7dce17","datavalue":{"value":{"entity-type":"item","numeric-id":2931812,"id":"Q2931812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85357b20d469800613599249af109d2887c012c1","datavalue":{"value":{"amount":"+0.7615085244178772","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":"Q5370924$80E0D402-7685-4745-8EB1-ECC14497871E","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":"ddc540c83194b40f4ac23aff8e280513c0e3954a","datavalue":{"value":{"amount":"+0.7512798309326172","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":"Q5370924$D0676231-64D8-43E2-8AE9-BAEB563BD851","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5370924","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5370924"}}}}}