{"entities":{"Q607405":{"pageid":609181,"ns":120,"title":"Item:Q607405","lastrevid":51134213,"modified":"2026-01-16T20:54:18Z","type":"item","id":"Q607405","labels":{"en":{"language":"en","value":"A game-theoretic framework for specification and verification of cryptographic protocols"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5817990"}},"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":"Q607405$8A71003B-4F1B-400B-85D1-5BC3E2CEC4F2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8a5c0b2a8c925ea1c46f9639a2aab4eb817c07ef","datavalue":{"value":{"text":"A game-theoretic framework for specification and verification of cryptographic protocols","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q607405$C788EDF1-5D10-4BA9-8308-931BCF4FC195","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3698f9054e2a6fa76e949528d029fa1cb84eab39","datavalue":{"value":"1211.68254","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q607405$2A3F50EB-977C-4FC5-8C97-6D882C785134","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"71702b163a7189ebe0bcbf753813a46ce0403813","datavalue":{"value":{"entity-type":"item","numeric-id":607404,"id":"Q607404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q607405$5BDA47C1-7128-4246-9026-136C239F56A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2d2b38db35178629216fb5a5d1117935f5fa4828","datavalue":{"value":{"entity-type":"item","numeric-id":276467,"id":"Q276467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q607405$BA7F5FD7-3856-4C4C-B116-E67968D370FA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q607405$9FDA9B49-EA03-480D-8F31-4ADF8000D993","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0597dd9f38cc744686ebfdde0ab7e717b4afd491","datavalue":{"value":{"time":"+2010-11-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q607405$428183C6-035A-41B1-9581-0ABBA507658E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q607405$271A3BEB-0B8D-40E4-899F-82F4940D5287","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5c83f057600e5614b7fec59c8e4ac61cb41ba8d","datavalue":{"value":"91A80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q607405$79197EEC-1CF6-4237-8F1B-6E4DDD9548E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q607405$8E5F7D1A-1DEE-4F36-B46B-AAB6EB7F2D87","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bf8d6a1cfb24846e2674d28d228ea2772b02da4d","datavalue":{"value":"5817990","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q607405$CC2BB505-6758-4AE1-A0E4-CBC711B76919","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7156857ffe92ce842aee3549f498ec9de33be1f7","datavalue":{"value":"security protocols","type":"string"},"datatype":"string"},"type":"statement","id":"Q607405$30AC9FC7-15B3-4226-8253-9B8AB757A3D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d382bda2e2f6ac5660c2f01187826eb1f0e7ce31","datavalue":{"value":"game semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q607405$544EC4D5-CCE1-4859-8CAA-D420D996CDD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q607405$159A760E-5559-443E-9797-29E3F6FF7C59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q607405$0BF0D011-1BE9-475C-A261-D5D1236ACE65","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":"Q607405$728868D3-A3BF-4AF5-BB68-0AA81C061954","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5c40e7001d46fbfe7ffe2c127bb0011c976efaf4","datavalue":{"value":"https://doi.org/10.1007/s00165-009-0129-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q607405$A71B3E99-FB71-4080-9AEE-4A10E62EEE01","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8ca9f16634c5d1997d0002b54b17d50c5eeea776","datavalue":{"value":"W2012369158","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q607405$F7E51256-A7B6-4C9C-BF76-E41A5804553F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2c85674b32ecf9d0fe1b123e47c0c1df694d121","datavalue":{"value":{"entity-type":"item","numeric-id":2752046,"id":"Q2752046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q607405$40609B78-7FAE-4E5C-ABAD-CD83E8D52F56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57d853ad60931fa02460b597161b5a10b9b84ca5","datavalue":{"value":{"entity-type":"item","numeric-id":4225147,"id":"Q4225147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q607405$7D0933D5-C29F-4EED-A3E0-694DCB5BAFF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"737414dce6c255e1c801bd9ffb1616ecb5d1d9fa","datavalue":{"value":{"entity-type":"item","numeric-id":860894,"id":"Q860894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q607405$5D1A3747-8864-4D7C-A529-E544474B28AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd3fab1f6fdfc142a32377fdf253a300d0ee3ee0","datavalue":{"value":{"entity-type":"item","numeric-id":1853749,"id":"Q1853749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q607405$60FDCFD0-4C7D-4DF6-8510-52E9427265CE","rank":"normal"},{"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":"Q607405$CDAD68B7-B431-4E6C-9E37-C24A814AA202","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":"Q607405$73CCBD29-B75E-40DD-AE78-C5AEFEEC7BDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d969bd9e9070eb4e4b53be99bf5557f5f64d3d3","datavalue":{"value":{"entity-type":"item","numeric-id":3455546,"id":"Q3455546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q607405$3D03FBBD-547E-4F6E-8A57-F02FCDF2138C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"402a1510f4538b361d4257c4f49fb58819ff03cf","datavalue":{"value":{"entity-type":"item","numeric-id":4490717,"id":"Q4490717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q607405$75E5683C-E87C-4A1F-AC2C-7637E062E780","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb649047d8af54739f248f01cac42e5a1915d422","datavalue":{"value":{"entity-type":"item","numeric-id":1601823,"id":"Q1601823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q607405$8C9EE593-FA0C-461E-97DA-75419B674FFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82ef94cd854f261a03421632ce7dd586f76d29c7","datavalue":{"value":{"entity-type":"item","numeric-id":2474047,"id":"Q2474047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q607405$783880EA-4B33-4121-822F-91C717CFF9AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ea5c7bfcd7d33e8177170c842fe7d83d5fbf89c","datavalue":{"value":{"entity-type":"item","numeric-id":4206382,"id":"Q4206382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q607405$64E33DF1-5351-49DE-9894-815B962F4C82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5aef337f650d11bc3a249bb6348fabac127a4dee","datavalue":{"value":{"entity-type":"item","numeric-id":557806,"id":"Q557806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q607405$49594493-4072-448C-85B1-0266998CBE16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40e1d2fad2b3369089cffb0934f8fbe434f4fba5","datavalue":{"value":{"entity-type":"item","numeric-id":1192350,"id":"Q1192350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q607405$B10BF0A4-2DC8-4C3D-9256-D7624F685504","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":"Q607405$A8655C1A-4E00-4AB6-81E6-1F05EC2AF2A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79fd6f5e21c567b4583257f8ba35e81b142925a1","datavalue":{"value":{"entity-type":"item","numeric-id":861699,"id":"Q861699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q607405$00BF4A02-B7ED-4D4E-9CD4-C5D0E02DEE8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c4261c45eb0bdc31b98abbe6dbdb3be8211dfa8","datavalue":{"value":{"entity-type":"item","numeric-id":1122572,"id":"Q1122572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q607405$EC544F52-F30A-4B51-8AE7-EFD86DC6D0C0","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":"Q607405$023E881E-5246-4F67-B8C9-63106A8A442E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b44d5c81f7735368555911d4bd1908764544894","datavalue":{"value":{"entity-type":"item","numeric-id":1854393,"id":"Q1854393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q607405$727749CD-75A4-4520-8B0B-BA5D24A95A1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a1243bf9a0ead7621aec254ff14006f49780021","datavalue":{"value":{"entity-type":"item","numeric-id":5946358,"id":"Q5946358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q607405$FF552243-C657-4D36-A270-856B38E99AFB","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":"Q607405$A8F7DF84-80BB-4E72-979E-B84EDD73BC21","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"370ad0f6fdb91a9ea9717f055b95f7a1d46200a0","datavalue":{"value":"10.1007/S00165-009-0129-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q607405$77332ABC-E811-4967-90EB-736552801B86","rank":"normal"}],"P1643":[{"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":"edc70a449ef1b54d044ae625c5ea19fb67fb43b1","datavalue":{"value":{"amount":"+0.7728261351585388","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":"Q607405$3708E488-C632-4370-8018-78AC548B57B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53d7c4c10cd6e660c280c5b961ec5da97080dc18","datavalue":{"value":{"entity-type":"item","numeric-id":4484506,"id":"Q4484506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37e814d2f53345f6b25fd11dbaec851888eac344","datavalue":{"value":{"amount":"+0.7571914196014404","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":"Q607405$6BA1580F-A481-4190-A1D7-3B1827EF44EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c99d599c85f195afddd6ae4f3d045455b66035f4","datavalue":{"value":{"entity-type":"item","numeric-id":5445502,"id":"Q5445502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ae27701957b0d93affa356c04c6fc3bf772d76c","datavalue":{"value":{"amount":"+0.7524366974830627","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":"Q607405$507FE8FF-8446-43AE-A055-A6224F0062DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2cbaf64259efec957923c557200cd685e3fab7ab","datavalue":{"value":{"entity-type":"item","numeric-id":2470206,"id":"Q2470206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99ee49703efbaba635c311ac666308f2b37764dc","datavalue":{"value":{"amount":"+0.7511451840400696","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":"Q607405$320B8555-F556-4440-8BDA-30471DDA34E0","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":"3e340f8b88acb37faee6b872c63596a564645a3e","datavalue":{"value":{"amount":"+0.7507119178771973","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":"Q607405$6233192B-D042-4726-A2C4-BD5EBD0EF2DB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:607405","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:607405"}}}}}