{"entities":{"Q4917062":{"pageid":6946643,"ns":120,"title":"Item:Q4917062","lastrevid":51704666,"modified":"2026-01-19T14:17:23Z","type":"item","id":"Q4917062","labels":{"en":{"language":"en","value":"A probabilistic polynomial-time calculus for analysis of cryptographic protocols (preliminary report)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6158657"}},"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":"Q4917062$C1A0175A-B8BF-45FA-85C0-3B3DCB567882","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a1bce6e9249389e6bec171ec2bac4e339cec6ab1","datavalue":{"value":{"text":"A Probabilistic Polynomial-time Calculus For Analysis of Cryptographic Protocols","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4917062$D927B90B-1D24-4B5C-AC87-CAF61D21F266","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c87ed0574a3c5080a6a2413d4eb0a0591367b647","datavalue":{"value":"1260.68109","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4917062$272F0528-A00B-4DB8-B690-A6DFBC0FEF58","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a741237ba4bff4ddae92f52ba9901706d9505b22","datavalue":{"value":"10.1016/S1571-0661(04)80968-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4917062$65E3BF40-0740-44E5-98A0-A2DDC66B7BEF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a7b0bfbbcf5657a8b101c8d9d79e6747c41c0556","datavalue":{"value":{"entity-type":"item","numeric-id":276486,"id":"Q276486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917062$534D24D9-29BE-407E-9F60-710DBCBCD16E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc6e9ec456da6cb21b17f268bc5c4b22433cbf69","datavalue":{"value":{"entity-type":"item","numeric-id":1021240,"id":"Q1021240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917062$AF62F00A-FF99-44C9-A80D-837352A7B81D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"183df695ae89db8e2a7647ddbe2de62ff0deb022","datavalue":{"value":{"entity-type":"item","numeric-id":1052316,"id":"Q1052316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917062$9B934D58-8F23-4B6F-B510-C7293F620BD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"107581a9f2540ab1fdb801a3e968c5d91e37161c","datavalue":{"value":{"entity-type":"item","numeric-id":2368989,"id":"Q2368989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917062$5FC4D059-EEAE-464D-A020-3A6E0C7A8D9E","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":"Q4917062$5FB2701E-48B6-4083-8B63-E9BA23D83C4E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bbadb60043d42aba50a817a1c8ceda2c9fd41cc8","datavalue":{"value":{"time":"+2013-04-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4917062$18488622-8272-4E0D-BDBB-CC375DA04CC7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4917062$6165D76B-BC3D-49C7-BD62-FC86CA04D8B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4917062$CD175DEC-54ED-4FD0-96CF-5134FB4F99E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4917062$54450D1A-7772-4547-8F7F-33AC23EA94CA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"51f78d507ee052bf1133c4547e3a089cc5fa375c","datavalue":{"value":"6158657","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4917062$7E88D4AA-8ED8-4D80-AB58-513CB4A780AC","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":"Q4917062$8B7045E8-A45F-4919-8CEB-565DC8DB9CFE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4659e4b65a5166be2e30470c613179619fe95b23","datavalue":{"value":{"entity-type":"item","numeric-id":5178877,"id":"Q5178877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917062$66326726-D268-43D0-AEFA-BFAB303A58B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdd7f535b99990e97c48b21b4f729647c06639dd","datavalue":{"value":{"entity-type":"item","numeric-id":4230922,"id":"Q4230922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917062$8C964B96-0180-4471-B704-49479FFA1983","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d60ab50b8d1d4756f8ebae8cf9fd6ef9acae13a1","datavalue":{"value":{"entity-type":"item","numeric-id":1283776,"id":"Q1283776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917062$7DACBA4D-6DC4-4DC5-B259-81DF9F46D549","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1e7c275656b065cfc7f52f87dfa7161ed8104fe","datavalue":{"value":{"entity-type":"item","numeric-id":5714435,"id":"Q5714435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917062$CE62290F-8C45-4A15-8077-329A881FF655","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e262605de3748950c95c0e00a42a0dd21930251","datavalue":{"value":{"entity-type":"item","numeric-id":4536407,"id":"Q4536407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917062$4B236A7B-FF09-4F96-96D8-84638C0B7517","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9afd4fa313d72573c9bd3f393fea2eaa1326a6b","datavalue":{"value":{"entity-type":"item","numeric-id":4418589,"id":"Q4418589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917062$428FDEDE-A342-45EF-8229-68479ED3FC45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc4c2f534223ec34c41fed80e42cbca489663773","datavalue":{"value":{"entity-type":"item","numeric-id":3689092,"id":"Q3689092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917062$00D8BBB2-35F0-461A-80AC-EFDA2FF5D9D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ac7cd56551a211b5f2d1bdd2ef0d9e8f568c06e","datavalue":{"value":{"entity-type":"item","numeric-id":4536819,"id":"Q4536819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917062$53E0F694-0DE6-4829-A058-C5CA93278088","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4b9934e4330ebc62619a24483f8517d80241bf9","datavalue":{"value":{"entity-type":"item","numeric-id":1273742,"id":"Q1273742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917062$05F7F088-A29D-4DB4-BD84-B8961223F392","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d71a27202baa0ed69d2b59af2ce9512b037b47c","datavalue":{"value":{"entity-type":"item","numeric-id":1330137,"id":"Q1330137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917062$49D94750-9685-4CF6-B4A3-587DE3D2984F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13ffbb2a00ae3c06220852f238ea41cfa8cb8aa4","datavalue":{"value":{"entity-type":"item","numeric-id":1175940,"id":"Q1175940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917062$4769D648-3671-46DB-9507-7E6BBCA90B71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d775e824fadeac6d94bee23311f0bd74e8b7dedd","datavalue":{"value":{"entity-type":"item","numeric-id":4493893,"id":"Q4493893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917062$1758A825-2260-4166-9E02-E4CC2B28A3C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a27ffa22b418ca0da03ded20d1823c95a516de98","datavalue":{"value":{"entity-type":"item","numeric-id":4871218,"id":"Q4871218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917062$587A5FE9-09B0-46FF-96C0-D31860F58185","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917062$03D31775-CAB2-4649-8888-1E7400DF9006","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":"Q4917062$D522FB30-2611-4BF2-B6F3-C19C5FB493F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c038b8dac9451f007d0167ee6a8b5f37a4c69a0a","datavalue":{"value":{"entity-type":"item","numeric-id":1898113,"id":"Q1898113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917062$2E7F4E5E-7878-40A5-AE11-0E8129CC861C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"23aa51584f8dfd365d0f7db8d4288555cd1bf988","datavalue":{"value":"https://doi.org/10.1016/s1571-0661(04)80968-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q4917062$6DE7AC26-97BE-4CD2-9DAB-479648237493","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a8796e90316c8f3503c37e848e7ee666c88bcc85","datavalue":{"value":"W1976791634","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4917062$065F240A-46C2-4EA6-922A-7142960A4BF2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1cafac35a0ff5f7ce928a318700670ec9e0a116d","datavalue":{"value":{"entity-type":"item","numeric-id":2368990,"id":"Q2368990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c979972207fee6091383388211bd7231da0bfc2","datavalue":{"value":{"amount":"+0.941772162914276","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":"Q4917062$980D8DB7-8C5A-4BF2-9DD5-EA1FD0FEC773","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"185548bc2c0ebe6ad459f46b4d4c44fe5d41ec05","datavalue":{"value":{"entity-type":"item","numeric-id":2763664,"id":"Q2763664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a67d388aa846ded8b7a3ee67da9a1b5adc0fe34c","datavalue":{"value":{"amount":"+0.9077671766281128","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":"Q4917062$79B13939-A094-45C9-AC79-7F76DDD2FF26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92a7a06f825566971eb451ad6cdcdb08218f9652","datavalue":{"value":{"entity-type":"item","numeric-id":4493893,"id":"Q4493893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8057d11886f3332b70405e4dd40608581037c4e","datavalue":{"value":{"amount":"+0.9018278121948242","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":"Q4917062$E416905B-9058-4EDC-AC86-136F6998460B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"789e1f3ba907e54f9a0308f55144ca536a60627c","datavalue":{"value":{"entity-type":"item","numeric-id":5900575,"id":"Q5900575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e84fbcbacbc985a8a1891a6f53987275350324c9","datavalue":{"value":{"amount":"+0.9003642797470093","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":"Q4917062$03BAF703-0F02-4AF9-BA4B-56969FDC1DB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d15a71dbf6a694be380b6f7859e3bc8291e199e","datavalue":{"value":{"entity-type":"item","numeric-id":1283776,"id":"Q1283776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af7b0c9c7a6e90d2b8e77b043b705eab67ad18e0","datavalue":{"value":{"amount":"+0.8493598699569702","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":"Q4917062$64708617-025C-4CE8-9EBD-BB2A7E25B93F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4917062","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4917062"}}}}}