{"entities":{"Q3435341":{"pageid":3446044,"ns":120,"title":"Item:Q3435341","lastrevid":50079493,"modified":"2026-01-12T21:34:07Z","type":"item","id":"Q3435341","labels":{"en":{"language":"en","value":"An algebraic approach to the verification of a class of Diffie-Hellman protocols"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5146349"}},"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":"Q3435341$9462827D-4D4E-437A-B2D3-A7A84E337A04","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0baf86a440776d985d6f2f0b9fdeadf4925b954d","datavalue":{"value":{"text":"An algebraic approach to the verification of a class of Diffie-Hellman protocols","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3435341$F62EC529-D757-48D9-9FB7-87A1E8CCF95B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"302b9a85887b4a19033eef46c28de2a1dff0a97d","datavalue":{"value":"1312.94042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3435341$7D4CB96C-05A8-4280-A99F-F443EA45BA95","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"68edf7279bebd25a220f30c68f26042c8cd1ebe9","datavalue":{"value":{"entity-type":"item","numeric-id":3435339,"id":"Q3435339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3435341$84DDF550-0E8E-44D2-98F5-BCE95788F19B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cbf760af8264fe1b213073283cef0a10d170b64e","datavalue":{"value":{"entity-type":"item","numeric-id":293166,"id":"Q293166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3435341$3D315456-982F-4204-BE91-47D04D5C2844","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d48bbe7385b1e57239d17d292559453127f15f1e","datavalue":{"value":{"entity-type":"item","numeric-id":3435340,"id":"Q3435340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3435341$45DB4A08-2452-4EBD-BA80-568DBB12C82D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"018eb3d5a1529ba4d911dfe810dafc033402deeb","datavalue":{"value":{"time":"+2007-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":"Q3435341$67C21DAD-163A-4D00-B838-5AC45A33C581","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"014c67de9a0fe732aa924e91d6dc9b1ea7f140ca","datavalue":{"value":"http://epubs.surrey.ac.uk/7236/2/ijis07.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q3435341$D09D30F3-F344-4660-A3E4-EAF34B600E8B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3435341$A9C260A7-B78A-4750-978E-41CC996D4B6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"58bd804a9b32ab16fea71636cf187b83a20de8f7","datavalue":{"value":"68P25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3435341$2848D697-2B2E-4F8C-93DC-113FEBFE17F2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"37f38ac306b21f7e4705bf69e685d7a430616da5","datavalue":{"value":"5146349","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3435341$340703DE-FBA3-493D-BAC8-136C00FDF925","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"720ad2603becd284daf2e9c45e20cd0a497e5f48","datavalue":{"value":"protocol verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3435341$26C428B5-588E-4FC0-A495-57FE0C93E658","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1941e7baecbef1051da62d92f1702df0a0b4958f","datavalue":{"value":"Diffie-Hellman protocols","type":"string"},"datatype":"string"},"type":"statement","id":"Q3435341$45265094-F775-477A-B7E1-44606BB4C1F7","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":"Q3435341$1169456A-B5F4-4D14-9953-5C152383EC35","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d5add7ec851763c2b96c0fec816bd8b0e6db100f","datavalue":{"value":"W2076466782","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3435341$B73D29C6-E3D3-484C-BB9A-6F488F5AE4FB","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"95e64131d883a0b4771b9b3ef8325fcc010bafd6","datavalue":{"value":"Q60173596","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3435341$13E00DBE-58F2-43E7-B942-B09C6AB7A782","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8d86573fcd63512252090cdc77433782143369e","datavalue":{"value":{"entity-type":"item","numeric-id":5466517,"id":"Q5466517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3435341$EAEEF117-4389-4F58-A1AE-DB3C29E16D67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98a5deb64016a52dffeea04fddc0b1c93e2efc6c","datavalue":{"value":{"entity-type":"item","numeric-id":1872784,"id":"Q1872784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3435341$772C9CEF-43C7-42F3-9E0C-D3AA2F0C77AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef991c37b936d7dbc1706111bfbe2cae8f0383e8","datavalue":{"value":{"entity-type":"item","numeric-id":4474181,"id":"Q4474181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3435341$240C69D6-7736-4F09-BD1E-40F80BA98047","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"286701445713d887561f80cb51ca2ddf68300bce","datavalue":{"value":{"entity-type":"item","numeric-id":4940705,"id":"Q4940705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3435341$FE3409AE-2DCB-4878-B2F6-179EF7C089A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e40651885e589ae16736b2ed26430168a8207418","datavalue":{"value":{"entity-type":"item","numeric-id":3875826,"id":"Q3875826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3435341$A53E93EA-B7B9-45EE-8A62-A8D45F0F414C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acde750dcd4daec62360360bf3b2fedea8cb76cd","datavalue":{"value":{"entity-type":"item","numeric-id":4536248,"id":"Q4536248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3435341$C915592B-5F56-412C-9A2A-63520E5D0C86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c31baa106e38579ca854e81589bd45c488e4f2d2","datavalue":{"value":{"entity-type":"item","numeric-id":4364556,"id":"Q4364556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3435341$327EA338-F42B-420E-BCF9-C64B8742A8B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80fc25795d0b87570910f3bf82794c3e05888935","datavalue":{"value":{"entity-type":"item","numeric-id":2707611,"id":"Q2707611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3435341$D87BE418-BB16-4D06-8A53-CFE4D624B7C2","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"3265a5e389f2885a2165081ab175ba8c6e0e7e83","datavalue":{"value":"journals/ijisec/DelicataS07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3435341$985CB03E-A1AC-484D-A968-4548A8A35423","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7dd23045613c288ef32d80fcc4f8caa96bcd1a4a","datavalue":{"value":"10.1007/S10207-007-0013-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3435341$A67A1B1C-570E-40E8-B7A7-B59E42372DC7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ecd416ff278c1f65eb4fc3475ce4889ec6d4f458","datavalue":{"value":{"entity-type":"item","numeric-id":5387865,"id":"Q5387865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d51ffd0c95b50df31ace3b9da61fa1cf9d68baf","datavalue":{"value":{"amount":"+0.7790778875350952","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":"Q3435341$CCF5FDE9-CC1C-4B5E-A7CF-4DD4FC8927CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aeacceea1ae071b2e8746240b6d228b8b5caf172","datavalue":{"value":{"entity-type":"item","numeric-id":2484410,"id":"Q2484410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb9389c1e9002fa0fa4cf25b031d02b14d33e160","datavalue":{"value":{"amount":"+0.7749287486076355","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":"Q3435341$4CA684D1-C142-4207-8265-24A095B39C18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58d98e9887bcfda39e1dd33959bffb09c0b69253","datavalue":{"value":{"entity-type":"item","numeric-id":5277813,"id":"Q5277813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8653817573c1a7118b1809dd466c5a5075964525","datavalue":{"value":{"amount":"+0.7749093770980835","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":"Q3435341$91B989DF-B47D-4F3E-8668-13D99119007A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4cd7d768517aba8c6a05c86c696426edb350db49","datavalue":{"value":{"entity-type":"item","numeric-id":5431313,"id":"Q5431313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e62d111fb2b3620d930aab7a2cdb126a6d3e18c","datavalue":{"value":{"amount":"+0.7745757102966309","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":"Q3435341$5D6CA545-7478-4B0D-93BD-38DE492860D2","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":"e0591c5f2401fd3814738421bc3906e8cf09ca90","datavalue":{"value":{"amount":"+0.7740635871887207","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":"Q3435341$086F6BD9-278F-4497-BAF8-CE979381EEFB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3435341","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3435341"}}}}}