{"entities":{"Q557806":{"pageid":559573,"ns":120,"title":"Item:Q557806","lastrevid":62730243,"modified":"2026-04-11T08:04:38Z","type":"item","id":"Q557806","labels":{"en":{"language":"en","value":"A method for symbolic analysis of security protocols"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2184045"}},"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":"Q557806$DFF8C209-68C5-42F5-877A-0E7C1ACCC1A2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"394e898ecdccf50fb8351fd0840693a5ce5b8d1d","datavalue":{"value":{"text":"A method for symbolic analysis of security protocols","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q557806$DB736CAB-9A73-46BE-9D4A-363F29EC65BA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"71368a250484debe7adde24f47a7fe5ebac874d0","datavalue":{"value":"1068.94009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q557806$B99A2CCB-60D9-4885-AB5B-3D142857F98C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5e18224bff5766368d67ddcb517cf22b6a4ff445","datavalue":{"value":{"entity-type":"item","numeric-id":418132,"id":"Q418132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557806$AE0DDC30-0830-46D5-B14C-E230630B18A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e166654a480097b2e7c0b22d90b463ff5b599da8","datavalue":{"value":{"entity-type":"item","numeric-id":458464,"id":"Q458464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557806$D36918D6-AB6B-48B0-BA99-804B30EA8327","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557806$D67163CD-79FE-4438-BE3E-DC4D16CDA00B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3be35b99bc40d25914143aa31268a19fcdde1b9d","datavalue":{"value":{"time":"+2005-06-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q557806$04D9FF0E-CA4C-427E-A4CA-A8394FA642BA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q557806$7FF72ECF-1334-4506-99D7-B63AE7F500C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f100e7e9b912dd320a0f918ece3ef4edbbe567fd","datavalue":{"value":"68M12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q557806$8BA7B705-3BAD-4500-B166-2943FB007FB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q557806$51BD30D3-5877-418B-B92D-C11928701F2C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bcb0a4a28245e348ff41abd052a463af703f7612","datavalue":{"value":"2184045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q557806$016BBA06-D323-4F08-8FFF-67026A62BB66","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8cea6a6f178a751a025ae6a31c2c78a0a054e6ab","datavalue":{"value":"Security protocol analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q557806$0EA7059D-EAFE-4B91-B983-07CFD5B1C5D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a97807798b1c6b6d1e55b32fcf2b118857913157","datavalue":{"value":"Symbolic techniques","type":"string"},"datatype":"string"},"type":"statement","id":"Q557806$790F3016-AEF1-4F13-9A6E-827B6BC02DE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"11e1ba63bfda00798220b9aecb69b1a4fed4dd2b","datavalue":{"value":"Process calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q557806$BFB5CC14-9073-4839-BDC2-B7048C617636","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"7844acded480b251e9bf53146c99606cbb562e1c","datavalue":{"value":"Q115036561","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q557806$B9DB7A2C-4C2F-44BE-B830-82EDC679863E","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":"Q557806$B49F53FB-E19D-4E1B-B98C-6D943AFD1368","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0305daebf21e4400edefcd8470622164066c57fc","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2005.03.044","type":"string"},"datatype":"url"},"type":"statement","id":"Q557806$CA0D967A-A2DB-4F65-9FC1-9A81C7D2411D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ca4169ea50f9e064f0bb7fa9046dec1e98cb1b0f","datavalue":{"value":"W2077875077","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q557806$C1BBFD45-F122-4053-9AA8-90B30BF70BA3","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":"Q557806$F83654BC-206C-41F6-97A2-C647089EB91F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e489f60b50ffbcb76ff4a8ca52e7c0625bf4ef0","datavalue":{"value":{"entity-type":"item","numeric-id":4536615,"id":"Q4536615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557806$12FAE01E-0144-4CD6-885F-7663E542039C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2359ea34b4e7685569c1fcc0ec424abb83c93aa","datavalue":{"value":{"entity-type":"item","numeric-id":1853612,"id":"Q1853612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557806$E65671AD-0CAB-4318-810F-E6F1F8154D26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bee6bb786b619710a58813347a90e20854038e5","datavalue":{"value":{"entity-type":"item","numeric-id":4501570,"id":"Q4501570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557806$A611569A-6BC4-4F40-83F5-7D1673798EBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d6f3ddd888aefd98d9d79fb361a71cfdf283d39","datavalue":{"value":{"entity-type":"item","numeric-id":4417856,"id":"Q4417856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557806$74BA2EA3-02E4-4A65-82F9-50B1A6BA4C4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a43ed076b922bab4526d2e55f06121ec4c2de885","datavalue":{"value":{"entity-type":"item","numeric-id":4535055,"id":"Q4535055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557806$01526694-0DE5-47F0-BA87-D8BE1C571980","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12d29e1da3646d3860d1b8a75857de2e3205b477","datavalue":{"value":{"entity-type":"item","numeric-id":4484506,"id":"Q4484506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557806$980DCD99-E877-49A1-8769-B8FABA8FB98A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4928528fce2a350e872c3b2f160a2368e4b5def6","datavalue":{"value":{"entity-type":"item","numeric-id":557799,"id":"Q557799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557806$836F845A-E963-45C4-A836-B30C18EF9640","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8815be8d7d5cd349532a95ef9c4572798782f172","datavalue":{"value":{"entity-type":"item","numeric-id":5191511,"id":"Q5191511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557806$3D1C8461-BCED-469D-908A-8EB731FA0F61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46a36cb944c08f94b6b89ba8b39e20dba78080a3","datavalue":{"value":{"entity-type":"item","numeric-id":4535056,"id":"Q4535056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557806$ACDE7BAF-DE91-442E-A422-7E45EEBBBE95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ff8a97b4b9412cf94d02fb85f3195ed2195f2be","datavalue":{"value":{"entity-type":"item","numeric-id":4447230,"id":"Q4447230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557806$C7E7E9B1-5598-42AC-B0A4-631F5A569B19","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":"Q557806$758ADE98-61E6-419C-96D0-C58B611E2996","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":"Q557806$112C0346-34C6-4D0E-A890-D8C2D96E7938","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c181e52b81a331d1cbe2947ce9e8c9219a094aec","datavalue":{"value":{"entity-type":"item","numeric-id":3661462,"id":"Q3661462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557806$E1F08F26-BA5B-4668-AEA2-E5C6CF30B0B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03dcc815537b517cc71ed958068897d2b199f6d8","datavalue":{"value":{"entity-type":"item","numeric-id":3339245,"id":"Q3339245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557806$CBDDDF16-6713-42EF-B24F-EE98AD3C3C66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c5c1aa602e2ab6867eb09c994970bc604aacfee","datavalue":{"value":{"entity-type":"item","numeric-id":4718481,"id":"Q4718481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557806$B0B14695-FABE-4E7F-9238-FBFBDFE777DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47b673bbc3f5418c0aa993600aa0db97882717ad","datavalue":{"value":{"entity-type":"item","numeric-id":5191532,"id":"Q5191532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557806$9C401282-7516-45CF-AF0C-20C0099D863D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"591229408621e53594cd847fa9c5d8818bed4c90","datavalue":{"value":{"entity-type":"item","numeric-id":2841219,"id":"Q2841219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557806$947097A7-67BD-494F-9C54-EC69EB195421","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ef42fa29a74ca1e9ac59637a0c9ae6ae708d848","datavalue":{"value":{"entity-type":"item","numeric-id":4942029,"id":"Q4942029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557806$291705FE-A19F-48EA-A545-4401A49661DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"626d7a62e073def6cda0e756433e91c381c28af8","datavalue":{"value":{"entity-type":"item","numeric-id":1874404,"id":"Q1874404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557806$31AD2F97-3851-46CF-BC9B-83D4F2244E0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0b9e8fec29b4866af88e22e240c709faf2edb39","datavalue":{"value":{"entity-type":"item","numeric-id":5308709,"id":"Q5308709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557806$EFD7E30A-00A8-4128-82D7-23BD82055D01","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"269ccdf49d590d5f53d969c9ea8db57bef0cbe7f","datavalue":{"value":"10.1016/J.TCS.2005.03.044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q557806$ECA6D634-1D91-4670-ABF2-51F759B1FF07","rank":"normal"}],"P1643":[{"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":"1ddbecaab75c6ea06d58b31714679e898cc43dff","datavalue":{"value":{"amount":"+0.9269742965698242","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":"Q557806$BDB76AC3-73D1-4A26-A5D2-D5F8953D413F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3d740974bda05bd0358f728f2078d1c2def921e","datavalue":{"value":{"entity-type":"item","numeric-id":4535055,"id":"Q4535055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc6b8fcbf5904b0ade09a3252f479f08b87201f1","datavalue":{"value":{"amount":"+0.8518983721733093","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":"Q557806$6E4D93BC-DF61-4D8B-A864-81C0B8C725DF","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":"1471dc06aedbdc2856099647c0014a8e0207e6af","datavalue":{"value":{"amount":"+0.8247194290161133","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":"Q557806$ADF51879-6DE7-42DD-B5A6-D4BF5D426174","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":"10034084fbeff5ea9c187278b3a8807ad3162ad2","datavalue":{"value":{"amount":"+0.8212789297103882","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":"Q557806$927F083B-FF52-4679-8745-48C193FCC482","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"224cb5592d1287a483b47592b8fc5a2ef8a33fcc","datavalue":{"value":{"entity-type":"item","numeric-id":2429708,"id":"Q2429708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d32fcf8438ee5d84fb7c1b83ba48bbc8e5516fd","datavalue":{"value":{"amount":"+0.8074067234992981","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":"Q557806$18828580-B211-4D93-809D-4F5A76CA7FE0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A method for symbolic analysis of security protocols","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_method_for_symbolic_analysis_of_security_protocols"}}}}}