{"entities":{"Q2849549":{"pageid":2860269,"ns":120,"title":"Item:Q2849549","lastrevid":51829082,"modified":"2026-01-20T06:13:10Z","type":"item","id":"Q2849549","labels":{"en":{"language":"en","value":"A denotational approach to the static analysis of cryptographic processes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6210203"}},"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":"Q2849549$590F50C6-D323-4F69-B16A-645CBB120968","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"96c94af38a41f81bfdf14818c30e59ea64c78b2c","datavalue":{"value":"1272.94013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849549$04BA6217-D622-4E87-A96A-373F14D1BAF4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b3dcb12e53a075f2a49b79b16a6317b340847e43","datavalue":{"value":{"time":"+2013-09-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2849549$FD2F8FEC-C5E8-4EF7-A442-60FFCD967BED","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"076ad62f5494319cecf91dfdf727b97752dc3615","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S1571066104053228","type":"string"},"datatype":"url"},"type":"statement","id":"Q2849549$2CD7AC8A-2EC8-4845-A35B-A4169CAC8B71","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849549$ABBEAE1C-5CF9-49A4-A6DA-37F5ABEDDD00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849549$052F8B42-E6ED-44AE-9C97-55C5E59AD5DD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b433d0319d17437322451123699da9199f825b6b","datavalue":{"value":"6210203","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849549$D27C71D5-7E36-4C11-8107-966280559B48","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":"Q2849549$84CB9A89-6768-4DCC-AEFA-80ED14FCE7E5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b3b96476e77e05b6af15638a586f3c9907cff7c9","datavalue":{"value":{"entity-type":"item","numeric-id":2852073,"id":"Q2852073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2849549$71F8CD49-1C68-45B9-B066-A9756400C1D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6cea638a098d7a4aaa246f10375f028359cab8d2","datavalue":{"value":{"entity-type":"item","numeric-id":2289064,"id":"Q2289064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2849549$1CDAC4BE-94E0-435D-B064-B04A6C9DE68D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"337a1b4ac13e734a6ea79fdb9648a40a3c06adcf","datavalue":{"value":{"entity-type":"item","numeric-id":1893766,"id":"Q1893766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2849549$FABD396D-E8D2-43AE-B444-86CDC8C4F0D0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d1af45a37548f6ca556a89325e3d822190d8e14d","datavalue":{"value":{"text":"A denotational approach to the static analysis of cryptographic processes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2849549$70BB93AF-E1A7-4E38-9E5E-5D3513709178","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5da790d8ab2f4933a1d8bb9296f88c1cd327ea8b","datavalue":{"value":{"entity-type":"item","numeric-id":2484412,"id":"Q2484412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54304ad2a155873afa71190e7cf243d08820da39","datavalue":{"value":{"amount":"+0.9494067430496216","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":"Q2849549$42E6D626-FF6B-418F-81CB-56845521067E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa9ea2e410d0e2f5389506fac347ce2b81c5398f","datavalue":{"value":{"entity-type":"item","numeric-id":6044108,"id":"Q6044108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"503ae0e753de0a2d36941c649c6979c55cbb82ec","datavalue":{"value":{"amount":"+0.8180410861968994","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":"Q2849549$CED97E18-31F2-447D-97BC-ADEA284398BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d15a71dbf6a694be380b6f7859e3bc8291e199e","datavalue":{"value":{"entity-type":"item","numeric-id":1283776,"id":"Q1283776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"015aba1eafef092602f438e4cc1f78d051c8b83a","datavalue":{"value":{"amount":"+0.7966747879981995","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":"Q2849549$60DACE36-0B34-4292-9D88-F2A372CB50D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea490c6a24cd4f839c0807e96d186ff39beaa074","datavalue":{"value":{"entity-type":"item","numeric-id":5395062,"id":"Q5395062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3446542bd0a20d5b9a48dcb6da98d5dd3f1c8aca","datavalue":{"value":{"amount":"+0.7902538776397705","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":"Q2849549$5C98ADCC-ABCA-4F6D-8194-97F18246DA9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69afaaab5936b0c22ce0aaeba51095f5984ad918","datavalue":{"value":{"entity-type":"item","numeric-id":4917062,"id":"Q4917062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"872e03881099846e40aaa75a31c05be6ad570abd","datavalue":{"value":{"amount":"+0.7886113524436951","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":"Q2849549$CB56AAFE-4FF1-43AD-9EA4-50810C45652B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2849549","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2849549"}}}}}