{"entities":{"Q5387863":{"pageid":7417437,"ns":120,"title":"Item:Q5387863","lastrevid":101151443,"modified":"2026-06-06T00:00:24Z","type":"item","id":"Q5387863","labels":{"en":{"language":"en","value":"Functional Correctness Proofs of Encryption Algorithms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5279546"}},"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":"Q5387863$6E81AF77-9C19-4130-9D1B-674625C6D781","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3919b5d00da886e01faa940202f84821d3b627d1","datavalue":{"value":{"text":"Functional Correctness Proofs of Encryption Algorithms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5387863$63250960-3640-4564-BC54-272DDA0E5D01","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"343d92a4950b5a2ed5e3ae13f515218b77a8a4f2","datavalue":{"value":"1143.68391","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387863$DB4FD427-4EFA-4567-966A-32A95AB029BA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f0dc83b38bb991520b724232b52237b22b72e7dc","datavalue":{"value":"10.1007/11591191_36","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387863$E8E7628C-58AD-43D5-BB47-834247B22C3B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fd8de51ff88c9b3f2cdd85027909428f97bbca14","datavalue":{"value":{"entity-type":"item","numeric-id":5387862,"id":"Q5387862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5387863$68E784F5-829F-4425-BFF2-7F76F471C7F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"90d9476515afef7e6c60583e2e3e73e4a129ab00","datavalue":{"value":{"entity-type":"item","numeric-id":1400287,"id":"Q1400287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5387863$6B72D46E-B737-497F-A495-8CFA36225208","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2ae562a9b4ab01b03508d01f680612b0713f587c","datavalue":{"value":{"entity-type":"item","numeric-id":249846,"id":"Q249846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5387863$CAED5647-3F53-47A3-A914-8F078D8FF9BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"57155b56d8fbcd7c5881cc6580886a49385bb630","datavalue":{"value":{"entity-type":"item","numeric-id":287360,"id":"Q287360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5387863$025E0B41-01EF-4701-90F3-5CAEC5DBC326","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1d512f15aa7dca5445b4f70135bf8aa67126d08e","datavalue":{"value":{"entity-type":"item","numeric-id":1029814,"id":"Q1029814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5387863$14D4CBA9-2DFE-4C52-A9B1-DEA3C0DF9346","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"38777ce012ebccadec3bf326ba6f92a8de69a17e","datavalue":{"value":{"entity-type":"item","numeric-id":2725997,"id":"Q2725997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5387863$A0C88145-80BA-4147-812C-2A32D92C76E3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"23864e2be568bb8a6a4b0526f5a5216348320070","datavalue":{"value":{"entity-type":"item","numeric-id":2870110,"id":"Q2870110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5387863$F77D73C7-EA14-43AA-AA9D-EC296B8D245E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6183386ae8366a240584c653ce5ca2494433aedb","datavalue":{"value":{"time":"+2008-05-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5387863$3BFB2767-DF79-43DF-B9B9-B559E5FCCF6E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"58bd804a9b32ab16fea71636cf187b83a20de8f7","datavalue":{"value":"68P25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387863$FE813CF9-B95A-413C-9A93-7BB1D5CEBB10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387863$E34A8318-1210-4CD2-9101-9E5F9F6EDC38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387863$1039A14B-3910-4B37-B1C4-883FAE3671F2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"068030ab900b0625f34414b0363e5a5a13f6d61c","datavalue":{"value":"5279546","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387863$05C72B94-49B2-4415-AC66-4C0805D90652","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"580cc01f523eb259b29d75d715bd1b2876d59d0d","datavalue":{"value":{"entity-type":"item","numeric-id":15706,"id":"Q15706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5387863$FDE997F8-4CE7-4D98-86A1-2D3EB3457642","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":"Q5387863$FC337A73-3650-4EFF-BE71-B103F250BF12","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"906a13f94c8be035d19990c110b3ddcc84e05c85","datavalue":{"value":"https://doi.org/10.1007/11591191_36","type":"string"},"datatype":"url"},"type":"statement","id":"Q5387863$57153637-712A-45C4-B46E-6911082E9216","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"26f3cb93feeb8067a81562092413df823dbd9040","datavalue":{"value":"W1786644971","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387863$4379D8ED-8B17-463C-827D-8641C7837B66","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3513f3bde116420d9032777da56ba9e07885b0f","datavalue":{"value":{"entity-type":"item","numeric-id":3656840,"id":"Q3656840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c64d665533299c82ac14e2ab6335add702441285","datavalue":{"value":{"amount":"+0.7892042994499207","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":"Q5387863$65780110-22C3-437A-B904-FD2F5D1C58ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6d7e71b7eacfe0d310dc4c6c84825226e3786b3","datavalue":{"value":{"entity-type":"item","numeric-id":287326,"id":"Q287326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe1402cefb9f32a36bd54d2f019ed77d1f03b0bd","datavalue":{"value":{"amount":"+0.7761354446411133","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":"Q5387863$38A82FF3-20FB-4E95-A1C0-487D2D003F4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1aa4625440697f2ee72d406a46d1e48df0580662","datavalue":{"value":{"entity-type":"item","numeric-id":2914729,"id":"Q2914729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3994b088907d4e8b3f24c0e100e9ba52ec1f7d2c","datavalue":{"value":{"amount":"+0.7365397810935974","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":"Q5387863$D765BF32-7214-4BFC-90AB-986915E11741","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95a2c16f7c8b357fcb42e86886c5543a914c46e2","datavalue":{"value":{"entity-type":"item","numeric-id":5187835,"id":"Q5187835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7f2243a096eb1e96f7b08c873be97a692b2cc7b","datavalue":{"value":{"amount":"+0.7365089058876038","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":"Q5387863$80360330-E400-4E36-A498-F95CC92FAFF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5180c82fc2dce33b2b0406ef0397070fd45c68d","datavalue":{"value":{"entity-type":"item","numeric-id":2517836,"id":"Q2517836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91d858240b454dc6134e4d02d2fe7a3ec36e3cbb","datavalue":{"value":{"amount":"+0.734680712223053","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":"Q5387863$BEAE020F-6E11-4CF3-A4F8-DFD774D0559B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Functional Correctness Proofs of Encryption Algorithms","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Functional_Correctness_Proofs_of_Encryption_Algorithms"}}}}}