{"entities":{"Q2018750":{"pageid":2029492,"ns":120,"title":"Item:Q2018750","lastrevid":52233182,"modified":"2026-01-21T05:24:15Z","type":"item","id":"Q2018750","labels":{"en":{"language":"en","value":"Safe abstractions of data encodings in formal security protocol models"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6419441"}},"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":"Q2018750$664A1205-0F99-4558-AB23-10A0C47586F3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"88bac834432ebe5a13787e520037d2554a55ec1f","datavalue":{"value":{"text":"Safe abstractions of data encodings in formal security protocol models","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2018750$583164DC-18F0-497D-84D1-6DFB638C93DC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6a83c4fd4f7b7426d7cf67d8671cb03020de0f31","datavalue":{"value":"1322.68070","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2018750$367E5246-86E1-4FE5-91F7-F62768F6E771","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"efbffc0f1126c0188823dcc61ef6f5e383fe567b","datavalue":{"value":{"entity-type":"item","numeric-id":540180,"id":"Q540180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018750$F027F9C8-72FE-4964-A80D-0818E45C4A70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e83c8694ba1f707ddd070fb09ddacf727238e1bc","datavalue":{"value":{"entity-type":"item","numeric-id":931440,"id":"Q931440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018750$FB0964E4-CEAD-41A7-BEA8-3201A77DB0BC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018750$E8522100-D25C-44CB-8DFF-C67A81C7B246","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b77c42bc66f346d9aff545852c0924441ebde207","datavalue":{"value":{"time":"+2015-03-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":"Q2018750$F9AC9799-3570-4923-B17E-58219E78475C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fc20fa1881bf17386d26f2da94b615957d309788","datavalue":{"value":"http://porto.polito.it/2504212/1/article.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2018750$BC1E1A3D-A94A-4586-9339-2AA2F25AE440","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"58bd804a9b32ab16fea71636cf187b83a20de8f7","datavalue":{"value":"68P25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2018750$F09317E5-B13C-4F29-8969-832019FE1F36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f100e7e9b912dd320a0f918ece3ef4edbbe567fd","datavalue":{"value":"68M12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2018750$50F0F61A-0D82-4827-A40C-453A2D5D3AB0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d5db971ec25e8e93b2b72472ce41c142768a3432","datavalue":{"value":"6419441","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2018750$00CBAC95-FF8D-4489-BC0D-A40C9E29BD84","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e7a63c1880fb0d8a4b1610a10b5ec0d1423b488","datavalue":{"value":"model abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2018750$7AAC3F97-8595-4103-9586-D00DFD30BA7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab20a0363e682206851b94b3be1e96bb56399f58","datavalue":{"value":"refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q2018750$5D0F64CC-C1B1-4AD3-B6CF-2EB2B79F25B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7156857ffe92ce842aee3549f498ec9de33be1f7","datavalue":{"value":"security protocols","type":"string"},"datatype":"string"},"type":"statement","id":"Q2018750$4DA0CCC2-4F21-4B6A-B734-BC4661ECD9DF","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"53c121bec00d67bd55879e6d23361961d0d4e8ba","datavalue":{"value":"Q115149187","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2018750$43B2C326-4A9B-44AF-A919-4880BA307E86","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0af3cade77db29d522255ba64eb3ed6d2efbcde1","datavalue":{"value":{"entity-type":"item","numeric-id":21914,"id":"Q21914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018750$0B6F9ED3-FAEC-4347-9AE6-6608592AAC97","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":"Q2018750$D610F1F5-4359-4677-A6ED-EC629D46B9F8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"44adebf6d77ecf47662882d1866d203d1faa3e2a","datavalue":{"value":"W2054016975","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2018750$FE426F0A-7AA2-4547-A0BB-F29C325AC8D0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"31f86ea6a15d8521d94f8a5308b21778b73dee6c","datavalue":{"value":{"entity-type":"item","numeric-id":3546279,"id":"Q3546279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018750$F6D0A933-49F1-478A-9589-CA3B7762BAF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4659e4b65a5166be2e30470c613179619fe95b23","datavalue":{"value":{"entity-type":"item","numeric-id":5178877,"id":"Q5178877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018750$65000DAE-3811-426E-A08B-6EDDDB6EADD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"934bd079085c5b6722b947f7b5fd69890ffb51a0","datavalue":{"value":{"entity-type":"item","numeric-id":555790,"id":"Q555790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018750$E8D63DD6-4525-4A15-A527-D614E9242A58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a6027468ee6b0aca44d81edc7a0ca83c91789f5","datavalue":{"value":{"entity-type":"item","numeric-id":5447364,"id":"Q5447364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018750$0AD175BF-0E1F-4B53-84C6-EFCCB770CE68","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":"Q2018750$64054B20-ABD7-4719-BE68-8C49B90C48F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0584045d36bcb0b717d88f7c9c9afd4e3a2876de","datavalue":{"value":{"entity-type":"item","numeric-id":5394799,"id":"Q5394799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018750$C0A9324C-FF24-4781-B380-2ED7DF99A128","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2dfb5c754db591116427ff83cbebc66eebe22e73","datavalue":{"value":{"entity-type":"item","numeric-id":5711502,"id":"Q5711502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018750$1092AA9A-529F-486E-990D-2E840C032BF6","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":"Q2018750$1AD1822C-9FF7-4325-8430-CF884AD65209","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d374ee62130191cd9cba61d826c49f1ee6ee4107","datavalue":{"value":{"entity-type":"item","numeric-id":2852371,"id":"Q2852371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018750$7D09D042-AF0F-418E-97A6-1E19324D256C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fafb0e0a58c3353a14f65d9b53dc934fe5ec110c","datavalue":{"value":{"entity-type":"item","numeric-id":2269718,"id":"Q2269718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018750$6EDDAB41-94AA-483C-85BD-82096090706B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"216ba8e343ee86d250a87b70e4dc6e6c9342c7ba","datavalue":{"value":"10.1007/S00165-012-0267-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2018750$7DF1BB6E-9938-4557-A388-D4C5F47BF977","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91598625eb577b16c6c5bb5200ab3ee54d6e66a5","datavalue":{"value":{"entity-type":"item","numeric-id":5326755,"id":"Q5326755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f25a305878236400941a7f30ccd33a57aba44fa","datavalue":{"value":{"amount":"+0.724997341632843","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":"Q2018750$7C977399-0B2A-4F44-A742-1FAA16146055","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a97c6a884f0372e80a52bdf53c1f8ab918e7962","datavalue":{"value":{"entity-type":"item","numeric-id":4924525,"id":"Q4924525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4088d567cf13ec8eb873c805c7a3b2795c161bc0","datavalue":{"value":{"amount":"+0.7156149744987488","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":"Q2018750$996D684F-536C-4AD2-907D-C7DBBC6BF46A","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":"5ea2d2691efc46e530aa45905e9ac877a6b86c54","datavalue":{"value":{"amount":"+0.7141342759132385","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":"Q2018750$7D63378B-DB1B-438A-921C-06291478F222","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e855425914fb699e7b428e733bf71c362e3115e","datavalue":{"value":{"entity-type":"item","numeric-id":1707348,"id":"Q1707348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a68c5b73ebc6b7d18b71c40f3629087b267d4310","datavalue":{"value":{"amount":"+0.7122683525085449","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":"Q2018750$AAC77125-80F5-4179-B736-5419881B5082","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da2446463377b2281655c26d09793e95b7e9382d","datavalue":{"value":{"entity-type":"item","numeric-id":5325866,"id":"Q5325866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"746f4fa987c74856027189913780d1c387832b02","datavalue":{"value":{"amount":"+0.7086301445960999","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":"Q2018750$D1ACA758-319F-4D8F-A692-A8EC5EE0D05C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2018750","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2018750"}}}}}