{"entities":{"Q1874404":{"pageid":1885146,"ns":120,"title":"Item:Q1874404","lastrevid":73050093,"modified":"2026-04-14T09:53:25Z","type":"item","id":"Q1874404","labels":{"en":{"language":"en","value":"Protocol insecurity with a finite number of sessions and composed keys is NP-complete."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1915580"}},"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":"Q1874404$DE1B8683-AD45-4983-AA2C-95DF0601C6DE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"da0a87505ef8962debb29fc3d0a5d7e1965288fc","datavalue":{"value":{"text":"Protocol insecurity with a finite number of sessions and composed keys is NP-complete.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1874404$3A89B3C9-1057-410B-8605-3F68EC17C634","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2341835f6cd75ed7872ba8a2b4966e1025806cfd","datavalue":{"value":"1042.68009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1874404$1AD00E36-4AF0-4BC9-BDCB-C1EF60B874DD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b65851a51dd64469b12b1b43337f5a38bb58872e","datavalue":{"value":"10.1016/S0304-3975(02)00490-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1874404$E4D86427-DB4C-4E38-9794-4D7F07F4C5CB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d5450522126073beebe5b41bdc84b794c874c239","datavalue":{"value":{"entity-type":"item","numeric-id":437030,"id":"Q437030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1874404$75827089-AD65-4F3F-A03B-62D6B797CB00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"16ef045480748e3614e1b5878bf1fcba81019b64","datavalue":{"value":{"entity-type":"item","numeric-id":507347,"id":"Q507347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1874404$BF2CB736-7C06-4795-A531-1B4EDCF8EF9B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1874404$4244EB55-E835-4030-8F1A-ABB7E7C45BE2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"68a6a59edb1a41421171fc7a476d9d545e0612d5","datavalue":{"value":{"time":"+2003-05-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":"Q1874404$F39B7228-FE99-4488-B235-F6B617A70FCD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f100e7e9b912dd320a0f918ece3ef4edbbe567fd","datavalue":{"value":"68M12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1874404$C1A8CB81-5D07-44BC-B08D-663502F56591","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4215a0ba2e99e9606ff06355e59c864f310b48fe","datavalue":{"value":"1915580","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1874404$16719D46-F450-4EA7-88E9-B312040645AF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68be6715570c298de2f7dfb5b1baeb889a9c5942","datavalue":{"value":"Verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1874404$D594211D-8F69-4715-8CD8-2C2470690830","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfa1f6f843ba14417e1abcbc99a189d59339bdba","datavalue":{"value":"Security","type":"string"},"datatype":"string"},"type":"statement","id":"Q1874404$9791AEEF-21F0-446B-BE39-FEF5F43FB220","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"172427e9a9b9c14d4ac732ea4690e520a05b9ab8","datavalue":{"value":"Protocols","type":"string"},"datatype":"string"},"type":"statement","id":"Q1874404$4FA2B15E-6AC6-441D-8057-AD239187F7A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"856cbb3a1dd9e116f4ff19f1aee6ebcdf5acff8f","datavalue":{"value":"Rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q1874404$EE6B8523-2E18-494C-B847-D3FF97FECD86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5206d4dce6a163eafa029a63a1fb2a44925dc13","datavalue":{"value":"Complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1874404$E02316E9-AE4A-4D38-A158-A3D3517C7D95","rank":"normal"}],"P1463":[{"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":"Q1874404$79CBF1D0-DE43-4A46-ACEA-5BFB3AB5D46A","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":"Q1874404$55F0E887-A7FA-4AEA-9C28-1D79490B76ED","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e489f60b50ffbcb76ff4a8ca52e7c0625bf4ef0","datavalue":{"value":{"entity-type":"item","numeric-id":4536615,"id":"Q4536615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1874404$B68B277C-7517-4BC9-A57B-41F049325E90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61391d3fa4ecb6b008ed330bcfd237fa70eaa733","datavalue":{"value":{"entity-type":"item","numeric-id":1965368,"id":"Q1965368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1874404$52CF2E03-71D9-47BA-84A2-1CD90AEF305A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9afd4fa313d72573c9bd3f393fea2eaa1326a6b","datavalue":{"value":{"entity-type":"item","numeric-id":4418589,"id":"Q4418589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1874404$AD1FAD4E-C540-4ECB-8A78-CD2B36CC3051","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46a36cb944c08f94b6b89ba8b39e20dba78080a3","datavalue":{"value":{"entity-type":"item","numeric-id":4535056,"id":"Q4535056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1874404$3B98D25A-19CD-4CDF-BBB6-54C1AED35A15","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":"Q1874404$92459ABD-E29A-415C-B717-B4722816036C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abbc703228a035d147d0db52ae748cbc53607ca0","datavalue":{"value":{"entity-type":"item","numeric-id":2767013,"id":"Q2767013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1874404$AF1CFD6E-E533-4A8D-A464-B4A2739B98A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cc6419f32a05f369ee14fa6f7687547de9a08ab","datavalue":{"value":{"entity-type":"item","numeric-id":3128627,"id":"Q3128627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1874404$5DEC28BC-620E-4717-86F7-A9342446C71A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be8c475c703be7f0d4226c6eceee11edc95e11cf","datavalue":{"value":{"entity-type":"item","numeric-id":2453106,"id":"Q2453106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"106544e55077dfe9083d7897b6e0c3c9af69ac55","datavalue":{"value":{"amount":"+0.8402031064033508","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":"Q1874404$C945C540-A721-44C0-893A-06C645F7A03B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58d98e9887bcfda39e1dd33959bffb09c0b69253","datavalue":{"value":{"entity-type":"item","numeric-id":5277813,"id":"Q5277813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3ac0683c7aae2b312cb6465c3ed777eddd4b11b","datavalue":{"value":{"amount":"+0.8288185000419617","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":"Q1874404$F86004D8-7C97-49DE-AE3E-31A181A20CB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5dce06185251172f96eb9b5715830678d0f3b2da","datavalue":{"value":{"entity-type":"item","numeric-id":5394626,"id":"Q5394626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd4ef1d32927d822a41b8f6ebde1eaf856b726b9","datavalue":{"value":{"amount":"+0.8233009576797485","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":"Q1874404$4C582C53-AAA2-418F-878E-701B88554D1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6d40fbfc7c79288a8a58dff3230ad87bb3e37d6","datavalue":{"value":{"entity-type":"item","numeric-id":557799,"id":"Q557799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ebe846d32b97c93c9310bdfe02c9aa41a0963ffb","datavalue":{"value":{"amount":"+0.8189557790756226","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":"Q1874404$B4A7CE2F-4F2D-45D1-9F1A-5E49CEE255E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f4df83a770e3e91624e4ae2d6d92f0d107a88fc","datavalue":{"value":{"entity-type":"item","numeric-id":2841213,"id":"Q2841213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2da7a87a8cbcdf903a42370fa4f1455207ccf1d1","datavalue":{"value":{"amount":"+0.7943573594093323","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":"Q1874404$4364CE43-AD16-4292-BDD0-C2FC9EE42142","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Protocol insecurity with a finite number of sessions and composed keys is NP-complete.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Protocol_insecurity_with_a_finite_number_of_sessions_and_composed_keys_is_NP-complete."}}}}}