{"entities":{"Q2848069":{"pageid":2858789,"ns":120,"title":"Item:Q2848069","lastrevid":51832682,"modified":"2026-01-20T06:37:17Z","type":"item","id":"Q2848069","labels":{"en":{"language":"en","value":"Toward reasoning about security protocols: a semantic approach"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6211422"}},"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":"Q2848069$D1D73404-B40F-433C-B855-DD2FBCFEDBC6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2128de2fbb5128878eabec26bbd71b37940f4a07","datavalue":{"value":"1272.68059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848069$875AE9DB-994C-43BC-91CE-9713A4D690AF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a6c00443ae2e153257b991d45a6726ef63a7666d","datavalue":{"value":{"entity-type":"item","numeric-id":896425,"id":"Q896425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2848069$0722C961-629F-40A2-8432-B7F1DA5FE86B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"24a50c23c3978492e58521f1c41f776352eabb0d","datavalue":{"value":{"entity-type":"item","numeric-id":541684,"id":"Q541684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2848069$421B11AC-AF94-45C8-A014-B5C594DAFC5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8c4fe77fff21ad74d81092c085b4a78f8093906b","datavalue":{"value":{"entity-type":"item","numeric-id":375309,"id":"Q375309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2848069$E9964126-38FB-465D-9B25-FD966E9798C5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"68e9606d4f4e53be9a37b58bd23167a8b2b94aea","datavalue":{"value":{"time":"+2013-09-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2848069$9784862D-2EE3-4DA3-83A2-6DD1CCAFB468","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9d40cbdea7a0616d706087c6a1fda3de2ccde8ee","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S1571066105000836","type":"string"},"datatype":"url"},"type":"statement","id":"Q2848069$3CE6E54C-9706-417F-8D0F-D48C66E3FB79","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f100e7e9b912dd320a0f918ece3ef4edbbe567fd","datavalue":{"value":"68M12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848069$F4C805C6-B51E-4D2A-AE59-3801FC354D8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848069$5A0E648F-B467-418C-8B3B-1B76D544BC7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848069$91B47D52-FE10-4109-9898-5E8023DCD6F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"709ed67c42bb169499eabe0b6d04c203d4526e03","datavalue":{"value":"68T42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848069$6A3DEB5C-3675-4A21-B446-FB47B12083DE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9308b8b58da4af86ec2a8a2a9d0176f9fbb75ce1","datavalue":{"value":"6211422","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848069$33635749-74C3-4E5A-B50C-9B7AB8A44A76","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":"Q2848069$814A02BB-AFC8-4C64-84B5-9E3D4232213A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1786b9bd3b12c7ef327117ecd3b1fd0e822d2666","datavalue":{"value":{"text":"Toward reasoning about security protocols: a semantic approach","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2848069$9ADF2BFC-1C4D-409D-863E-FBD6DDDBD2A5","rank":"normal"}],"P1643":[{"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":"cdb37d4259e527a275b24c7656c0fd08ccf1ac2b","datavalue":{"value":{"amount":"+0.9254255890846252","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":"Q2848069$6848C7DC-61A9-44EB-88B3-323C61B8F8D2","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":"1c20035f940433771eb249f8c1bb14c797041d01","datavalue":{"value":{"amount":"+0.7990167140960693","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":"Q2848069$FAF7FCFB-C4E8-4410-8FF9-43BE752F75C9","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":"b55460dfa7c82b056a7d2e059f35d3b8082061c7","datavalue":{"value":{"amount":"+0.7898235321044922","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":"Q2848069$014F27C4-3F10-4EA7-A3FB-8B6134F0D9F2","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":"7947e08a2451000e3507c8a353402d2caafce649","datavalue":{"value":{"amount":"+0.7810521125793457","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":"Q2848069$AFB6C24E-985C-4BA5-B392-F37A01FF83AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb3cfcf91572b513171543acbfe977d403120293","datavalue":{"value":{"entity-type":"item","numeric-id":2841215,"id":"Q2841215"},"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":"Q2848069$536B9176-F56C-46B0-BF37-636327D6F83D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2848069","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2848069"}}}}}