{"entities":{"Q2841215":{"pageid":2851935,"ns":120,"title":"Item:Q2841215","lastrevid":83480780,"modified":"2026-05-07T08:13:34Z","type":"item","id":"Q2841215","labels":{"en":{"language":"en","value":"Towards an awareness-based semantics for security protocol analysis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6190907"}},"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":"Q2841215$8A3DD755-0670-4A04-866F-DEA73666325B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fd1b9adbb55ddee4b50f5cede1b699d019d22710","datavalue":{"value":"1268.94022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2841215$04F23AFF-895E-4D98-8BBD-A1F5DDF98817","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4fe737448dffdbae6df5dcf17cd48da9f18f65b9","datavalue":{"value":"10.1016/S1571-0661(04)00242-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2841215$8391B7E8-D781-4760-911A-0253A4128E05","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6e9d13e95fa38426042bdea71d9799ca862558a6","datavalue":{"value":{"entity-type":"item","numeric-id":2841214,"id":"Q2841214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841215$EA30DCEE-65D5-4217-B5FE-5176B6A9BBC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"70b45d72ed2ba2486377818ff4f18636ea6d5a4a","datavalue":{"value":{"entity-type":"item","numeric-id":549723,"id":"Q549723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841215$85591F60-C4AA-4172-8BAA-1C4D0509460B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"69ad79c07c2956f1777e7c914202daf6884a50fe","datavalue":{"value":{"entity-type":"item","numeric-id":1332774,"id":"Q1332774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841215$669A2AC3-3FA5-4AA1-A4C4-2731B1F9071C","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":"Q2841215$4F0736D4-1DC6-4406-AF07-2E867CBE6A7D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9fd0691c7173b432a2a4c9fb2775e82f2b46520a","datavalue":{"value":{"time":"+2013-07-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2841215$4F566524-F181-4C55-9C86-F17598ECDF03","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2841215$6EC8994B-295B-427B-B3E2-D30560C112D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2841215$C691290F-4984-4247-8309-7B777289F4E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2841215$245D16EB-A6CC-4278-A958-62E0445E13BB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d95b6194f46fd4642f40a868b723b22e0f8ba0b2","datavalue":{"value":"6190907","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2841215$55B6AEC5-102D-4FF1-965D-3DB7CFCA1411","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"c75df63e5ff117b07586178161a56b70fe71a5fe","datavalue":{"value":"Q115012797","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2841215$EB9A9CEF-99D9-4194-8ED9-0B9588B56778","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841215$48492805-B620-4A24-96C4-FF1EE24010D0","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":"Q2841215$BE519F3F-4ED7-449D-9E58-D2C5B86641D8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"33142aff432f46099a4c312e6f6950d01903fba9","datavalue":{"value":{"entity-type":"item","numeric-id":5255820,"id":"Q5255820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841215$8A5A785B-B555-4D0B-A5C5-F365E1A06BC4","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":"Q2841215$3A34CFF9-98D9-4F19-B89C-D09556D44D09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4d2a1acabc8d0c27a05aa69968baa678ad24687","datavalue":{"value":{"entity-type":"item","numeric-id":1096610,"id":"Q1096610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841215$E89D9909-2C2C-4D11-875C-DA2AEE5B5AAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2990e15db3ec1299bacd39e760b2d345098c103a","datavalue":{"value":{"entity-type":"item","numeric-id":4845472,"id":"Q4845472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841215$88076AFC-AFAC-496A-84B3-351F04AFAD45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a10bbeb6c6903ace983b2dbf286a2ef4e5b248ab","datavalue":{"value":{"entity-type":"item","numeric-id":1331625,"id":"Q1331625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841215$C5379CE2-7297-4798-9BB3-A4E36884551C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da1ab491d425c2ae11f30c0465b7ccdac5b9987f","datavalue":{"value":{"entity-type":"item","numeric-id":4493895,"id":"Q4493895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841215$0F4B5702-7B06-47A4-AAE1-C6B7799F73CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81fcc21f475e4cefd7deb8788c91767f5d25ca37","datavalue":{"value":{"entity-type":"item","numeric-id":4833778,"id":"Q4833778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841215$22113101-3CFE-40FB-A5FA-E74F6A87708C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2839978f69cd698d40ade95807df1f2e832d79c9","datavalue":{"value":"https://doi.org/10.1016/s1571-0661(04)00242-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q2841215$2D512440-FCD5-4D00-90C3-626FC7029161","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ec95cdbbef13cbe0c4d7c2ad9bed256c4fdb53e1","datavalue":{"value":"W2046551143","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2841215$7009F8AE-882D-4216-ACAB-C7C950845B59","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2d591ffb501aa45c8b326742724cb12d684dbb2f","datavalue":{"value":{"text":"Towards an awareness-based semantics for security protocol analysis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2841215$EAA74FD4-6665-4082-B4B5-F0399CB88C16","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9bad7543ebc63057620f3a521041a5cb76902da3","datavalue":{"value":{"entity-type":"item","numeric-id":2848069,"id":"Q2848069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2660f4e991918ed7fa26ef622587ca0b275b1b07","datavalue":{"value":{"amount":"+0.7792943716049194","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":"Q2841215$DBFA2AD7-1563-45EF-8EE1-2838E1284E9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e732a40c53536162117d0d3d0e2e1cedf78fd94e","datavalue":{"value":{"entity-type":"item","numeric-id":2841219,"id":"Q2841219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a478737481aaf33b559c3613a37fe8b0f2b46f1f","datavalue":{"value":{"amount":"+0.7533435225486755","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":"Q2841215$654D7EAB-5DA4-4906-9744-0995F9915A69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6cb663df5e0b9ed916f4d6b419bc2c1ee676c01f","datavalue":{"value":{"entity-type":"item","numeric-id":2386105,"id":"Q2386105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4c73de51b7e6ea8fdb92bff4e09be33c78ca9c8","datavalue":{"value":{"amount":"+0.7512370347976685","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":"Q2841215$A321251C-933F-4C90-9082-ABCDCCC7D429","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":"5c38f3e076197a83558eed6bc042aed03e7174ba","datavalue":{"value":{"amount":"+0.7442278265953064","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":"Q2841215$CA004AE0-E67D-4F94-9726-A7EFE0731443","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3622f32b04cbb8feb46ca3a97b5b0b7547ea01b","datavalue":{"value":{"entity-type":"item","numeric-id":625717,"id":"Q625717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"986f96c30c5c235c1620246e4d8a6d0594657088","datavalue":{"value":{"amount":"+0.7387035489082336","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":"Q2841215$538DB011-70C0-4B24-A0F5-0A6218E4628E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Towards an awareness-based semantics for security protocol analysis","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Towards_an_awareness-based_semantics_for_security_protocol_analysis"}}}}}