{"entities":{"Q2841213":{"pageid":2851933,"ns":120,"title":"Item:Q2841213","lastrevid":51779897,"modified":"2026-01-20T00:07:07Z","type":"item","id":"Q2841213","labels":{"en":{"language":"en","value":"The practice of cryptographic protocol verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6190906"}},"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":"Q2841213$7283ECB7-93EC-4E78-828E-4570FFE72D38","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d0addaf06eaa2ec5481b708b6b4d0e631f2116ce","datavalue":{"value":"1268.94031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2841213$CB5927FC-185C-4A45-8538-8DD8135AF683","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0d8e7e36253d2677ea1b697404a069b3fda265d4","datavalue":{"value":"10.1016/S1571-0661(04)00241-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2841213$A34FEEEB-C69E-47C3-A7E5-69D1FB245F5D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d5450522126073beebe5b41bdc84b794c874c239","datavalue":{"value":{"entity-type":"item","numeric-id":437030,"id":"Q437030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841213$FA035A8E-C1C1-4BBF-A811-703758F4E193","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841213$F0894D7F-0A37-470F-AAF4-0EFF3515A7EF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9fd0691c7173b432a2a4c9fb2775e82f2b46520a","datavalue":{"value":{"time":"+2013-07-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2841213$081BE7BA-CE89-475F-9692-E3666D7F20CF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2841213$71B9FF21-CD79-4B1D-8BED-CD87ED43DFD8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"79f095f328b2d8700d72a1fe953659e4953052f2","datavalue":{"value":"6190906","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2841213$AAE1082F-C784-4442-A3AF-E6C9AE211E67","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fbc7cf19c4844f555afeb1874e534e59c2314744","datavalue":{"value":"cryptographic protocols","type":"string"},"datatype":"string"},"type":"statement","id":"Q2841213$CD759373-ED6B-4D84-A31C-94AF2E14268E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2841213$7AD2B47B-7E69-403D-88CF-4D51278E9097","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2841213$437999AC-A66A-47F0-94EC-80E4E6FC555C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e40dddc8a6478d5c28d6bae4acaaef72bf25e08f","datavalue":{"value":"non-atomic keys","type":"string"},"datatype":"string"},"type":"statement","id":"Q2841213$31BCB377-323A-4F6A-88FA-E97E35B8D3C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1909acce02377969845f59f3cd77c9baad56143f","datavalue":{"value":"CASRUL","type":"string"},"datatype":"string"},"type":"statement","id":"Q2841213$F05585C8-22D1-4A9D-8AD5-97291705D7D0","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":"Q2841213$D9C57D4D-DE8D-4644-806B-EBB4A75EB803","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"05b51108496415ff89458a0754bfa1ebf470428a","datavalue":{"value":"https://doi.org/10.1016/s1571-0661(04)00241-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q2841213$0F013300-2A21-4E56-8424-2EC906B02590","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5222a4210e5818428cbdc3c6425b5ad49cf244fe","datavalue":{"value":"W2037712075","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2841213$42193411-1FE7-414D-BD37-B9F4AB94CFFA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0a488aee38e49bd01f1941f1b2b0445a1fa9709c","datavalue":{"value":{"text":"The practice of cryptographic protocol verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2841213$2088B421-D1C0-4895-BF89-3CBAB3CEF17A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1633d60372e753fb20a4206d034fb146036b62f6","datavalue":{"value":{"entity-type":"item","numeric-id":2767013,"id":"Q2767013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"054b3a65d76fb625cc14e43d27d59d010cb51160","datavalue":{"value":{"amount":"+0.853376030921936","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":"Q2841213$BECCD20B-30F5-4440-A02F-87814D5AC3E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7cc5fb4c70405369a825c60203f9ed01ab03baa6","datavalue":{"value":{"entity-type":"item","numeric-id":1874404,"id":"Q1874404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2da7a87a8cbcdf903a42370fa4f1455207ccf1d1","datavalue":{"value":{"amount":"+0.7943573594093323","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":"Q2841213$0531141D-04E6-471B-AF40-79D48BB01E6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b09792f917c7baa0f20de10c36f5b1e49a143589","datavalue":{"value":{"entity-type":"item","numeric-id":4536615,"id":"Q4536615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f38c797ee37195bb6c28259c12e3f2292c061f1e","datavalue":{"value":{"amount":"+0.7852468490600586","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":"Q2841213$54C5B7B7-E3A5-4820-B07F-D61EE79E3EEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34d457209a09985489ab96bb24b4900cf97b9ffd","datavalue":{"value":{"entity-type":"item","numeric-id":1330137,"id":"Q1330137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ac185ed3c9f6c3c020a220e469c0ff889917ba6","datavalue":{"value":{"amount":"+0.7826353907585144","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":"Q2841213$62A80C1C-12B1-4456-BAEB-AE1E6FA7858B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"126daadec64057aa06d01ebdfd4fbdc215d83e37","datavalue":{"value":{"entity-type":"item","numeric-id":4778712,"id":"Q4778712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ac185ed3c9f6c3c020a220e469c0ff889917ba6","datavalue":{"value":{"amount":"+0.7826353907585144","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":"Q2841213$57391A9E-16E1-440D-A6BB-D98D759B7CC2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2841213","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2841213"}}}}}