{"entities":{"Q5447364":{"pageid":7476923,"ns":120,"title":"Item:Q5447364","lastrevid":50298380,"modified":"2026-01-13T18:57:30Z","type":"item","id":"Q5447364","labels":{"en":{"language":"en","value":"Verified interoperable implementations of security protocols"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5245255"}},"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":"Q5447364$3101431D-813A-4667-A003-6EA64B621FDB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"85a55dbadc36db4d1d8f33e3de6cb2d9d04231e0","datavalue":{"value":"1137.68323","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5447364$8071CD1C-E57F-46F4-A764-E40486A8C80A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c68535838fd2019c488fecc0f4dd99c350a7f3e8","datavalue":{"value":{"entity-type":"item","numeric-id":557892,"id":"Q557892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5447364$14648B39-36AB-4CD7-805F-B1BA8FE2227C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"43de6eaa827eff817a6e362b2bd7fef7fe7b1e34","datavalue":{"value":{"entity-type":"item","numeric-id":557894,"id":"Q557894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5447364$1E97E39C-F079-4E0C-9B84-BECAD02BBD8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"26db9ecbf794a89a728da7791297209bc4d22f98","datavalue":{"value":{"entity-type":"item","numeric-id":5178028,"id":"Q5178028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5447364$6432729C-59D8-4F9B-A96C-7E0EE04B59A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1cc3bbc8146d8b3b4282d333dce118410bd01d27","datavalue":{"value":{"entity-type":"item","numeric-id":557893,"id":"Q557893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5447364$93705CD6-32BE-4CC8-9877-1BC1C7E08456","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cf82d0ee1f43b6e127707e975562f6a0a8754bd6","datavalue":{"value":{"time":"+2008-03-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5447364$744B5E2B-A1B1-49CD-86F0-FAEFFE038561","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f100e7e9b912dd320a0f918ece3ef4edbbe567fd","datavalue":{"value":"68M12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5447364$52DE8ED1-93BD-4F10-8126-EA1C67644F81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"58bd804a9b32ab16fea71636cf187b83a20de8f7","datavalue":{"value":"68P25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5447364$B7E42C09-311F-4777-8EFE-35DF8A75976F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8f97842674ca4364b583ea2a35d444878b003293","datavalue":{"value":"5245255","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5447364$EDBD6AE5-4E8D-4606-ADB5-2C1970E61767","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"000cae892649b86c08dfd4faa170d21befcdc840","datavalue":{"value":"process calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q5447364$1172A22C-E8DB-4F03-9420-1244E2F60259","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"def8060b1efc433bd5ce539e43d7a030d10e8e80","datavalue":{"value":"ProVerif","type":"string"},"datatype":"string"},"type":"statement","id":"Q5447364$2AA1274A-E418-4844-B6C0-C7509D76FF3E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5742e1a3ea467ecfb12290e55658c61e1169fe2f","datavalue":{"value":{"entity-type":"item","numeric-id":14828,"id":"Q14828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5447364$B4CE9A1D-531E-46A4-850B-512961456B21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"973cd15e22c791df17eaceaf230998dc9777a5b0","datavalue":{"value":{"entity-type":"item","numeric-id":18650,"id":"Q18650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5447364$EF90F133-FA19-4B27-ACF1-C015591B1D16","rank":"normal"},{"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":"Q5447364$B2F0266A-986D-4482-ABD2-B4BE60A6771C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e8fb53407b96a81b3fa8b98b393a2f05650897d8","datavalue":{"value":{"entity-type":"item","numeric-id":13730,"id":"Q13730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5447364$0155BEA7-DF33-434F-8E28-9392B310128E","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":"Q5447364$22972B5B-AD58-49D5-9E53-0747ED8309D4","rank":"normal"}],"P1643":[{"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":"12655020d7f636ca30579fa0f9e35a13a0f23bee","datavalue":{"value":{"amount":"+0.7829760313034058","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":"Q5447364$1AD3E68E-D436-4632-914C-B76DD93DE09E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b1c7540b0cf7961f8f078b1e9c2d46ad11c1471","datavalue":{"value":{"entity-type":"item","numeric-id":5326754,"id":"Q5326754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3dfcf05649abac25b988bbb9a04bd1b27fd0c374","datavalue":{"value":{"amount":"+0.7685368657112122","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":"Q5447364$1E39B18C-14B7-427F-A423-4C021A8A8B3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0b320f1d0dcd37ae92699af40b05f060e16a9d7","datavalue":{"value":{"entity-type":"item","numeric-id":3092172,"id":"Q3092172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2c228f7417f337eb78e4bcdfa7159456e7b7e1d","datavalue":{"value":{"amount":"+0.7681843638420105","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":"Q5447364$D610DBB4-4393-43EF-BB9B-C1D70F82A95F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02e67e2f7d4667eb157d292d0d84c8d97059c639","datavalue":{"value":{"entity-type":"item","numeric-id":5255101,"id":"Q5255101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16bef7b83ea14cd4c272e56330a20214b0469adb","datavalue":{"value":{"amount":"+0.766585111618042","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":"Q5447364$5571FDB0-AE22-42C7-9C52-7C54B5D75A07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af10c3f3d620ad1acb5fcfefe12321c50d8ffb4f","datavalue":{"value":{"entity-type":"item","numeric-id":5253587,"id":"Q5253587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae02812927e1c152be22c5b168f573eceaa1637d","datavalue":{"value":{"amount":"+0.7604044675827026","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":"Q5447364$D22AB2D9-6400-4AD5-BCC4-576C0A7ED48B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5447364","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5447364"}}}}}