{"entities":{"Q4928441":{"pageid":6958023,"ns":120,"title":"Item:Q4928441","lastrevid":51744722,"modified":"2026-01-19T19:37:24Z","type":"item","id":"Q4928441","labels":{"en":{"language":"en","value":"Asymmetric unification: a new unification paradigm for cryptographic protocol analysis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6176212"}},"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":"Q4928441$53ED8023-208A-4EFC-84B0-DF9DDD632C52","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f46322ac00919c28e5565c9882e412baf1953fd5","datavalue":{"value":{"text":"Asymmetric Unification: A New Unification Paradigm for Cryptographic Protocol Analysis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4928441$DCA5A6D1-3576-42C9-8EF1-38B25D73ED97","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d3979a00cd65bcd279c5201ef217e62fae0f6c60","datavalue":{"value":"1381.68264","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4928441$6AC0D113-C367-4C18-A676-E8AE73123825","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e6ecf6e79961fac57261654bf45bfd91e6b17748","datavalue":{"value":"10.1007/978-3-642-38574-2_16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4928441$C050596F-CEC1-4B0F-96D1-2E75F088332E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"59a9b5b792b433b0fd4c9e8ab15f2bd3a7afdc05","datavalue":{"value":{"entity-type":"item","numeric-id":831916,"id":"Q831916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4928441$4C664EC1-FA0C-4652-90E2-F86A71D62E6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5805f02852c8c5214c4739c3a07407316889a81f","datavalue":{"value":{"entity-type":"item","numeric-id":462490,"id":"Q462490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4928441$133F6279-AC07-4A54-833A-CB2F3134DC43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7a60a38320311da18eda10821922742954865726","datavalue":{"value":{"entity-type":"item","numeric-id":394492,"id":"Q394492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4928441$77DA34AA-A6D6-4C55-A949-7AE55E60B2D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"06143b59d404c55fce688763feae42c49e13ebd7","datavalue":{"value":{"entity-type":"item","numeric-id":238555,"id":"Q238555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4928441$0E5E67C2-019B-47A9-A57D-57A3E1EF23F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6b74f2805d58a252b355491b4dc993b2648b5d8c","datavalue":{"value":{"entity-type":"item","numeric-id":437036,"id":"Q437036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4928441$748271C4-2542-4F3B-89CF-5189518C9EFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"db32c21cc482660e99c90b1907d7d5760cbfacfe","datavalue":{"value":{"entity-type":"item","numeric-id":347381,"id":"Q347381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4928441$F8564033-48EC-41AC-B30A-6E21B7304A55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6587fdd31c2d2b6b0dfb7e31f546481ef32f5a93","datavalue":{"value":{"entity-type":"item","numeric-id":171405,"id":"Q171405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4928441$E28E4125-F0C8-40CD-AC47-E34EAC69C69E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"934af2cfc4affe97c4e08b3708a0f8c728b068b3","datavalue":{"value":{"entity-type":"item","numeric-id":462492,"id":"Q462492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4928441$0103B5FA-CB43-451A-B7F1-C89FD452F5D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"afa22db60fe052097937d0d11058ce80280a94fb","datavalue":{"value":{"entity-type":"item","numeric-id":1931908,"id":"Q1931908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4928441$50F4D75D-1E40-439F-95B7-1DCBA62CD32C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"893d4e95bab3f0a7b3894fc03f5329d8bc74115a","datavalue":{"value":{"entity-type":"item","numeric-id":831946,"id":"Q831946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4928441$5FE49EF7-DCAB-4A6E-A8C3-E2E8EDFD84F9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"feba868a8cb9ecfadec66d8e8a91d447de952529","datavalue":{"value":{"entity-type":"item","numeric-id":4928424,"id":"Q4928424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4928441$A4F62B1D-107F-4C03-876E-D733B91ADF49","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b84d2a34981f1c1a0d0fb543ea5aabc14a21194b","datavalue":{"value":{"time":"+2013-06-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4928441$3F2356D6-147E-45AF-AB21-C55950701EC6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6b014f0eaa8eb52ab34c01c45a5b8756d783e009","datavalue":{"value":"http://hdl.handle.net/10251/71830","type":"string"},"datatype":"url"},"type":"statement","id":"Q4928441$55BDCD71-2C99-46B9-B73C-125C75CC9AA0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4928441$0A3F5B3D-B982-470F-8CC1-56F1B3A5B454","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4928441$18349255-B23E-4F8F-806B-D5F8426BC2EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4928441$D5AC4AB7-90A9-41E0-86C8-7AD1FDF0DEEA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"886b4f2ef93a1ca727e1698162fefde08296c130","datavalue":{"value":"6176212","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4928441$65C7EBD5-7B4B-4126-8E1F-CB937E7098E8","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"bb5df97f4de45db5abe12a885b6c5acf23bdee37","datavalue":{"value":"Q118190377","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4928441$482FB95A-8A49-4AC1-AE1F-F3BF13042DE2","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4c46d5a399090ba32f5e0f0288380e87e058a780","datavalue":{"value":{"entity-type":"item","numeric-id":21760,"id":"Q21760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4928441$555FC360-D90B-4662-90DD-A7B92FC21A09","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":"Q4928441$85CE9564-5344-4D9B-86BD-645206166DE9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"eae2fbcc056be15c8f1136a1228abb41cc7279f5","datavalue":{"value":"W40499433","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4928441$CC69E67B-83F5-439F-B946-F664AB0644FD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4d636e03991b8975521c0f18593d5f63bc84987","datavalue":{"value":{"entity-type":"item","numeric-id":5410678,"id":"Q5410678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73cc6ab00ca173fed52c06f717045dd9362bb024","datavalue":{"value":{"amount":"+0.8917065262794495","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":"Q4928441$3789CC9B-E813-40AC-8365-DBB2A5B93744","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed60652f14de5efb6117c59b804813811bf2949f","datavalue":{"value":{"entity-type":"item","numeric-id":2180236,"id":"Q2180236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea8635ab4bc61368bd7b42ad60addc08422a523c","datavalue":{"value":{"amount":"+0.8863188624382019","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":"Q4928441$FB5FE4C7-153C-4032-AB3F-568938D9E609","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c57202d0c6aa8607f40d098bf318e2d8339af109","datavalue":{"value":{"entity-type":"item","numeric-id":2941759,"id":"Q2941759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d293cfcaac121420fd66322bbb7d2e4f36c6c1dc","datavalue":{"value":{"amount":"+0.8325592279434204","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":"Q4928441$9DD9AAB1-4FBA-4ABD-B60C-7F07CBDC608B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a5e5d7696f749c6c2d0d011dd43966ec0a67352","datavalue":{"value":{"entity-type":"item","numeric-id":5200040,"id":"Q5200040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91ae067cc4b066627e4f8d785981a9d25806db67","datavalue":{"value":{"amount":"+0.7996215224266052","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":"Q4928441$470E6761-AFB4-49CF-9125-3AEF500C0E01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6b7dde3eaa9f016138c238b3824fa91bc0d63f6","datavalue":{"value":{"entity-type":"item","numeric-id":5717454,"id":"Q5717454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25169fd4e99c74746865ab9148615f0b530bd958","datavalue":{"value":{"amount":"+0.7875486016273499","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":"Q4928441$D21BE95F-8C8E-465D-8F38-D41B1F1B1E63","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4928441","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4928441"}}}}}