{"entities":{"Q3304821":{"pageid":3315529,"ns":120,"title":"Item:Q3304821","lastrevid":58145118,"modified":"2026-04-04T00:02:41Z","type":"item","id":"Q3304821","labels":{"en":{"language":"en","value":"Compositional Synthesis of Leakage Resilient Programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7227107"}},"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":"Q3304821$09233B0E-AB0D-4DE5-B8C0-88B8C9F2B027","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8e9c3408f260da7647a74909409cb71ef9332339","datavalue":{"value":{"text":"Compositional Synthesis of Leakage Resilient Programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3304821$34F0B5F2-BB78-4F85-9BA7-30CC64FCEDD8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"29de33bcebfe0613497b00a9db90958016031ccb","datavalue":{"value":"1444.68036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3304821$79785E3E-303E-4667-A3BE-34EF3F279DDD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fe63d6e502193aa2b6c9bb4a1f2910b7efe54cbc","datavalue":{"value":"10.1007/978-3-662-54455-6_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3304821$AA86BAE7-B3A8-41CB-833E-2C1C0BDC3916","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e4de9c4a49c1ee25676f6cd2a52080513bfad8f3","datavalue":{"value":{"entity-type":"item","numeric-id":2798251,"id":"Q2798251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3304821$43C6A5B3-1218-4E28-A09F-738D78394240","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5f97a51a622b85ec168c56477568a201f1547847","datavalue":{"value":{"entity-type":"item","numeric-id":378220,"id":"Q378220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3304821$F3FECB7D-1C78-4E29-9810-C3FA262C83BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fbb2b3863299559ef6ebd59e50269b0807955a10","datavalue":{"value":{"entity-type":"item","numeric-id":832227,"id":"Q832227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3304821$1D8A76C0-9FA5-46EB-8CA8-5D4928A12463","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3304821$B2DF3A84-7BD9-4BCD-BC76-F17E29CC96D4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"469d299b05f6ef0db902802d19518b8f861cc702","datavalue":{"value":{"time":"+2020-08-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3304821$05FDF5C2-498A-4174-8906-4887B4ABDE30","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"927ca6da3d66d5d6288b5d9dacec3b20c1b504a6","datavalue":{"value":"https://arxiv.org/abs/1610.05603","type":"string"},"datatype":"url"},"type":"statement","id":"Q3304821$257650C5-2839-47F9-83DD-83EBE6701138","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2335101d556243c88261e1fccd8d7026b2856a8a","datavalue":{"value":"68M25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3304821$D3893A84-77EC-4869-B6E8-E3863D63D144","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"517ace4a4f9c45a5475b4a8927a567447dbdb293","datavalue":{"value":"68N99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3304821$E62541AF-23AE-4792-B9F4-7796A29C73AF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"18f07c58f174a9062c205b55e1c53846d880eea4","datavalue":{"value":"7227107","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3304821$768C40B6-EA45-4B53-80BD-F876EF0660EA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68d553f04f561b3a961ad9294b7199af98fd7d3c","datavalue":{"value":"compositionality property","type":"string"},"datatype":"string"},"type":"statement","id":"Q3304821$7C2B640D-9CBF-480B-9B53-17CC93CCCF78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a841b9a37ec3c703897520c3d409ff8c87c1a37","datavalue":{"value":"prototype implementation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3304821$2D416B6D-B846-4BC3-9C7B-099E63870A82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"259a2cafed808c05536b7b20540365e0b4edda5e","datavalue":{"value":"satisfying assignment","type":"string"},"datatype":"string"},"type":"statement","id":"Q3304821$BA180585-9805-45D0-82E2-21CAF5C2A100","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68b9a3e1959a93c527b3644a5bed18aec005391e","datavalue":{"value":"synthesis algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q3304821$3DD9493C-E793-4AAE-8509-931EDC75C992","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a64457300d3380b1203c7fe46b767c23a70180e9","datavalue":{"value":"public input","type":"string"},"datatype":"string"},"type":"statement","id":"Q3304821$A2C47669-242A-4AC5-A6E5-31BE3D45F725","rank":"normal"}],"P1463":[{"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":"Q3304821$D60724DE-CA8B-4205-99D1-62E4C01992DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ad03d9c4dbcdaaddb400f75c486b1d8804afb4e0","datavalue":{"value":{"entity-type":"item","numeric-id":38420,"id":"Q38420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3304821$32A1E695-CB9B-4B12-9D1A-D2E5A8511636","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":"Q3304821$D295A32F-268E-4375-B3B2-FD0127E3CABD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0eded4bc2afd0e9872162dd804a2004aa31e404b","datavalue":{"value":"W2538823313","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3304821$25B8E1E5-41CD-4FE9-A75C-0B055C6F710B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f91596759a5514456008d9d742a2c43026dbf2b","datavalue":{"value":{"entity-type":"item","numeric-id":4911619,"id":"Q4911619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3304821$F36CA3C0-1442-4513-A6C2-9D571FAA106B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"810dada0ba0fff90809715f32d6b0de8deaaaead","datavalue":{"value":{"entity-type":"item","numeric-id":2948340,"id":"Q2948340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3304821$C4BC17A4-6F8B-44E6-88FB-D5F5A782F681","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5235f87830c9db38927149f6216e19fabb797be","datavalue":{"value":{"entity-type":"item","numeric-id":2946888,"id":"Q2946888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3304821$FC7E1896-C81F-44DD-961E-016BC71BA813","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"106660c441f1d6c4f351623ebfd041439129cc83","datavalue":{"value":{"entity-type":"item","numeric-id":5418709,"id":"Q5418709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3304821$0EC7DC9F-6455-4616-B20C-101FD551AB25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"476c3c317a98410111490eb685b48e5fc049f30e","datavalue":{"value":{"entity-type":"item","numeric-id":2920987,"id":"Q2920987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3304821$FDA6C3D6-7148-4D9F-8B8E-FD880A3EEC05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"735323445c456afa818acfe8fabc63f23c5c6b37","datavalue":{"value":{"entity-type":"item","numeric-id":3563833,"id":"Q3563833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3304821$07F00AE7-B9FE-41D6-B294-5D56CDADFC71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c998ab69220ea1a917fc417458b2714e41a9163","datavalue":{"value":{"entity-type":"item","numeric-id":3582748,"id":"Q3582748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3304821$8719A5A1-8F3E-4D10-885B-1BA97E254EF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a40d23aa38926acf57454ef499da7a4edb34815","datavalue":{"value":{"entity-type":"item","numeric-id":3593103,"id":"Q3593103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3304821$3284B89F-4C1A-4548-BA88-4AFB70747427","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d32164554c0c83dbd2e5558081be667368f3c4c","datavalue":{"value":{"entity-type":"item","numeric-id":5428136,"id":"Q5428136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3304821$493DAF8C-644F-4707-8EC9-AF0D20C97206","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"686051ea1866b310359b4b104cfcfb66e60203b9","datavalue":{"value":{"entity-type":"item","numeric-id":3189801,"id":"Q3189801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3304821$A98E6CA5-264A-42D6-A633-D82314CD56B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5e1d7ac7f349d5b86be2d03d5e871137657e28d","datavalue":{"value":{"entity-type":"item","numeric-id":4738390,"id":"Q4738390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3304821$24032CFB-2F75-4E79-94A9-1E32CCE64263","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92b873f840c682e3fdff7c798358b80b2ee9303d","datavalue":{"value":{"entity-type":"item","numeric-id":4924408,"id":"Q4924408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3304821$4C71B3B8-8C77-43F5-BEE3-8AE76EAB0CAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3539625c128e5c539269db0645bde958214ca15d","datavalue":{"value":{"entity-type":"item","numeric-id":3583477,"id":"Q3583477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3304821$B35823B6-4E84-4152-8E10-23557D9893DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"622535d5d327cbcc585a17579b1ee456b1595679","datavalue":{"value":{"entity-type":"item","numeric-id":3617736,"id":"Q3617736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3304821$DFC69C6D-15DC-4733-A2F4-97C9C95AF6F1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8fecc3873b4bba44adeb762a151e858c8b3c843","datavalue":{"value":{"entity-type":"item","numeric-id":2920987,"id":"Q2920987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b75143f64f9b707363ef2459c2e5c8fb5a6962a4","datavalue":{"value":{"amount":"+0.7707419991493225","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":"Q3304821$9A950875-09C3-4E3B-9142-54ED03F7A861","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8596f22897556e9be29665f2094d8f97d5f7273","datavalue":{"value":{"entity-type":"item","numeric-id":2891486,"id":"Q2891486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e147487a045c30dab9f8a647eaf50fd9a924520a","datavalue":{"value":{"amount":"+0.7261717319488525","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":"Q3304821$392D8126-48D4-4679-8996-3D76D429CC94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82c09b23d65ff1ecd63b68314d964d8c87ab1f3c","datavalue":{"value":{"entity-type":"item","numeric-id":1710615,"id":"Q1710615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5853d1243c993c83d93a7deaa747ccd9b6c51d93","datavalue":{"value":{"amount":"+0.7234426140785217","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":"Q3304821$EB8C5861-9051-4812-B0D3-B46A5B42C920","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4f84ebc17761ebf5024263940fc8875bfa75766","datavalue":{"value":{"entity-type":"item","numeric-id":5173248,"id":"Q5173248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38ebfde91e9d953e2229d000df96c89d96bb637b","datavalue":{"value":{"amount":"+0.7210760116577148","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":"Q3304821$8EB20A7A-94CB-4D18-9E9B-C53DA40AD229","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf953e5ecaea72fb61f8bc807821663d92fc76dd","datavalue":{"value":{"entity-type":"item","numeric-id":3582748,"id":"Q3582748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3cba825e82c5701241c29ad05136f24148c024b","datavalue":{"value":{"amount":"+0.717329740524292","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":"Q3304821$1425408B-C237-4026-B3F5-A07901E1ADFA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3304821","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3304821"}}}}}