{"entities":{"Q3172905":{"pageid":3183615,"ns":120,"title":"Item:Q3172905","lastrevid":51341933,"modified":"2026-01-17T20:25:35Z","type":"item","id":"Q3172905","labels":{"en":{"language":"en","value":"Type-based automated verification of authenticity in asymmetric cryptographic protocols"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5954781"}},"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":"Q3172905$7119C4A4-9CC3-43CC-ACCB-FAD392CBD971","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d7b80a852ef121b2029762c912f53744606bf8b4","datavalue":{"value":{"text":"Type-Based Automated Verification of Authenticity in Asymmetric Cryptographic Protocols","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3172905$1EFD4694-C404-4664-9A6D-C6F232AC086A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0b6608e168838b6a842863c206e95137779cc61a","datavalue":{"value":"1348.68129","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172905$A8EF9F65-E0D7-498B-9F14-E6F6A1A159BD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b75738a99824e45545949cc1a8b62525ff386502","datavalue":{"value":"10.1007/978-3-642-24372-1_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172905$CBB96779-89ED-44F6-875A-BCE487008BC3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f313ae9bb2759dfc31c58d168f7025ae2f40e27c","datavalue":{"value":{"entity-type":"item","numeric-id":2902921,"id":"Q2902921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172905$D26E4EDB-6061-4BB7-8B2C-E46C15231930","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e3ed03c0e908613601fdd733dba97c4f4513b0a5","datavalue":{"value":{"entity-type":"item","numeric-id":238500,"id":"Q238500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172905$3C704F1E-A9B9-48C2-8492-0713412B4E30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"75384b9441c010c2ecfb41f85ea76f482d9b6891","datavalue":{"value":{"entity-type":"item","numeric-id":3172904,"id":"Q3172904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172905$191D8F39-6910-49A6-BC12-532B1D8CCE61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f357d017754e572ccc44c17ada188ba5cbe27432","datavalue":{"value":{"entity-type":"item","numeric-id":861693,"id":"Q861693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172905$E929467B-D18B-4A9F-84BB-161C318A3294","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fb871d7a444106c04a08900e781eca233868e362","datavalue":{"value":{"entity-type":"item","numeric-id":3172900,"id":"Q3172900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172905$653F2F02-0837-40E4-93E6-79DBAF8ADDFE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6d9bd2d9b28ae12e022b2e08f4abf17c1216ac47","datavalue":{"value":{"time":"+2011-10-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3172905$FACB6F7C-6D33-449D-9C2A-B39FFE58C618","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172905$61807016-C6DA-47D7-B567-065F0C8171A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f100e7e9b912dd320a0f918ece3ef4edbbe567fd","datavalue":{"value":"68M12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172905$1B2A1ED4-8FA5-48FA-B2E0-44721935200A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172905$32FCA7D9-6FD1-45A6-802F-5B8EE90ACDBC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"13e1bba3b621a43548b07ac9c3b7b2c3e71dfbe7","datavalue":{"value":"5954781","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172905$9455017C-A3B7-4BB8-A193-7FD63E13C216","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":"Q3172905$4131E896-4617-4367-9B44-F6354972925F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4a855aaa62d636d5cd9143dffa0a4dab4cd0d6ef","datavalue":{"value":"https://doi.org/10.1007/978-3-642-24372-1_7","type":"string"},"datatype":"url"},"type":"statement","id":"Q3172905$800C5984-20D2-4035-A112-8FA05E42835A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7f10d78e75688d74ac48aad8b7b4c210d0835181","datavalue":{"value":"W1598545417","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172905$569A4B1E-1E03-435E-8390-153D9ABAFA43","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c708702d5080244e3fae22b22767c9e71db765f","datavalue":{"value":{"entity-type":"item","numeric-id":3617702,"id":"Q3617702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed8ebefea8747b8fe05b8a693f81fb0ed18fdacc","datavalue":{"value":{"amount":"+0.9353367686271667","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":"Q3172905$D586DEBE-E3AF-4DAE-B518-5CDCA487EE0F","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":"cb269870ab83114f33339c93946a7aae1cd57c40","datavalue":{"value":{"amount":"+0.7952426671981812","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":"Q3172905$3E009401-941A-4A2E-953F-02A42DCD65E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf9743f3396bcbc186c82dd7dd91fc266a527a86","datavalue":{"value":{"entity-type":"item","numeric-id":4484480,"id":"Q4484480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ab2bdc534e22fdfc31f7cab6123969dab5fe40a","datavalue":{"value":{"amount":"+0.7889421582221985","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":"Q3172905$51B76CAF-3187-4F93-9DD3-154C5C12D3FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d16fae76134ed98db17fb13d0a9777f13eaf36f","datavalue":{"value":{"entity-type":"item","numeric-id":4411970,"id":"Q4411970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2aca54c8c8d6bbd4e8db3fb479273a41aa166f61","datavalue":{"value":{"amount":"+0.7813374400138855","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":"Q3172905$7C412850-BE89-4C98-916C-1EE1399297AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b97daad70c3e93b2303c7c0b5f9b7473a443eb4a","datavalue":{"value":{"entity-type":"item","numeric-id":4778711,"id":"Q4778711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91b97d4b3f6b2df05624ee4c0a3fc78ff12c858d","datavalue":{"value":{"amount":"+0.7751799821853638","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":"Q3172905$A6C48192-409C-409E-9873-E8830CAC9141","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3172905","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3172905"}}}}}