{"entities":{"Q3656840":{"pageid":5686746,"ns":120,"title":"Item:Q3656840","lastrevid":81035810,"modified":"2026-05-06T17:34:09Z","type":"item","id":"Q3656840","labels":{"en":{"language":"en","value":"Automated security proof for symmetric encryption modes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5658347"}},"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":"Q3656840$9751766A-32A2-4BB5-93CF-674DC0AFF7A1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c8ccbf85b1951902a72b6fc581f23a5cb8671bf1","datavalue":{"value":{"text":"Automated Security Proof for Symmetric Encryption Modes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3656840$7F255FA9-36F2-44C2-B4FC-43F0FD2D6BF1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"44eda5a256a699e8138ca619ec241e14e6c0b582","datavalue":{"value":"1273.68109","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3656840$A03CE63D-E754-455B-A924-F84542CAA9CF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fe88b2685dd325e98b4b74fbc487ee36eb77ec88","datavalue":{"value":"10.1007/978-3-642-10622-4_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3656840$3861D95C-4D40-4A77-9E7D-7C0F91A9D147","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"549e2e466042b072373bbf3e5c8368732328b57b","datavalue":{"value":{"entity-type":"item","numeric-id":287323,"id":"Q287323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3656840$0ADB49B9-59FB-45DC-9B02-E322C170D1A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f9fd1fea852b6877e35d514e318cb594590c429b","datavalue":{"value":{"entity-type":"item","numeric-id":287324,"id":"Q287324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3656840$EF4965CC-FED5-4F29-92DE-458F680DB094","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bf61e1c28cd3e26b0b006a26cc0e8ae38b4ee613","datavalue":{"value":{"entity-type":"item","numeric-id":673879,"id":"Q673879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3656840$93B6279E-4376-4DFD-9B12-481052BAFBA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"abe35f461d8c450710949b58bb1ca1f75694783f","datavalue":{"value":{"entity-type":"item","numeric-id":398962,"id":"Q398962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3656840$76FD89C4-FD7D-44F8-AFE7-D6EA5781394F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d7eee17c9f8b073598571ed167b4471cb563b33e","datavalue":{"value":{"entity-type":"item","numeric-id":3656836,"id":"Q3656836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3656840$635260CB-4AA0-4E22-B86A-77125C582AD6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7d7ae205d063227bc6a8fe4b8cec53b398b20968","datavalue":{"value":{"time":"+2010-01-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3656840$26DEEED9-E8A1-4653-B8AA-0A0DE687DFB4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"58bd804a9b32ab16fea71636cf187b83a20de8f7","datavalue":{"value":"68P25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3656840$895D6054-899A-401C-9352-C8A8147A03EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3656840$23F9B26B-D0E6-4943-8856-3526C1371E37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3656840$9C2BFDD8-C276-4F90-A13C-6585F578590F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b3765f30d84eb2eb27e866eae025e17bc6b86ed8","datavalue":{"value":"5658347","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3656840$FF887A88-E472-426F-BC4F-A4D8846CA3D2","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":"Q3656840$190F88C9-1A29-4C98-B1CE-6B178AA767C4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a22557f91d2a0fc72f6da0bf26d62ceae5054485","datavalue":{"value":"https://doi.org/10.1007/978-3-642-10622-4_4","type":"string"},"datatype":"url"},"type":"statement","id":"Q3656840$A2A6FD0B-012D-4916-8CAD-E1B56AF0322C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3a53be064dd89aacc4f793dcfe3bf29a014a300d","datavalue":{"value":"W1586929125","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3656840$EAE8D53F-42C9-488A-A51E-733B602EDB72","rank":"normal"}],"P1643":[{"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":"82abc354ac9d8d4675059fa927aeb791e439e0b9","datavalue":{"value":{"amount":"+0.9280697703361512","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":"Q3656840$80067673-8C08-4A41-966F-58312890ACDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74fd129f89b823c98b45b216013cb008715fa8e6","datavalue":{"value":{"entity-type":"item","numeric-id":2889811,"id":"Q2889811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c731ed94541517f0225f113c4f7649d75ad04156","datavalue":{"value":{"amount":"+0.8687300086021423","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":"Q3656840$D74F6CE7-AC2D-4673-A614-FBA822878C6A","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":"f7dde450ed0e2a0d4dbf52434c98d57d0d81a57e","datavalue":{"value":{"amount":"+0.7895725965499878","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":"Q3656840$86E32127-EC97-44ED-9F91-E0737384125D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd41f86c986e58c56ba8d36f11894466b2fc742e","datavalue":{"value":{"entity-type":"item","numeric-id":5387863,"id":"Q5387863"},"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":"Q3656840$40F89BA1-1473-4AB0-B3E0-FD52CC7A6EBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7efcd0895ae747b7d475ed3e70d27a12e716b1a","datavalue":{"value":{"entity-type":"item","numeric-id":540682,"id":"Q540682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c19954182db3bde8befffc7d843106666f23edd","datavalue":{"value":{"amount":"+0.7841968536376953","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":"Q3656840$22867A11-3D74-4269-A4D5-91D7638F70B5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automated security proof for symmetric encryption modes","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Automated_security_proof_for_symmetric_encryption_modes"}}}}}