{"entities":{"Q3617702":{"pageid":5647608,"ns":120,"title":"Item:Q3617702","lastrevid":49696663,"modified":"2026-01-09T04:13:46Z","type":"item","id":"Q3617702","labels":{"en":{"language":"en","value":"Type-Based Automated Verification of Authenticity in Cryptographic Protocols"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5535569"}},"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":"Q3617702$36CAF9C3-F959-4D28-A58A-2261F6714F17","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2575a0d29eb34f7a46cd741775b1856f88a39c10","datavalue":{"value":{"text":"Type-Based Automated Verification of Authenticity in Cryptographic Protocols","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3617702$1F082C9B-0AAC-4494-B0A7-182512B851AF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"44cf873bf10368ef6a953aff64a2c4cc3eab3133","datavalue":{"value":"1234.94077","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3617702$CAA0622C-574F-4DD1-9201-B27B5B871566","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8f37c5cae0879904e0879b83231e536ca407a52c","datavalue":{"value":"10.1007/978-3-642-00590-9_17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3617702$AF812C46-BB97-4DED-8EBF-3FDDBD91C03A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0a8ce86a9db1a54beca1fcb58905d096dc623899","datavalue":{"value":{"entity-type":"item","numeric-id":3498439,"id":"Q3498439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617702$76099032-6E3F-4DEA-8F8A-9AEE9699A25B","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":"Q3617702$EE2FDDF6-6EB9-47BD-9C95-D1047E8ECC36","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7efb66db9d8cc237b51d0f645d1a54c929d4c460","datavalue":{"value":{"entity-type":"item","numeric-id":2789030,"id":"Q2789030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617702$B50DAADD-0CD3-4BDA-B64E-9FD59118C8BD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0d580ae26129476b328bb73be10f00e061bcab60","datavalue":{"value":{"time":"+2009-03-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3617702$A6A40AE3-AEE9-4374-A4CE-782941A85A29","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b71b42e4e887bf125b7436fe1334aef39047fb5c","datavalue":{"value":"94A62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3617702$3F69F1ED-65F3-4CAF-B1C7-95BAB9C3F207","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3617702$327D66F9-DA45-4BF5-9163-E7B28CEDE9B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3617702$E3116756-308F-428A-8219-EBB6604AAEBC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bc4acf634339fa2dff2d46bd4d6acc355302d4fa","datavalue":{"value":"5535569","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3617702$BFF5948B-5DD6-4355-8030-B073D230187E","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":"Q3617702$E1F4E2A6-7E3C-42BE-9A1C-111952BF933C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"82d360456b5afc4b346afd66536919a56f2201d9","datavalue":{"value":"https://doi.org/10.1007/978-3-642-00590-9_17","type":"string"},"datatype":"url"},"type":"statement","id":"Q3617702$FB5CE48D-7F27-4EEC-90E0-9544313DFB09","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0e3a9c1372dfca5237bc99665e73feadf866ad07","datavalue":{"value":"W1487531107","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3617702$A4AFE76F-07F8-4125-A1A3-39F5A955782C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af83b43cfc64f875880462afeb8cb40af197c8a8","datavalue":{"value":{"entity-type":"item","numeric-id":3172905,"id":"Q3172905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3bd9560fd46a0f80b23cdedcb0cf9c28c9a5b59f","datavalue":{"value":{"amount":"+0.9867776","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3617702$31C4FAC3-52B2-4880-B141-E81AD66702EC","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":"0c8611f90f06e656235c3719f927df577ebc7635","datavalue":{"value":{"amount":"+0.90689313","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3617702$36B2C0A3-5B29-4C6B-AE3F-5C06424C2624","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b938c704fe410be264e1f2232654427d2215d804","datavalue":{"value":{"entity-type":"item","numeric-id":5278194,"id":"Q5278194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95cb9d2966d787b5e6415dcacbfa8db7d6118f77","datavalue":{"value":{"amount":"+0.90236676","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3617702$BAD8D2B2-D0F1-4335-AE3B-0CFD05705B09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"932fab5c9b3c1371a41cb61382ee7db54a1d5500","datavalue":{"value":{"entity-type":"item","numeric-id":2892723,"id":"Q2892723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db57b416f06c7efdfc68c09b17cbab0d068c9eb6","datavalue":{"value":{"amount":"+0.90236664","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3617702$942081E1-85F5-4136-B72A-3B1D9B52E9B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9970926fb663e97cfa6d9724fe0af1a4b64d0fda","datavalue":{"value":{"entity-type":"item","numeric-id":3044257,"id":"Q3044257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb032ee2b36a5d7e1040d5aaaf72d8dce1f4761e","datavalue":{"value":{"amount":"+0.9006314","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3617702$24431BB2-EADF-4A4B-8821-111B29AE35FB","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":"6e43e393835c37a461e4b0b5f48228f5da2c7a71","datavalue":{"value":{"amount":"+0.8889762","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3617702$1A0EF661-8433-46E4-928C-DAEF0B9A8007","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a74d47acc8bb67d9f54d6e58f55cff4800aa4309","datavalue":{"value":{"entity-type":"item","numeric-id":5234693,"id":"Q5234693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b93159babf694ee35b93d43ca7caf3dd669ff78","datavalue":{"value":{"amount":"+0.8863199","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3617702$42799024-0DC7-4A38-B7DD-13828441C9CF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3617702","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3617702"}}}}}