{"entities":{"Q2819789":{"pageid":2830527,"ns":120,"title":"Item:Q2819789","lastrevid":58008207,"modified":"2026-04-03T10:40:17Z","type":"item","id":"Q2819789","labels":{"en":{"language":"en","value":"Higher-order approximate relational refinement types for mechanism design and differential privacy"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6631290"}},"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":"Q2819789$ACA65710-0C62-4754-8E28-61F957B42BE1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5d799be2816c667996be22cc746e267a482f9b34","datavalue":{"value":"1346.68058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819789$48558341-D2FB-4A90-BF78-FA22BB231C24","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d14cd627a6c2a3b4f77ed5f51d32d476d130f3e1","datavalue":{"value":"10.1145/2676726.2677000","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819789$C2F5B413-A01A-4007-8C35-C5C697977FD5","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":"Q2819789$21FB171D-9E2F-4394-8C36-E3E5EF93E185","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":"Q2819789$7E19FA37-6291-45E4-9ECA-54A65A96BDD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6ec5283f749b98a43004a48e6e47fa9be1226df9","datavalue":{"value":{"entity-type":"item","numeric-id":511020,"id":"Q511020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2819789$B84FFC4D-68A9-48E1-96DA-095140C303B7","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":"Q2819789$53983B44-78F6-4666-87A2-CDD4CEF74A14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c2df171ffb47ab132d6e55d30b0dc4d620814b0a","datavalue":{"value":{"entity-type":"item","numeric-id":2343398,"id":"Q2343398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2819789$6414473D-79E2-48D8-9568-E3795F4367F1","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":"Q2819789$BF6CD150-C11B-46FD-AFAB-AE03892349C3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b9100613eb4830bb977ae5cf1435a6c53e940dc2","datavalue":{"value":{"entity-type":"item","numeric-id":2819782,"id":"Q2819782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2819789$10D317B9-1E46-4A46-B1B9-94BB7CF87943","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a917957632d8007b9f089349668ca3b6b937a8ba","datavalue":{"value":{"time":"+2016-09-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2819789$50319B5A-AF99-4FBD-9EC0-2894FD687AF7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c3650c04cb398d24f11d2f424aadfdfc607cf068","datavalue":{"value":"https://arxiv.org/abs/1407.6845","type":"string"},"datatype":"url"},"type":"statement","id":"Q2819789$B91C224D-0A52-4858-AB7C-DD46F5789750","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819789$EFF31EFA-B0CB-42C1-B507-5D314484DBEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819789$6058FE21-0B9A-4062-B79B-7C0001BE4399","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819789$A35A595C-E8E4-4513-94B8-4E85256ACA97","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"213af2d867c741d7c6032592518664d05ef0ab89","datavalue":{"value":"6631290","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819789$70C8453D-8B4B-4A10-A8EE-85DBA13C8FC3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2bf78c9ff68381ba2adb2a75ba12d4f7a7246f85","datavalue":{"value":"probabilistic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q2819789$A3FA54A7-0139-44EA-9087-098F3606DB63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea0d299920022edce35db71b9ef58e865e2cd3d4","datavalue":{"value":"program logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2819789$C505A6CB-7A97-419A-BFDE-9DC903B2E9F5","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":"Q2819789$7A0679AA-10BF-4678-BDED-91758B69CC99","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1015b0c45327c1e41a9d061ed4b2b8cbd5f3a28f","datavalue":{"value":"W3106186972","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819789$EF11A814-E276-4EA2-A1B1-4C4FA3A6AF53","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bd8431cdd7e2b12a260f1b5481fb5691341535de","datavalue":{"value":{"text":"Higher-order approximate relational refinement types for mechanism design and differential privacy","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2819789$160385E1-BD54-41FF-8C91-55DE6AAD22B2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3429a3cd8ddbfacaeae3dfd564aee6042f05c665","datavalue":{"value":{"entity-type":"item","numeric-id":2959836,"id":"Q2959836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a808219b290a4e578d8d64e2c1337068fd2ce83","datavalue":{"value":{"amount":"+0.7581073641777039","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":"Q2819789$AE041BE3-BB99-44D5-8700-2B410F4828A0","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":"63d113ba25b2607aca079fb27a8689134234eb95","datavalue":{"value":{"amount":"+0.739855945110321","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":"Q2819789$F3BE137A-8D18-4A4C-8817-65D7BDB12974","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":"86f1476b4add8a886881017d766453da4b06d813","datavalue":{"value":{"amount":"+0.7012820243835449","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":"Q2819789$1BE6E2E4-1981-4A70-8A78-BF5A93B883DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba2d46f6c21a9cdbd1cb243c1d6ff7b239a023e5","datavalue":{"value":{"entity-type":"item","numeric-id":2826057,"id":"Q2826057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e538fa3f9dfd7758da81f14fe63c761c33da2dfe","datavalue":{"value":{"amount":"+0.6983002424240112","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":"Q2819789$EDFF026F-078A-416B-9CD6-19B42C259D7F","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":"46ed2523ed26aec31f9125d8f1985e8ffdbf6c12","datavalue":{"value":{"amount":"+0.6981595158576965","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":"Q2819789$0FF9DBA2-64C2-44EF-A0D4-54C665537635","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2819789","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2819789"}}}}}