{"entities":{"Q1330137":{"pageid":1340887,"ns":120,"title":"Item:Q1330137","lastrevid":77880698,"modified":"2026-05-06T10:16:14Z","type":"item","id":"Q1330137","labels":{"en":{"language":"en","value":"Three systems for cryptographic protocol analysis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 614350"}},"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":"Q1330137$A452CBFB-D760-45E5-B06E-3BC2723F8B0A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"28c5bf52f119dd7475049408e61a9f347bd4a740","datavalue":{"value":{"text":"Three systems for cryptographic protocol analysis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1330137$87D9EF78-2F84-4DC8-BDA3-C8B7CD5D429F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c112ed9811b2e46e38b5a646a7284050c6439ed0","datavalue":{"value":"0814.94011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1330137$10C459F8-3DBE-4746-B274-379FDA61CE84","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"033e449ec764d990dc3e86dd40f4c6d25260c3ac","datavalue":{"value":"10.1007/BF00197942","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1330137$FE72F03F-93AD-437D-A8AB-E3DE54E8E03B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d5eab3bbb3b6673353b9ed770934b15d004ef795","datavalue":{"value":{"entity-type":"item","numeric-id":166358,"id":"Q166358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1330137$0B54D482-1251-4815-A3B2-A5E4A4D25ADA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6e38d220a1f16855024fb778e126875b1f4f8fd3","datavalue":{"value":{"time":"+1994-08-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1330137$0CE4B0AA-AE4E-4004-8783-CCB9869526EE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1330137$6D75C413-5D86-410B-983D-FC331C3F0692","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"58bd804a9b32ab16fea71636cf187b83a20de8f7","datavalue":{"value":"68P25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1330137$52AF70C5-8A9C-47DD-B8DB-E308E5346C4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1de3565cfd3393000dd87ca545f95ff84d4c1446","datavalue":{"value":"68W10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1330137$19E42BED-E27C-4BC2-A88F-AF82B41CE39A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6a4822d52a25917795017ea0a431769302955d1a","datavalue":{"value":"614350","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1330137$97361B17-ED5A-4C13-883F-9883C95221EE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"57e600a29ee53a2da3f2a0b3414e944abda61cd7","datavalue":{"value":"interrogator","type":"string"},"datatype":"string"},"type":"statement","id":"Q1330137$76F66FD0-AFC0-4444-A874-AF48050B7C21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"62a9cca5f3bd616d5d19b3927d3341446d780ccf","datavalue":{"value":"narrower","type":"string"},"datatype":"string"},"type":"statement","id":"Q1330137$5464FBF2-D566-4EC5-83D9-9C9670234833","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f2b9fe0142e3d08aeabe0efdaf90cf651731ae7","datavalue":{"value":"Inatest","type":"string"},"datatype":"string"},"type":"statement","id":"Q1330137$F659653F-35F4-4354-8DBB-6D392C243EA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"04c3797327c6802c31f6669c7396d84381d03690","datavalue":{"value":"Ina Jo","type":"string"},"datatype":"string"},"type":"statement","id":"Q1330137$25915949-A274-4DFE-8C41-EA3E44D5C18E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47511de611e7ca7c7f052290389ebfdae4c32892","datavalue":{"value":"specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1330137$B5B20A65-7918-43F3-9A86-FD1EA587E1D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1330137$ED1BE3CE-8128-414F-82C4-F260B9B1F3E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"84c612e97d0bbc5f0fc0c1fc6c648d85c6d9bbe2","datavalue":{"value":"security","type":"string"},"datatype":"string"},"type":"statement","id":"Q1330137$94674C4D-1FA5-4F2D-99DC-1CC71F8B700A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fbc7cf19c4844f555afeb1874e534e59c2314744","datavalue":{"value":"cryptographic protocols","type":"string"},"datatype":"string"},"type":"statement","id":"Q1330137$12A6913D-2839-4952-BBDF-544F75BD3993","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d26c2300eb83b8158fd54477fe08778fd12ae1d","datavalue":{"value":"key distribution","type":"string"},"datatype":"string"},"type":"statement","id":"Q1330137$E5E37C80-BB5A-4325-B720-01A5A6132530","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0143d2a1dc41fa935e59c3be31e1263c6255764","datavalue":{"value":"authentication","type":"string"},"datatype":"string"},"type":"statement","id":"Q1330137$696BDED1-959F-48A3-BFED-1EADD9CABE4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"31191b168db90b61d97f4b458e3aa40e0e2da5f4","datavalue":{"value":"state-transition","type":"string"},"datatype":"string"},"type":"statement","id":"Q1330137$0049335B-4062-457D-886D-0690A6F2A537","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b1e9ee15e04024166fbc010b993d29589f250cf1","datavalue":{"value":{"entity-type":"item","numeric-id":1401258,"id":"Q1401258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1330137$1AA33AD8-D5A7-48F1-9967-02B67B3950D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"893d4e95bab3f0a7b3894fc03f5329d8bc74115a","datavalue":{"value":{"entity-type":"item","numeric-id":831946,"id":"Q831946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1330137$2B96A532-B283-4E53-8E1E-C1DBE7B52BB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a727721350a6442a5e0ba1646e5adc1f9504ff78","datavalue":{"value":{"entity-type":"item","numeric-id":1007640,"id":"Q1007640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1330137$6A9208A6-6439-43C8-A05C-70F1A5BB0DE7","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":"Q1330137$3B730B64-2260-4EBC-ADE0-CFAAF41C903B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"33142aff432f46099a4c312e6f6950d01903fba9","datavalue":{"value":{"entity-type":"item","numeric-id":5255820,"id":"Q5255820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1330137$539BC00A-94E6-4FAB-BDA5-BBDADF80C450","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9535131d59e1fffd9bb758c270de83782f13b139","datavalue":{"value":{"entity-type":"item","numeric-id":3999200,"id":"Q3999200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1330137$D39B53DA-AEA1-47D9-877D-D3EC1179ED74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70200912b15e3f6d8f97f26c605e4ed0a53464e8","datavalue":{"value":{"entity-type":"item","numeric-id":3919057,"id":"Q3919057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1330137$60A0BBD0-591B-4261-B448-78D85F2F6117","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4a73265bad6ea50fe9fad5bfba6b38941e6752f","datavalue":{"value":{"entity-type":"item","numeric-id":3968876,"id":"Q3968876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1330137$2FA736E5-A6D6-40F2-85AD-ECA1D07335B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae477ba2300400eec2908d55329cb4248dc074d4","datavalue":{"value":{"entity-type":"item","numeric-id":3833627,"id":"Q3833627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1330137$17479DB6-B7D3-4BE7-BDCC-B1CC90AA3A4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fefd3695fc6c127353eeeaf9bb631916756e929","datavalue":{"value":{"entity-type":"item","numeric-id":4168037,"id":"Q4168037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1330137$74B617C9-C16D-4743-B4A0-5000DFBE6220","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2a5b2ddebd2ab0369854cad775c43938f5294ee","datavalue":{"value":{"entity-type":"item","numeric-id":3696486,"id":"Q3696486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1330137$32CF09D5-564C-4293-91CC-0C0992F1420B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e57fa4714b1dea03af463d5ce3818575c2116970","datavalue":{"value":{"entity-type":"item","numeric-id":5857801,"id":"Q5857801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1330137$7E2C4685-A124-43E1-BAA9-62AB6C1608AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ae10a89581cdaa576035006e80c881a40146e5f","datavalue":{"value":{"entity-type":"item","numeric-id":6488538,"id":"Q6488538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1330137$48F18279-3136-450C-8F96-B797C32EBC0B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51ac66808a3dd3163d6bac7d40284249429ec871","datavalue":{"value":{"entity-type":"item","numeric-id":4341785,"id":"Q4341785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4dfe4004e76ed41c70d0e52029a1ccabd44cfa31","datavalue":{"value":{"amount":"+0.8435057401657104","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":"Q1330137$5F579FB4-26FD-4F74-AAB9-293B21758291","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6206fb2333e843b84a862f154bfb633db182fcda","datavalue":{"value":{"entity-type":"item","numeric-id":1853583,"id":"Q1853583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46eee42915949bee5f5f91dee8a5ac9e787bdc6e","datavalue":{"value":{"amount":"+0.82972651720047","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":"Q1330137$27BB9AB5-A05A-4F52-A17B-B4F708E87FA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b97daad70c3e93b2303c7c0b5f9b7473a443eb4a","datavalue":{"value":{"entity-type":"item","numeric-id":4778711,"id":"Q4778711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"714abd5c6499cc8151d2e56aa08d3763c24a5bf9","datavalue":{"value":{"amount":"+0.812768816947937","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":"Q1330137$FCF5C1CC-B9B6-47DB-8FF7-DD74F9FADE21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"616cae5d800f66ec3cc0448e54246f31830ffd0d","datavalue":{"value":{"entity-type":"item","numeric-id":4938617,"id":"Q4938617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84d75a438f5f3f6487150a54e9b3588debb95b7b","datavalue":{"value":{"amount":"+0.8108181953430176","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":"Q1330137$7381B204-E472-4066-96EB-7DAD8DA659E5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Three systems for cryptographic protocol analysis","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Three_systems_for_cryptographic_protocol_analysis"}}}}}