{"entities":{"Q5422283":{"pageid":7451857,"ns":120,"title":"Item:Q5422283","lastrevid":100933886,"modified":"2026-06-05T23:29:07Z","type":"item","id":"Q5422283","labels":{"en":{"language":"en","value":"Modelling and checking timed authentication of security protocols"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5201489"}},"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":"Q5422283$D3524905-6CC4-433F-9CD0-FBB58B5FEF6C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f23f1d5235e5d4975c4cc3313869bd36405c1750","datavalue":{"value":"1157.94369","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5422283$AA6C2F2B-6183-4CB5-930C-7AF2D1716025","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6507766584a7136d6a6102f608d1f90be39ebf82","datavalue":{"value":{"entity-type":"item","numeric-id":3508515,"id":"Q3508515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5422283$D2C1C3EC-5FE6-422C-A896-27388195D8D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"00e4afc18902a1591d00a05876e3070d819defde","datavalue":{"value":{"entity-type":"item","numeric-id":1028968,"id":"Q1028968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5422283$BF39A585-0B4A-471D-AB01-131A7BA25313","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"27c17e683e38eea7f1304bde8245957e05f3c985","datavalue":{"value":{"time":"+2007-10-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5422283$4C66BC3E-8E0D-47C9-8EB9-0235ACD848FE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b71b42e4e887bf125b7436fe1334aef39047fb5c","datavalue":{"value":"94A62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5422283$970FE1A5-AB5E-4F68-BDDB-BF8746A2CA65","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cc13a2b49fce88f5c0aba8f69440d0e75cc8feb5","datavalue":{"value":"5201489","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5422283$CCAB93E2-8687-497D-9D8A-FF79A8E54ED3","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9c5be43f59b23822927adea1d3ffb50f3bc628ec","datavalue":{"value":{"entity-type":"item","numeric-id":14788,"id":"Q14788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5422283$D29322CF-5FBC-4F88-8BD2-EDD1380FBC70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"15db61fa432026488c4ff63cfec65b45cbb00638","datavalue":{"value":{"entity-type":"item","numeric-id":18651,"id":"Q18651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5422283$7C8D97FB-0766-4358-BD76-6C3FB45FAF64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"580cc01f523eb259b29d75d715bd1b2876d59d0d","datavalue":{"value":{"entity-type":"item","numeric-id":15706,"id":"Q15706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5422283$464D7AC5-44AB-4284-82F7-1CF158CD133F","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":"Q5422283$6CF8B102-29E4-46A2-8732-FBE6BA4AD02C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5642cd758972f62bdfecc52283095b9dd61ef10b","datavalue":{"value":{"entity-type":"item","numeric-id":3508516,"id":"Q3508516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5544a0c0f2cb38ac91f3f02b8f8463a52532f448","datavalue":{"value":{"amount":"+0.951846957206726","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":"Q5422283$7F93C634-3FB1-4CAD-B088-0917C09C59B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5549dc8080b9d24517b6c5e99008b305ba2035a","datavalue":{"value":{"entity-type":"item","numeric-id":5192937,"id":"Q5192937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ffc9d714224ad87e9b300fd2b7b6642ee9e95c85","datavalue":{"value":{"amount":"+0.8506687879562378","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":"Q5422283$06996A12-3AD7-47C5-A753-8A5FBB1B4C85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"757d0e8fe8457a7fab7174ef123819d10a7c6f6a","datavalue":{"value":{"entity-type":"item","numeric-id":5308417,"id":"Q5308417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b59460ee424fa897cfe5a77a87c927610ef0440","datavalue":{"value":{"amount":"+0.828584611415863","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":"Q5422283$C60CCC47-3FAF-4DE3-91F1-A9B04C175927","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dfeeb4e6539c27e9dae5d059b6cb33d4f2d33b13","datavalue":{"value":{"entity-type":"item","numeric-id":5418256,"id":"Q5418256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8fbcd1700155b42c56152f8d1eaa5b7bb0b41d5","datavalue":{"value":{"amount":"+0.794108510017395","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":"Q5422283$CAD76DE1-32EB-4658-9720-D0F22B6FC46C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"625b378698298b15de36ff69fdf7fdec2b1b1e47","datavalue":{"value":{"entity-type":"item","numeric-id":5415612,"id":"Q5415612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"780773dea44358033907f6dcfb922fe1c87eeb60","datavalue":{"value":{"amount":"+0.7924231886863708","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":"Q5422283$873D7A39-79CB-4D75-AD00-C40B446C7EB1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Modelling and checking timed authentication of security protocols","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Modelling_and_checking_timed_authentication_of_security_protocols"}}}}}