{"entities":{"Q5458828":{"pageid":7488387,"ns":120,"title":"Item:Q5458828","lastrevid":50342546,"modified":"2026-01-13T20:52:01Z","type":"item","id":"Q5458828","labels":{"en":{"language":"en","value":"Key Substitution in the Symbolic Analysis of Cryptographic Protocols"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5267218"}},"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":"Q5458828$A8FC6BA8-F49D-41EC-A7D4-FDF430E1A958","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4bd686d37f21b856832766a780c9e65f0a077b4a","datavalue":{"value":{"text":"Key Substitution in the Symbolic Analysis of Cryptographic Protocols","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5458828$617E997F-BF69-44E9-A6BE-CB8605E4FE72","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2404e50d25167e9365b4c0809d96986fededb1ca","datavalue":{"value":"1135.94326","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458828$A8BD2E20-85C0-4C9F-8F45-CBB95923C9D9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"506d311e8deb0187cfec9dbd54c516d07455a6b7","datavalue":{"value":"10.1007/978-3-540-77050-3_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458828$9D0AD5A5-45E8-4954-A3FC-D49DD7F3949D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e3be771d01fbe526b5c76e8fa4a0f32fad7031aa","datavalue":{"value":{"entity-type":"item","numeric-id":437029,"id":"Q437029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458828$64611863-BC0C-426E-991C-1821A46063F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"44efa78f0de3a75f74a784a24ca070271f280a6f","datavalue":{"value":{"entity-type":"item","numeric-id":5458827,"id":"Q5458827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458828$05178AF8-AD40-4637-9A44-F6F75A58148A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f400cf98ce4c71458fdc00bd29010c3be676f7b8","datavalue":{"value":{"entity-type":"item","numeric-id":5458819,"id":"Q5458819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458828$AC77D15A-8B25-4ABA-A882-D987B8A3F44A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c1394cf050ec7558b15d2b20d30583ebe6e633ce","datavalue":{"value":{"time":"+2008-04-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5458828$549DF006-6744-49AA-91FB-9894B70067D2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458828$C59A60ED-A3F8-4ED5-B394-949263F115AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b71b42e4e887bf125b7436fe1334aef39047fb5c","datavalue":{"value":"94A62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458828$6969254E-FE5D-427E-8F5F-A4B0ED55DE2C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fd568164dae7d36b54ac831132ea64e455abb693","datavalue":{"value":"5267218","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458828$1DE378E0-05A5-4B95-93AF-46BF397B203E","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":"Q5458828$C1EBE69C-71C6-4BB9-9444-CC6B0737A88F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"34533ba7c4028fc39334d1a74fc09df6973306a0","datavalue":{"value":"https://doi.org/10.1007/978-3-540-77050-3_10","type":"string"},"datatype":"url"},"type":"statement","id":"Q5458828$3245F4AB-942C-4C08-B3B2-9D29BC990CFC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"00a232a68497f29d9cfb1aa5d85b31d6d19d6c42","datavalue":{"value":"W1814386517","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458828$38DFEC71-9CBC-45EA-AB8C-7A1813BD2B3C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2359ea34b4e7685569c1fcc0ec424abb83c93aa","datavalue":{"value":{"entity-type":"item","numeric-id":1853612,"id":"Q1853612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458828$A5587CE7-403D-40C3-809B-72433D0CB0FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"932aba30092f9fb9508892942d04273578315bb4","datavalue":{"value":{"entity-type":"item","numeric-id":5432331,"id":"Q5432331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458828$B13F456C-6D39-419C-A925-180C13D6DE33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84966107fca2169af4dd79fd21e74843926117ec","datavalue":{"value":{"entity-type":"item","numeric-id":4422080,"id":"Q4422080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458828$1076156A-CA96-4BBD-83DC-310BCCC3B194","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55703375516a1d9914306a4201535b94d7cffaa8","datavalue":{"value":{"entity-type":"item","numeric-id":4263430,"id":"Q4263430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458828$7357D820-7D19-4373-BFC8-C77541B522A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9710fedc4d65ee4c931c685725b06e4e61c6a20c","datavalue":{"value":{"entity-type":"item","numeric-id":5458828,"id":"Q5458828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458828$AB9ABC98-16B3-44E3-B8B7-DC9FAFBA82EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43a7c368752e84e1b4eaff8b8f86c7bbd19d5282","datavalue":{"value":{"entity-type":"item","numeric-id":3525006,"id":"Q3525006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458828$F4DE65D1-8AF0-4730-88E8-DC5270FA717D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"878fe154984b011925cae52ab7eecc92a4aefeb4","datavalue":{"value":{"entity-type":"item","numeric-id":5716815,"id":"Q5716815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458828$9BFC28BA-E8F4-4F5A-964B-FA358630B70D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c2fc581f39eb60847efeb423e51f3711c8ca911","datavalue":{"value":{"entity-type":"item","numeric-id":3787914,"id":"Q3787914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458828$9AAC00A9-E0A8-4750-9B6C-2C0BAB250225","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5278bccba9ba9637ad443979b0c9ce2928f0affb","datavalue":{"value":{"entity-type":"item","numeric-id":3840087,"id":"Q3840087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458828$AC136BD3-3FE3-44F1-AFF9-A32D5507EB14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e9acb750b5a1fcf5fe08b591fc6df182dd9e5e0","datavalue":{"value":{"entity-type":"item","numeric-id":3883561,"id":"Q3883561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458828$31F93381-7887-4925-97A7-84AE60A4BE9B","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":"Q5458828$0D7AE3E0-9A18-4B90-B7C3-069A1451B786","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7085ed62e5df78757c08bcf08e337c7eeebb9b57","datavalue":{"value":{"entity-type":"item","numeric-id":702188,"id":"Q702188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458828$37CB2997-1856-4503-8A2C-3FCC6D42BC74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63f66d4d178356b85d1d8073b642aaaec41aa29e","datavalue":{"value":{"entity-type":"item","numeric-id":3593138,"id":"Q3593138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458828$1F9E439E-6912-4F7E-B91F-F5CA7DB19876","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43f8b81729c278d2b25a84d10accbf70874b133d","datavalue":{"value":{"entity-type":"item","numeric-id":4263167,"id":"Q4263167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458828$0B1296A9-2CF4-4F55-9B75-13251F8E9C13","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe5aceddcfb4e129546d31e8ee6f9adf0f79cf6e","datavalue":{"value":{"entity-type":"item","numeric-id":3498465,"id":"Q3498465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28ba4796e596c6f4fe1cae2e349ef6ac114ab1b9","datavalue":{"value":{"amount":"+0.7479091286659241","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":"Q5458828$24512D2E-FE89-473A-B60D-2C771A3BA05D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f37d79fc0f0fc2994d010670430db87d6fde6802","datavalue":{"value":{"entity-type":"item","numeric-id":5898365,"id":"Q5898365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7bccc1653dc449fd55012595b0979146f5644fc8","datavalue":{"value":{"amount":"+0.746010959148407","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":"Q5458828$54F926C9-5CC2-4724-8BBB-E41763C4230E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8eba409d79700378002ed52125e160b978996528","datavalue":{"value":{"entity-type":"item","numeric-id":1989512,"id":"Q1989512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8055c976fd302328fb86d1ae7fa6e45bb7dfe82","datavalue":{"value":{"amount":"+0.7440236806869507","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":"Q5458828$B9C09EDE-2F62-4C1D-BA55-9F20ACBA33BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4b9883279a9270b1492d9b62b8fc3b4b06ab30d","datavalue":{"value":{"entity-type":"item","numeric-id":4606491,"id":"Q4606491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb114db19b017bc89381d947559c023dcd97c36f","datavalue":{"value":{"amount":"+0.7404630780220032","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":"Q5458828$C9C3F188-3CBC-47E5-8A71-6B661E7E914A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b09792f917c7baa0f20de10c36f5b1e49a143589","datavalue":{"value":{"entity-type":"item","numeric-id":4536615,"id":"Q4536615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f111cd72aeace5e9db15ac51041efa255f54f8d4","datavalue":{"value":{"amount":"+0.7394716143608093","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":"Q5458828$1A3BA486-8B2B-46A1-B19F-11D62E1C1143","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5458828","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5458828"}}}}}