{"entities":{"Q3402286":{"pageid":3412989,"ns":120,"title":"Item:Q3402286","lastrevid":87168548,"modified":"2026-06-04T10:52:53Z","type":"item","id":"Q3402286","labels":{"en":{"language":"en","value":"Cryptographic Protocols Analysis in Event B"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5665772"}},"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":"Q3402286$4FB09775-33E4-4387-9E91-C708E6F19BEF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9b836a81b3e7040d94084daaa4ac3308913a99f8","datavalue":{"value":{"text":"Cryptographic Protocols Analysis in Event B","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3402286$B0BBBD5F-DEDC-4029-BA2D-306A868E5A8D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"baeeca5caa1b6db7f98482965cc3a0dac6a6c2aa","datavalue":{"value":"1274.94039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3402286$DC823B6F-EC58-4130-B84D-6B2406656F4F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a54752c735f07d02e9db80bcaf9da0cc2e072819","datavalue":{"value":"10.1007/978-3-642-11486-1_24","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3402286$FB5166EB-1C6C-4A18-97D0-357743E1A6D3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1fcef4af80a44600046a6325a91a4c3a7a498615","datavalue":{"value":{"entity-type":"item","numeric-id":3402285,"id":"Q3402285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3402286$31F2A0CC-9DC7-46DA-A5F8-A0183DEA932B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1d2ede521f5fce8fa3298f18b62562b18a8ba12d","datavalue":{"value":{"entity-type":"item","numeric-id":674007,"id":"Q674007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3402286$DE10870B-1865-4BEA-A7C8-FD3147667437","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2ca3c59d5b4a9c62c9dad54b7259d1ebc3cdb0f6","datavalue":{"value":{"entity-type":"item","numeric-id":3401930,"id":"Q3401930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3402286$B9488F95-BD01-4170-AF03-083345A66653","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2f2e51e046f2c34fc303672dbc5a81ee27ce4774","datavalue":{"value":{"time":"+2010-02-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3402286$40B361B3-EA0F-4A27-9229-87D5E7DACF26","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3402286$5A0EC71D-A902-4369-953A-8FA0C8E60B9E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"81ab138c15ce811e3fce456cfc1b6a8410c37c0b","datavalue":{"value":"5665772","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3402286$3C898F94-DB6A-48CB-94BB-ED4B1D0AE89D","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":"Q3402286$9D523389-4791-4AB5-B02B-633AB9E936D6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"99375ba3cc0eac148b9b8252a3e7cdcc14da3600","datavalue":{"value":"https://doi.org/10.1007/978-3-642-11486-1_24","type":"string"},"datatype":"url"},"type":"statement","id":"Q3402286$A7C74153-1F5A-41CA-9B86-9C0FFB0FA765","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ecd5bf0ea3bac614bf2db9e9de24f0114949d372","datavalue":{"value":"W1579989646","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3402286$67BF7AF0-7264-4AA7-B6EA-0FA1463177EB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13dac91849e062c70d04ff78b62c9a155f8956b2","datavalue":{"value":{"entity-type":"item","numeric-id":4436119,"id":"Q4436119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef01636f831374cb3f3f0b1bc2f1fe07b56c6f13","datavalue":{"value":{"amount":"+0.85696757","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3402286$91083255-DFC2-41F9-8D6B-1E074A7C7CCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97e764e9ed1fb42cdfd71346bb9b09e4f37f9e8b","datavalue":{"value":{"entity-type":"item","numeric-id":2765456,"id":"Q2765456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ebc2571d076fb943a78783211144fd723eb7330","datavalue":{"value":{"amount":"+0.8557734","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3402286$5D41E4F0-DC6F-4A91-85DD-DA6EFEE66313","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2e8752fbffd45096cf29e5a7ae351a4d5f777f1","datavalue":{"value":{"entity-type":"item","numeric-id":4736987,"id":"Q4736987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0e4a4f55568ff07bcf2879faf756bd54b9bc839","datavalue":{"value":{"amount":"+0.849392","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3402286$35490485-BE1A-4CA2-9F1E-48D728041735","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dbb70c2764bc98f95bfb4eb3ca38221a3564a571","datavalue":{"value":{"entity-type":"item","numeric-id":3734302,"id":"Q3734302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d89629f04847ecfb321a51fee7a05c06971d1f2f","datavalue":{"value":{"amount":"+0.8416319","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3402286$0EB55AF1-30CE-401D-AB9C-6BBABFA66484","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3d740974bda05bd0358f728f2078d1c2def921e","datavalue":{"value":{"entity-type":"item","numeric-id":4535055,"id":"Q4535055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af81c385a30519c64bb65b39e65d5377f2ad7ac7","datavalue":{"value":{"amount":"+0.83810216","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3402286$2371D1F2-CDBC-4008-85AF-D66EEF56C541","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"930d2e43de7549a0e749923990abe43f7c013c78","datavalue":{"value":{"entity-type":"item","numeric-id":4934628,"id":"Q4934628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d47380b2d322d650590d12bdd81543d8a106cf3","datavalue":{"value":{"amount":"+0.837954","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3402286$60A6D1A3-78AA-419E-9229-41AB2262746D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c529d17715516fadaf9fd5d0cad7e434ec27d857","datavalue":{"value":{"entity-type":"item","numeric-id":2464141,"id":"Q2464141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa52b3cff6a374d2590ed14d07b531ec0d19fcd8","datavalue":{"value":{"amount":"+0.83683145","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3402286$4F24BE51-C384-4331-8459-D2E9F4E5B566","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89aba3a89b2f31d26f78a527a53789b9e8929087","datavalue":{"value":{"entity-type":"item","numeric-id":2507460,"id":"Q2507460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f875707d09e825aceb64cc6583814667f5f268ed","datavalue":{"value":{"amount":"+0.83511525","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3402286$B0A9A309-1C38-4BD7-BFAE-30434EAE43CD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Cryptographic Protocols Analysis in Event B","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Cryptographic_Protocols_Analysis_in_Event_B"}}}}}