{"entities":{"Q6842441":{"pageid":20551360,"ns":120,"title":"Item:Q6842441","lastrevid":84284255,"modified":"2026-05-14T15:41:23Z","type":"item","id":"Q6842441","labels":{"en":{"language":"en","value":"The complexity of verifying loop-free programs as differentially private"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8174033"}},"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":"Q6842441$89F174DF-365F-4FD3-8DDE-7C723D841CF3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f1646e5ff84c9090f263aa0b96bc0d0af0de4ba6","datavalue":{"value":{"text":"The complexity of verifying loop-free programs as differentially private","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6842441$E08D9DB2-F7C9-47CF-84E4-3DF7399E0E8B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ed758efaebd9fba0b87bd4bb59cba5451efac08a","datavalue":{"value":"10.4230/LIPICS.ICALP.2020.129","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6842441$9D1659B3-4E4C-4B74-9F69-8C201B2ED125","rank":"normal"}],"P16":[{"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":"Q6842441$EB049105-AA3A-4C7D-9B94-AF722EE9AC21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ee5bf92e3770c5a26b5d10fe0060ac828429207a","datavalue":{"value":{"entity-type":"item","numeric-id":271587,"id":"Q271587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6842441$B76B1D11-D2DE-404E-BCE7-20E0C08CAF47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d20f5b4127431a252123fabe9a9dd1834e29c1af","datavalue":{"value":{"entity-type":"item","numeric-id":832261,"id":"Q832261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6842441$ACDC1E1A-173C-4E09-8B80-7168207F0D9A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"08788b2cbf350ad4bc12c8b64351e1e6eefe3b67","datavalue":{"value":{"time":"+2026-03-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6842441$40CA8316-2972-45F7-9DEC-116567C12CF8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1a86519cb3571ebce07f2774b2a00a0f17e12c3e","datavalue":{"value":"68Nxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6842441$2102EEA1-2EBC-4611-9E24-261164728792","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6842441$4EF91A14-CA9D-42E8-A7DC-8B0F801F6EFB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9ac083627d90713dbc14f73c5d3c32cefc984af7","datavalue":{"value":"8174033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6842441$E3CC4763-74E6-4667-B8F3-470151003F3E","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"daf5f856a5d861312ad309ab567540337a5f61d6","datavalue":{"value":{"entity-type":"item","numeric-id":57050,"id":"Q57050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6842441$B738BB81-CE27-46C3-9568-4E2B2DB66DE5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c855e62dd5703cb0415e9cc6eeda75791ac88b3","datavalue":{"value":"differential privacy","type":"string"},"datatype":"string"},"type":"statement","id":"Q6842441$3A22B7DC-289C-4C8A-BA36-C438F3873FF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6842441$3345C186-3E5E-4854-9EFE-80D93F8E531A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"abb803c6475a042fe06038cc89389e508b9ca513","datavalue":{"value":"probabilistic programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q6842441$FB5D83CD-CAEC-46FA-9807-9979E7F8D894","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":"Q6842441$A111AADF-F6F0-46A2-9D55-D89CE0443DA0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"775a416b6dac5c50b656c7d0f8b0e3b65f859123","datavalue":{"value":{"entity-type":"item","numeric-id":3012909,"id":"Q3012909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6842441$32DCA36F-8241-48C0-8371-2A01DB7E9B56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e02917c0db14ab53e8f4a4132ce95a65a648deb","datavalue":{"value":{"entity-type":"item","numeric-id":2819789,"id":"Q2819789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6842441$2236C965-BE11-49AE-B60B-0D58BCA5130B","rank":"normal"},{"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":"Q6842441$1A45C990-1ED1-4B92-BED8-2789D4E34849","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":"Q6842441$97FB11EA-A3EB-4B2D-941F-0AE3BAF55AE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf7f478a0e3334d16e231c4c024432fa7752e636","datavalue":{"value":{"entity-type":"item","numeric-id":3190107,"id":"Q3190107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6842441$4B87E8D1-BA2A-4CC0-B15D-D60CD1AB0E12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e55765a5a86d6749f165de33cfe95142fb16e7a","datavalue":{"value":{"entity-type":"item","numeric-id":1683928,"id":"Q1683928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6842441$5556E7AA-0611-4BA9-AB6E-79FA2FD3588F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b07a8a4a2b3c5aab100b5559d1bf346d52978990","datavalue":{"value":{"entity-type":"item","numeric-id":6109589,"id":"Q6109589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6842441$52BF62DC-3C37-4C72-A977-F4CFACF6B602","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03e3e2fc869cc30bd2762d4d462d33921bcfe8e3","datavalue":{"value":{"entity-type":"item","numeric-id":5875371,"id":"Q5875371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6842441$89F56C8A-B2C8-4083-8F70-4B3B28285656","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d04c5ed6af2609950d2dfa03d08d7bb208eb9f0c","datavalue":{"value":{"entity-type":"item","numeric-id":3691050,"id":"Q3691050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6842441$FF46CAD6-8A9E-4E79-888E-766A7D977FE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1fe699ac3f486b0e47aa6b0310417f579ce933d8","datavalue":{"value":{"entity-type":"item","numeric-id":4910291,"id":"Q4910291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6842441$8D9BD9FF-20BC-47C4-BF8C-10AD6C3268A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b538ad7d160116191a54fdb0b3613382cb850b1b","datavalue":{"value":{"entity-type":"item","numeric-id":3593113,"id":"Q3593113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6842441$71E93C8F-C5F0-49FC-9207-FF183E5614A1","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":"Q6842441$700E92A1-A0F8-4545-B071-644AE9CEE80D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d3cc373176d9defd0c6bc669d2e9c47f78ed9c1","datavalue":{"value":{"entity-type":"item","numeric-id":6990342,"id":"Q6990342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6842441$5DFD8FE4-8A65-4B89-AC88-94B00A934C59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a9f37619ae85d2bc615b4c2b40340f9b359a75f","datavalue":{"value":{"entity-type":"item","numeric-id":4635627,"id":"Q4635627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6842441$A5B5222C-D117-4BA2-8F61-74A1A53EE923","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e798e465f2b418780ab7dc647b0a1db7357332f","datavalue":{"value":{"entity-type":"item","numeric-id":5145628,"id":"Q5145628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6842441$5F82510D-AF2B-475F-93BE-D6A3102724D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b66573827ee52c702d0363bf677cf237d4b62f0","datavalue":{"value":{"entity-type":"item","numeric-id":2840991,"id":"Q2840991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6842441$FB7E7218-60E9-454E-8E0B-0F293CDE39E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3832e3dc267ceb2e4bb4d3a758f9c5723b89426b","datavalue":{"value":{"entity-type":"item","numeric-id":1159979,"id":"Q1159979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6842441$FF24B18A-BBE5-4704-B459-FB3F9B4BFCAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16b33c3da3eb624223f69f0a943fc41c96153f8f","datavalue":{"value":{"entity-type":"item","numeric-id":4215779,"id":"Q4215779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6842441$6713D4C3-C69A-40F2-A061-A3D801C31B44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b59d3551d4b06e312c1febca3b6b8290331bce97","datavalue":{"value":{"entity-type":"item","numeric-id":2796124,"id":"Q2796124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6842441$EC74D473-E7CC-4C63-9623-2144E9F3349C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ecd85fac6a91f87d421a94407c81aa413d02af3","datavalue":{"value":{"entity-type":"item","numeric-id":5176936,"id":"Q5176936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6842441$6CD9ACCE-EA12-4BF8-AFBF-24B49446F88C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3560cc4279512a542093927dd496e3c6304104b7","datavalue":{"value":{"entity-type":"item","numeric-id":3359758,"id":"Q3359758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6842441$2CD4B396-B870-498B-9D58-B0E1DB24BF2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65ebcbb8e13f7d43b70a06a96d151350b198aa32","datavalue":{"value":{"entity-type":"item","numeric-id":5739351,"id":"Q5739351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6842441$70A35DB8-53B6-4DA5-A2B5-2768BD1FCFA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95e4fd22973678adb7583638b9a98275024724c1","datavalue":{"value":{"entity-type":"item","numeric-id":2929243,"id":"Q2929243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6842441$EBC53F89-158F-4299-8A2F-EE16DD72DF7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bc10f9728edd8c7ab197c3e4dbef9a5b94f44cc","datavalue":{"value":{"entity-type":"item","numeric-id":5370924,"id":"Q5370924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6842441$824BDDD8-607B-4195-919C-DA24D2509602","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The complexity of verifying loop-free programs as differentially private","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_complexity_of_verifying_loop-free_programs_as_differentially_private"}}}}}