{"entities":{"Q2889811":{"pageid":2900536,"ns":120,"title":"Item:Q2889811","lastrevid":84006746,"modified":"2026-05-07T19:44:40Z","type":"item","id":"Q2889811","labels":{"en":{"language":"en","value":"Automated verification of block cipher modes of operation, an improved method"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6043822"}},"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":"Q2889811$029C5E95-E7C4-459F-A65D-3A6AA4C241CC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"524ed82cbfe543afc3e9ef18bd49d35d7a2f95b2","datavalue":{"value":{"text":"Automated Verification of Block Cipher Modes of Operation, an Improved Method","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2889811$4F2BB112-6A22-4585-A6E1-0C40E2FC362C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0f854475f767d238482b36821331e77bb124a992","datavalue":{"value":"1303.68051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2889811$D0536875-3558-43AE-B3F1-2FF2D3F7EC55","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c40fe78609d1aa95f958148e327f19e82f3697f8","datavalue":{"value":"10.1007/978-3-642-27901-0_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2889811$33BCAF83-6FDB-428F-8894-5A0E3B137E91","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":"Q2889811$3E3C445D-0E2D-46F7-949B-A158B97ECFA2","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":"Q2889811$2CE8C0F6-0920-4A9A-ABE3-57FE864C1F7D","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":"Q2889811$6C06556A-22A5-44BF-84DE-C3627C0EEF86","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":"Q2889811$54145639-8C74-47C8-A0A3-738F848DFC10","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1ed68913b4b2a9f0bbdd8445ce8dfaa8da4ea84a","datavalue":{"value":{"entity-type":"item","numeric-id":2889807,"id":"Q2889807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2889811$9E7A0B09-2C9E-4D67-8B5A-B7BD9B869F85","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8a7d7484062a7dd97ef9c7d59e7e7bb3f36dfdc8","datavalue":{"value":{"time":"+2012-06-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2889811$99E6B3BE-9822-4402-BD04-ADA245139B49","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"58bd804a9b32ab16fea71636cf187b83a20de8f7","datavalue":{"value":"68P25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2889811$36576EC4-DD31-418A-91E9-C4D7E42E3FC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2889811$D8C5DA0D-5E66-42F5-8D62-FFE916869879","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2f84f861b3f2920a920c61606b87fcdee22e1c16","datavalue":{"value":"6043822","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2889811$1B2D5E56-31A6-4693-A617-9432C8041DF6","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":"Q2889811$57A928C0-43E2-4E3D-BA55-A4C4E859B4B2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"10340078d04445fb9d8850b96c395d4a1ba86367","datavalue":{"value":"https://doi.org/10.1007/978-3-642-27901-0_3","type":"string"},"datatype":"url"},"type":"statement","id":"Q2889811$0DCBA7E5-FD27-43C2-8F9D-6EEFB911EA9F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"34aaf9ce03513e6dd580680e2a0bfa59845c01ce","datavalue":{"value":"W2188063272","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2889811$F312E2B5-8853-42F6-9A52-B55E0639D7EF","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":"ed16e03efcc4358191b8debc7ed7525210161c78","datavalue":{"value":{"amount":"+0.870537281036377","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":"Q2889811$32EC9E03-9897-40EF-BA28-2EB0D6261500","rank":"normal"},{"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":"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":"Q2889811$9E7D200C-34E4-4C6C-B79C-73B407DB5A6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c6a785ae1ce2d9789e7d1c77dd92df594ab9ad4","datavalue":{"value":{"entity-type":"item","numeric-id":4409106,"id":"Q4409106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b005db809a963f0bd62e01d66c92e00097f5e9ca","datavalue":{"value":{"amount":"+0.769325852394104","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":"Q2889811$546E0094-682F-40BF-ACD3-EAD47D3AFA7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e64c072e5ab274966f12d652bdc37728f3bac55","datavalue":{"value":{"entity-type":"item","numeric-id":5902499,"id":"Q5902499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b005db809a963f0bd62e01d66c92e00097f5e9ca","datavalue":{"value":{"amount":"+0.769325852394104","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":"Q2889811$D8217E92-867D-42E4-B784-C5195F10F1D4","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":"6aa0e2e24d0502c42c49e4e4279c704f7713873a","datavalue":{"value":{"amount":"+0.7212131023406982","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":"Q2889811$3648FFF1-7949-44AB-A2BE-DCDDE9B2650E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automated verification of block cipher modes of operation, an improved method","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Automated_verification_of_block_cipher_modes_of_operation,_an_improved_method"}}}}}