{"entities":{"Q6572572":{"pageid":14183727,"ns":120,"title":"Item:Q6572572","lastrevid":42356214,"modified":"2025-06-12T17:23:03Z","type":"item","id":"Q6572572","labels":{"en":{"language":"en","value":"Formalizing algorithmic bounds in the query model in EeasyCrypt"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7881143"}},"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":"Q6572572$CC5E7266-F2B1-4300-B040-5C928014311C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"144fe37ba2684fe5d8bd3bd04effa34b142a8dcb","datavalue":{"value":{"text":"Formalizing algorithmic bounds in the query model in EeasyCrypt","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6572572$7EE45191-0B93-49DE-9016-DD6CC9D03BDC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a63ada7487abc166a479e01a5da2fdc008ad194d","datavalue":{"value":{"entity-type":"item","numeric-id":6572570,"id":"Q6572570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6572572$580CF420-3029-4402-9D89-12B6CEB74E9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8857002fcd5e2eca706c6ff93d5aaa13738be988","datavalue":{"value":{"entity-type":"item","numeric-id":6572571,"id":"Q6572571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6572572$C2071E41-90BF-4467-A3F6-28F62170898E","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":"Q6572572$ABB980C3-1673-42AD-B43F-98B7DBDD8FB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bda236f4e0333f3a3e1895330a2edd0fffc2d8b1","datavalue":{"value":{"entity-type":"item","numeric-id":5020902,"id":"Q5020902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6572572$4AC3972F-91EC-4E96-8EB0-441801AF6E22","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7dae1a09e0b079923de71e99f58f11ff9161f5ec","datavalue":{"value":{"time":"+2024-07-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6572572$18DAA31F-0FDA-4F37-B935-498715F0954C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6572572$7AE6E519-2814-413A-98A4-8C6359C886C5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ee3d1a871acf385104874a04d732faf19efc86e0","datavalue":{"value":"7881143","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6572572$BA797673-33F0-431A-BF32-EDEDD202D076","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e66ac587ed229f1ccd93c311b379efecaed0118c","datavalue":{"value":"query model","type":"string"},"datatype":"string"},"type":"statement","id":"Q6572572$431032CF-23A5-402E-A0A6-8A6791BBE052","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1f1814ebfb0c5873f215208cab188392d4def9a","datavalue":{"value":"lower bound","type":"string"},"datatype":"string"},"type":"statement","id":"Q6572572$C557DC1A-7FDB-4428-B354-13E3C37388DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"817f91d754a6618dd027e0d851a1fc8b7cbc7134","datavalue":{"value":"upper bound","type":"string"},"datatype":"string"},"type":"statement","id":"Q6572572$1B7C07AF-AF51-4C11-8FBD-AE037C64CCEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e678f60af27970d79f1912f2704861bf13f944f4","datavalue":{"value":"adversary argument","type":"string"},"datatype":"string"},"type":"statement","id":"Q6572572$BFC61B9D-8739-461F-8557-E8523E308801","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc6003a5bd1f4cbc3d3da7756cfe6a7847ebb6dc","datavalue":{"value":"EasyCrypt","type":"string"},"datatype":"string"},"type":"statement","id":"Q6572572$F456CF76-679F-45B6-B91D-5E2D6BB3743E","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":"Q6572572$15CF3FFA-62BB-4EEE-8FEA-645AE495B1A3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"df15c29a594888392134a48ebc912134ee9ddd81","datavalue":{"value":"10.4230/LIPICS.ITP.2022.30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6572572$2044D478-1726-403D-9D20-3398CE04C446","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6572572","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6572572"}}}}}