{"entities":{"Q3546279":{"pageid":5576183,"ns":120,"title":"Item:Q3546279","lastrevid":50526086,"modified":"2026-01-14T07:20:12Z","type":"item","id":"Q3546279","labels":{"en":{"language":"en","value":"Analyzing security protocols with secrecy types and logic programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5426526"}},"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":"Q3546279$917B3DCE-DA3A-415F-8F36-B28C5D521DAD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cdbd0aba5c5ef13b60a1a049e80f2604e8731847","datavalue":{"value":{"text":"Analyzing security protocols with secrecy types and logic programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3546279$3874AB56-8B90-4428-BE95-1567AAD58CD8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"28db2935a122832e2527357fb5bdceca08b2c71c","datavalue":{"value":"1204.68030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3546279$202A8A7C-48AD-4A64-AE19-1ED3066C2536","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"216522e875e3777d7d63c45031995359885f98b8","datavalue":{"value":"10.1145/1044731.1044735","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3546279$C085B883-5854-44C5-BD15-C6E0D536A62A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f7720f013cde2512621480147576e51273a4c701","datavalue":{"value":{"entity-type":"item","numeric-id":265786,"id":"Q265786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3546279$8D5B03AC-DA3D-47C6-9242-F2B6132B81BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1a5fa1ce06089524f81c4bc61a5f677242e6f668","datavalue":{"value":{"entity-type":"item","numeric-id":1041814,"id":"Q1041814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3546279$406F0DC8-B593-45D0-8140-4773BD8C1787","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f12bfc80fe4a431c556e028f5134a217234a7cc4","datavalue":{"value":{"entity-type":"item","numeric-id":63915,"id":"Q63915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3546279$5F36C1E9-5713-4DB7-9952-84EAA55F1EDA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5e585f09c3e724b05f201668ef36e38cb4b3cf3a","datavalue":{"value":{"time":"+2008-12-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3546279$D34C0E26-8A9F-474F-8CAD-5CB23DC8D1C0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f100e7e9b912dd320a0f918ece3ef4edbbe567fd","datavalue":{"value":"68M12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3546279$77EADF83-BDFE-4C9E-9456-26E9F56607AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3546279$9197240B-106C-4F4D-84A3-EBEC44A9F7D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3546279$1F651B94-BD11-47E3-A471-9947F7DFB334","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3546279$5689EA37-D2DF-46AF-A597-1CC60513CF5C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c64a1f9a7fe58c01e9b02392fa54c4cd92d274be","datavalue":{"value":"5426526","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3546279$F1075DFF-3D26-4867-A21E-B844AFB2BE0C","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":"Q3546279$853EE6C1-659A-4595-B2DB-9FBF760D9242","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"904a128114d724dbd6098358a424dcc9953027ae","datavalue":{"value":"https://doi.org/10.1145/1044731.1044735","type":"string"},"datatype":"url"},"type":"statement","id":"Q3546279$7D87E25B-1EF2-4430-8651-FC2018A874E0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0483b4626913dfd9d976642e60abbb45e81e8c0c","datavalue":{"value":"W2073385346","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3546279$75496D76-2AA6-499F-A48E-A0666AC1761E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e88e2d03c1c49fe8ad05b688f92ac3bee45eba57","datavalue":{"value":{"entity-type":"item","numeric-id":5178896,"id":"Q5178896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66b19da92838db50df2e93d9a299627fe50270cb","datavalue":{"value":{"amount":"+0.9966991543769836","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":"Q3546279$03FB3864-F022-4A01-8BBC-D39AADD97678","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6ef812d27cab0919a71257bfe1774f3eb5042ae","datavalue":{"value":{"entity-type":"item","numeric-id":3158557,"id":"Q3158557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"faa8fa7f9acbd1eebcdb255f6109187ba9989544","datavalue":{"value":{"amount":"+0.8303646445274353","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":"Q3546279$D2F39F8A-9FEB-4136-9EF6-8EE25F3A39D3","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":"10b0c0cf36675cc77f7999b041acd316c5bef9c6","datavalue":{"value":{"amount":"+0.8147246241569519","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":"Q3546279$946D896E-FB79-413B-B48C-8BEB4426D93C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b97daad70c3e93b2303c7c0b5f9b7473a443eb4a","datavalue":{"value":{"entity-type":"item","numeric-id":4778711,"id":"Q4778711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0efae4e1ee4b9250bb3f18380b0d87c62bbd9ff4","datavalue":{"value":{"amount":"+0.813341498374939","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":"Q3546279$3D2FB55B-7796-4444-8ACF-43ED16BE0E02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13b05a56e7634118043d700c34994d8c4408ef1c","datavalue":{"value":{"entity-type":"item","numeric-id":557806,"id":"Q557806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0efae4e1ee4b9250bb3f18380b0d87c62bbd9ff4","datavalue":{"value":{"amount":"+0.813341498374939","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":"Q3546279$C99BCBD5-D36B-47D1-9930-1B079683A862","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3546279","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3546279"}}}}}