{"entities":{"Q2474047":{"pageid":2484790,"ns":120,"title":"Item:Q2474047","lastrevid":50293034,"modified":"2026-01-13T18:46:10Z","type":"item","id":"Q2474047","labels":{"en":{"language":"en","value":"Automated verification of selected equivalences for security protocols"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5242668"}},"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":"Q2474047$04FD7152-6EF8-4659-9940-B7CE8BCA8AF8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"780f5db08c8951d7fda4f9deb56e8d3e83637030","datavalue":{"value":{"text":"Automated verification of selected equivalences for security protocols","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2474047$2722CC0E-79B0-4F17-A3D6-F68D1117F64A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2171ed55c81bc63957d8ee4225ada26bcf5f54d3","datavalue":{"value":"1135.68007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2474047$10E2F377-847F-48D2-966C-3C46C4BD81A1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1a5fa1ce06089524f81c4bc61a5f677242e6f668","datavalue":{"value":{"entity-type":"item","numeric-id":1041814,"id":"Q1041814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2474047$59A2A6A8-BEDD-4165-8D74-C926AA8E7CC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f7720f013cde2512621480147576e51273a4c701","datavalue":{"value":{"entity-type":"item","numeric-id":265786,"id":"Q265786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2474047$3FFC046C-E313-4D24-BE73-E5891D3F325D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1cc3bbc8146d8b3b4282d333dce118410bd01d27","datavalue":{"value":{"entity-type":"item","numeric-id":557893,"id":"Q557893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2474047$65E1EDD4-F3B5-4BFE-9DAA-525DD9C5F696","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"786ecb874cd758b218aa4cf99a475aee0b3588ed","datavalue":{"value":{"entity-type":"item","numeric-id":175862,"id":"Q175862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2474047$CC46FBA0-C814-4626-B43B-85B0CA1CCF80","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"320775bc8330b9df723b904d964cd89baad4e710","datavalue":{"value":{"time":"+2008-03-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2474047$2EF45E1E-AFAD-4DF1-915D-7E353D7DD6C0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f100e7e9b912dd320a0f918ece3ef4edbbe567fd","datavalue":{"value":"68M12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2474047$643F0754-31DB-4470-9DD9-007134430392","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ca8c16691e9ec83d46a3995338b09d48ac9660ac","datavalue":{"value":"68M10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2474047$F90C07F6-4D35-445C-BB1A-7E9BBFD746FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2474047$7756087B-A3FF-436C-A313-68DC908260C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2474047$F28E6DD8-5941-430A-A809-C095BB2CBF5F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"033a0ae225830f4bc35e100c81c0301c65d43054","datavalue":{"value":"5242668","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2474047$CB4F3ED2-06ED-4F10-B792-1B3026D592B8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ea353797c34180c8e7f601a861f13a3dc4619e0","datavalue":{"value":"pi calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2474047$2579F517-9482-4E1B-9CC1-CD8F86C40737","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"def8060b1efc433bd5ce539e43d7a030d10e8e80","datavalue":{"value":"ProVerif","type":"string"},"datatype":"string"},"type":"statement","id":"Q2474047$052E7266-65C5-414C-9D7A-54136A7282DD","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"973cd15e22c791df17eaceaf230998dc9777a5b0","datavalue":{"value":{"entity-type":"item","numeric-id":18650,"id":"Q18650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2474047$2D21DB8A-6AFB-4EA5-85CB-7156385D5A75","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":"Q2474047$B5AAF4DC-D80B-4231-A6EF-8AAA53DDBB7D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a7858cfb9909aeb929912766ab58c5de8855cb0e","datavalue":{"value":"https://doi.org/10.1016/j.jlap.2007.06.002","type":"string"},"datatype":"url"},"type":"statement","id":"Q2474047$241106F9-4E50-44E9-8120-F6C1D3487EF5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2695ef50103acb3bd133b245c03db040708d23d3","datavalue":{"value":"W2055259417","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2474047$B835EF6D-B823-4B65-9659-38299D9EA42A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c85120675be4dafaaf247bdedf9c9b3c4696f0c9","datavalue":{"value":{"entity-type":"item","numeric-id":3158557,"id":"Q3158557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2474047$F049084E-F4A4-479A-AB30-D138ECD71804","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31f86ea6a15d8521d94f8a5308b21778b73dee6c","datavalue":{"value":{"entity-type":"item","numeric-id":3546279,"id":"Q3546279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2474047$FA71A833-5D91-44BC-99E6-0114A0E90CB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59751135ba1636fed6ef473f7c76aa8795602d0f","datavalue":{"value":{"entity-type":"item","numeric-id":5308708,"id":"Q5308708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2474047$7D63B840-F217-4BF9-B6F7-4BE37687499C","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":"Q2474047$30818819-A728-4798-9CC4-057886D60D7A","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":"Q2474047$C521CADC-567E-419C-B7EA-8B70CC039FCE","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":"Q2474047$56580BA8-61D1-4079-B146-77FD8D499698","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":"Q2474047$C3E90406-D2E9-41AC-A733-B3A29E975A15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0243e55cc8a19c53caed5926a2d599098fcc40d4","datavalue":{"value":{"entity-type":"item","numeric-id":3546456,"id":"Q3546456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2474047$5608635E-83E4-4065-AE0C-D07B8ABC0ACF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6403b873c0e02d3cdbc49e287eade35ee54e4c7","datavalue":{"value":{"entity-type":"item","numeric-id":1400706,"id":"Q1400706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2474047$DEDE238F-A42F-4060-9C82-475D37F6B4BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10c74a330b5c89ffa6afb6b93e78391cfa3ed028","datavalue":{"value":{"entity-type":"item","numeric-id":4411970,"id":"Q4411970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2474047$3B53612D-1853-4C59-AA90-BB0170BC770A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb9ad250fb55d5f6f4015cba5fb638fc9517d878","datavalue":{"value":{"entity-type":"item","numeric-id":1041815,"id":"Q1041815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2474047$0A4098EC-01FF-4885-BFD8-B43181BA2AA8","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":"Q2474047$A680CFA2-0A37-40BB-BCE1-FCA5E80986CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0444f180abec0cddd3ea1900c859c5fecb70523f","datavalue":{"value":{"entity-type":"item","numeric-id":1854437,"id":"Q1854437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2474047$DE52D32B-EE7C-4F5D-AE40-29FCD5714174","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f24efce6992803e4942eeccc04599e8963e887c","datavalue":{"value":{"entity-type":"item","numeric-id":2784489,"id":"Q2784489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2474047$56BD500D-1121-45BD-A631-29FDA32D0D79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7de25303ed0884d9845a31473529d650f74e6157","datavalue":{"value":{"entity-type":"item","numeric-id":5311472,"id":"Q5311472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2474047$75A5AF63-5524-435A-9FC4-E16ADD09C0D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb9eecbd7ccf509cbf0a7718a08bb29e55bf77d1","datavalue":{"value":{"entity-type":"item","numeric-id":2996142,"id":"Q2996142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2474047$E17F4A25-25A5-45F2-9505-19AA5F46898E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd2a66adde1572dd62844706f77b656f9ab64e2d","datavalue":{"value":{"entity-type":"item","numeric-id":2849571,"id":"Q2849571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2474047$F8CBB64C-75C1-4C73-B460-BB9272865B5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db15afe119e4d8924199889dafaa491710809a5f","datavalue":{"value":{"entity-type":"item","numeric-id":2751361,"id":"Q2751361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2474047$A0265A61-6A19-4572-B874-0FA4E042A31F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82c1819e35000cc3969e46ed8d18df761969351d","datavalue":{"value":{"entity-type":"item","numeric-id":5705935,"id":"Q5705935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2474047$6B182912-291E-4F26-B450-D2FE359A28EC","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":"Q2474047$A3DBA181-890B-4090-A46B-FB3A92A5F396","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2290ac5da3040520f96f5522a48a306ddb96f5e","datavalue":{"value":{"entity-type":"item","numeric-id":1398674,"id":"Q1398674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2474047$D50FE8ED-4CAD-422A-AF64-4EE691284F73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b6947c276ea0486d17b34d548d60077b5116d17","datavalue":{"value":{"entity-type":"item","numeric-id":5178916,"id":"Q5178916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2474047$6EADA7B3-18A3-40E9-A539-7E33F0A9AC72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91574b2a3de5010705265e08944477847eda8d5e","datavalue":{"value":{"entity-type":"item","numeric-id":5308469,"id":"Q5308469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2474047$82B55A4A-EEF2-4D0A-9D92-E5CD5416DB53","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fd9fa06098b350d72bee971913ae8f20524582a0","datavalue":{"value":"10.1016/J.JLAP.2007.06.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2474047$7DC43232-DC91-4952-958D-E2CF349A26EF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af10c3f3d620ad1acb5fcfefe12321c50d8ffb4f","datavalue":{"value":{"entity-type":"item","numeric-id":5253587,"id":"Q5253587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"997f423e11c14c944d249a6f3aa1625a3b26ef48","datavalue":{"value":{"amount":"+0.7846710085868835","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":"Q2474047$E286E16F-E357-4F9C-8729-858E97B7B467","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17eddff234d4c41a4317842c44d693129664c1a9","datavalue":{"value":{"entity-type":"item","numeric-id":5326762,"id":"Q5326762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e58c801771e85161dd3d1ee638e1a1a413c277da","datavalue":{"value":{"amount":"+0.7769173383712769","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":"Q2474047$E03F932F-76D8-4A23-8DF4-0F069BE49D5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c65f6d5cb7e20f4b499bad794491ac5505d28710","datavalue":{"value":{"entity-type":"item","numeric-id":3636852,"id":"Q3636852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d055a8c447a0c06bee2cbece2c1732a728af6f3","datavalue":{"value":{"amount":"+0.7692001461982727","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":"Q2474047$374098FA-7F90-4FF2-ABAF-3A099365605B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07047b2197714a8819b934f0de4fdb4e050e5c62","datavalue":{"value":{"entity-type":"item","numeric-id":2894308,"id":"Q2894308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32f82e2bcb1db90b9f086cfcbf7e55f1fe804b3e","datavalue":{"value":{"amount":"+0.7660306692123413","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":"Q2474047$1F9C9A55-F56C-4DAF-A802-C64BC0E301C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c9eb28ea9db3d25c53ff263f9e18321d3d15aec","datavalue":{"value":{"entity-type":"item","numeric-id":4738218,"id":"Q4738218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7680c424b393f186f0e8e886b1094d2e5bcf9b1","datavalue":{"value":{"amount":"+0.7644317150115967","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":"Q2474047$483084C1-163A-4CE7-92E3-BEB544D084EC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2474047","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2474047"}}}}}