{"entities":{"Q2841216":{"pageid":2851936,"ns":120,"title":"Item:Q2841216","lastrevid":83818952,"modified":"2026-05-07T12:04:05Z","type":"item","id":"Q2841216","labels":{"en":{"language":"en","value":"Abstract interpretation for proving secrecy properties in security protocols"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6190908"}},"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":"Q2841216$55D8F82F-B4C0-4703-9B4E-DD81F4C30DA3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7f3e2d6561ba44de2274cbf2e056cc888698bf34","datavalue":{"value":"1268.94023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2841216$A457AF4C-2A19-4041-9DA4-BEA6D004B8B7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6182a7893758e16b6479229888f1ab577da39430","datavalue":{"value":"10.1016/S1571-0661(04)00243-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2841216$EE82D979-F5BB-4C1C-8341-A451A9E053F1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bd52e408a5c5df68bc04deb55493800059500ee6","datavalue":{"value":{"entity-type":"item","numeric-id":456721,"id":"Q456721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841216$8CD5C30C-4DD3-4E39-9169-9201561D98E0","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":"Q2841216$1E6EEC83-DACF-4ADC-B60F-DE30752B9C36","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":"Q2841216$888CB15E-89B0-4EE7-B1F8-20107EB97E86","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":"Q2841216$C5801006-E88F-4079-8F3D-506FC0C0A743","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2841216$612B16D7-A899-4ADF-AB93-18FCEFD16470","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6d37a0729bc0439b9e3577a8eca61597346fb78c","datavalue":{"value":"6190908","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2841216$5C75C5A8-5153-4FFD-B70B-2CE01F9366FC","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"831c153dd3afb3cd7c0401991c808bc04886b35a","datavalue":{"value":"Q115012793","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2841216$304BDACA-CAEE-4D24-B96D-EABA71F65898","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":"Q2841216$CD5876D7-020E-4DCB-BE4F-22F025B57637","rank":"normal"}],"P223":[{"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":"Q2841216$F0128A21-BA80-4BAE-AEC2-D1BF92A4D432","rank":"normal"},{"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":"Q2841216$D308B0AD-2E7D-4BC5-B75B-8226A71C74D7","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":"Q2841216$BBB1C80A-6020-45BD-94AE-77DA3B7A20FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"792a4e15b394ad006ef0256c9d3f0297c7281d10","datavalue":{"value":{"entity-type":"item","numeric-id":2767198,"id":"Q2767198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841216$C4AB4A19-6C60-4F8A-A784-DA70B2603C83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e99208fb273eadc90d795317ef51bf74fca2f36","datavalue":{"value":{"entity-type":"item","numeric-id":826057,"id":"Q826057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841216$A9534E43-E088-43E3-964F-6868AD28A518","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":"Q2841216$E5A3B41C-E690-442B-B87A-D9506A4D476F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18af5437d88e1978ed5399f6222364093cf9786e","datavalue":{"value":{"entity-type":"item","numeric-id":3361872,"id":"Q3361872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841216$E613D4E0-5F19-4054-B451-100942800E46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa0ed170009f6b2087f21ed0ca1fb5868141ac12","datavalue":{"value":{"entity-type":"item","numeric-id":802867,"id":"Q802867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841216$45F0A9C2-C2C5-46F7-A242-385BFC4CB173","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b0f593aaa3110f1e8f538d98538d65a9ad442a","datavalue":{"value":{"entity-type":"item","numeric-id":3777424,"id":"Q3777424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841216$44A20724-9304-421D-884A-014ADA15D893","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"606fd070630bb1cb73b0655837c2616dd769a509","datavalue":{"value":{"entity-type":"item","numeric-id":672251,"id":"Q672251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841216$FAC96E2C-F42A-4894-A4F8-8782EC5EF875","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a75734f1eb76fa3951a16a34a4963235e3f72784","datavalue":{"value":{"entity-type":"item","numeric-id":1198549,"id":"Q1198549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841216$1B3CFB66-9325-4FDA-A73D-62C371EB0329","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5a69fc3d4eb05faa1730f85f985990695ee45798","datavalue":{"value":"https://doi.org/10.1016/s1571-0661(04)00243-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q2841216$D6984D89-6C17-47E1-8968-B9EBE8C22F01","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b4ce0ff275639bd3a73dfbe7c082305ea8b46d14","datavalue":{"value":"W2067797538","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2841216$F587E06C-CA7E-4672-B89B-4A3F4398DE7F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b2d1ee42ce64373e501dffe9424b69dce6bc50a5","datavalue":{"value":{"text":"Abstract interpretation for proving secrecy properties in security protocols","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2841216$D7E9F178-5322-41F0-B1D5-AFA31A5A7AD0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3001dbefa0131bf3994e5f32497248a60838ca5","datavalue":{"value":{"entity-type":"item","numeric-id":1398674,"id":"Q1398674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"985cb8be9db224f4b7de2c3fc5272767fccfdf51","datavalue":{"value":{"amount":"+0.8293392062187195","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":"Q2841216$D45D66BC-571D-44F6-8F4C-ACBC0B3375BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd8f63f231bba53497c99559216819e911a7a235","datavalue":{"value":{"entity-type":"item","numeric-id":4417934,"id":"Q4417934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9fead80f3c9b24853c294365c627ed84d73c016","datavalue":{"value":{"amount":"+0.8279677629470825","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":"Q2841216$B8C71706-D80A-40B3-9D00-518CD2F6C7A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2bdc6d5f13c29d3c71aeb751041f3077f0860db8","datavalue":{"value":{"entity-type":"item","numeric-id":4494379,"id":"Q4494379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb8c1e5b6b9d0486c833a65a9779816657512e2c","datavalue":{"value":{"amount":"+0.8237295746803284","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":"Q2841216$4607771B-3781-463E-9D7F-31110CD45298","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51487599b056a2af3ee26f562ba7e456f237df2e","datavalue":{"value":{"entity-type":"item","numeric-id":4261076,"id":"Q4261076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"810b9387ad39349081ce6c88dd7748eafa30b7d4","datavalue":{"value":{"amount":"+0.7975385189056396","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":"Q2841216$D6B7089D-DCF5-4158-BD9B-9CE8CC31C146","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"126daadec64057aa06d01ebdfd4fbdc215d83e37","datavalue":{"value":{"entity-type":"item","numeric-id":4778712,"id":"Q4778712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c90bfb9a8ee93e2ef73cc991ed348cd1f3faa55a","datavalue":{"value":{"amount":"+0.7660645246505737","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":"Q2841216$A2717BF1-70C8-4C07-B9DF-F63DD6066223","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Abstract interpretation for proving secrecy properties in security protocols","badges":[]}}}}}