{"entities":{"Q3092172":{"pageid":3102887,"ns":120,"title":"Item:Q3092172","lastrevid":45426694,"modified":"2025-12-07T20:05:11Z","type":"item","id":"Q3092172","labels":{"en":{"language":"en","value":"Cryptographic Verification by Typing for a Sample Protocol Implementation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5947920"}},"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":"Q3092172$D863F264-9C86-4028-9D17-9DCFBCF8503F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"641fd2008537e56091020eb875d1bbd26152a41c","datavalue":{"value":{"text":"Cryptographic Verification by Typing for a Sample Protocol Implementation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3092172$F0F43A63-1411-4B17-B374-A6E5B5DD5C52","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d5956c0505a68157d585cc5b1f21aa3a1bd0069a","datavalue":{"value":"1344.68072","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3092172$9AD8741B-A382-4252-A4A6-3EE0D419B0A6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bb93e4d0e043283ffb8be691b271bf3ca0cc1de4","datavalue":{"value":"10.1007/978-3-642-23082-0_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3092172$7CD3826B-D167-4B15-B684-C8C35833B6B2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c68535838fd2019c488fecc0f4dd99c350a7f3e8","datavalue":{"value":{"entity-type":"item","numeric-id":557892,"id":"Q557892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3092172$ACBF3ABE-B51A-4C6D-AB27-84508793A8A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"43de6eaa827eff817a6e362b2bd7fef7fe7b1e34","datavalue":{"value":{"entity-type":"item","numeric-id":557894,"id":"Q557894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3092172$6C137551-4195-4CD6-B2CC-19CCB36675DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1cc3bbc8146d8b3b4282d333dce118410bd01d27","datavalue":{"value":{"entity-type":"item","numeric-id":557893,"id":"Q557893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3092172$0EB96062-B4C3-4EE6-A9E2-F997A4F23EE6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ca46952cf29f7a93b7f5c78f8241f0022e992b1d","datavalue":{"value":{"entity-type":"item","numeric-id":3092169,"id":"Q3092169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3092172$76C65F0C-58EA-439C-9742-108519EE746D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cc45eb63fd270974cc03c12b380a0b0e37f4a488","datavalue":{"value":{"time":"+2011-09-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3092172$F5589E66-BFD0-4BBF-98B8-81CB475E199D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0b95b936db5615bbeb6db9dc7223bbfb1ea77aa2","datavalue":{"value":"https://hal.inria.fr/hal-01295013/file/cryptographic_verification_fosad10.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q3092172$CA23ED98-ED90-4122-99F4-562E3137479D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"58bd804a9b32ab16fea71636cf187b83a20de8f7","datavalue":{"value":"68P25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3092172$34CDB489-6667-4AC4-9CDB-BD9B1FE23974","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3092172$8C45003F-CBA2-49C1-8396-BCC3AC12A1D3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a4024ea2987f5b6cce56a54fe586f3644ba8fb8a","datavalue":{"value":"5947920","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3092172$941DC7C8-6F28-44D4-A25A-E6DCED5A8DC5","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bb4ac1b3e6590933f07db2ef44e8e77f8844e4b4","datavalue":{"value":{"entity-type":"item","numeric-id":19271,"id":"Q19271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3092172$8E0C4868-99CB-41EA-AD4B-67986B6D0415","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0ed2781574ca6e9fec8a00bbb1127fe385a3d72e","datavalue":{"value":{"entity-type":"item","numeric-id":21831,"id":"Q21831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3092172$FECD6DF3-4622-41C8-A32E-4EA3840812FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"17b6bf936b27bf52d41c01b7a092635fe801ec6c","datavalue":{"value":{"entity-type":"item","numeric-id":39279,"id":"Q39279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3092172$8E70A799-70F6-4142-8A8C-7AA123990D80","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":"Q3092172$4DD79F18-2832-40FC-87C0-EAB0A8C109FB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cbe531f8fde9afa423057eb15b09bd98e64f371b","datavalue":{"value":"W2169923303","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3092172$D08EA3FE-12DD-4DB2-9FCE-52D60A9F4AE5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"31f86ea6a15d8521d94f8a5308b21778b73dee6c","datavalue":{"value":{"entity-type":"item","numeric-id":3546279,"id":"Q3546279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3092172$CE8C6E81-ED01-4F7D-A467-D0CE2B5C5EE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d60ab50b8d1d4756f8ebae8cf9fd6ef9acae13a1","datavalue":{"value":{"entity-type":"item","numeric-id":1283776,"id":"Q1283776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3092172$4EDAB0E5-95B0-4F61-A677-C782A27C9BCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74ca74510c20a8ee4f45c24529e0d7c1e0a82b28","datavalue":{"value":{"entity-type":"item","numeric-id":2902912,"id":"Q2902912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3092172$6CE08C36-AE91-46D4-80F3-9F4CE6ECA941","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0a9cd0ff2e4768e54916357e6075fb6f2b99819","datavalue":{"value":{"entity-type":"item","numeric-id":2707428,"id":"Q2707428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3092172$AE6B5EA8-F55E-45A1-838F-7E0880BD02D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81bf2b52dbf8b3e63cccd313a8280519c811d8f9","datavalue":{"value":{"entity-type":"item","numeric-id":3452335,"id":"Q3452335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3092172$143385CC-9E82-4AE8-9DAC-C64DFC14C5C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7521bef4e1d06d1bc91b727b4cf2c09696156f37","datavalue":{"value":{"entity-type":"item","numeric-id":5255101,"id":"Q5255101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3092172$956A2721-A8F6-40E8-B307-266EEF3C0AFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"508da4b446b1323ff8f8631bf6f8d3e648404b09","datavalue":{"value":{"entity-type":"item","numeric-id":4249316,"id":"Q4249316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3092172$78120BED-F66B-4BFB-BA25-9FA1B3AB30FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9b4679cc176a402b1c82ade977242f743b16d67","datavalue":{"value":{"entity-type":"item","numeric-id":3021420,"id":"Q3021420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3092172$CEF491D0-220A-4347-A678-C2A4D5F77115","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59913fe185c6401611a45f959636e2872d075951","datavalue":{"value":{"entity-type":"item","numeric-id":2482453,"id":"Q2482453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3092172$E94F2974-2ABB-41D8-B5AC-D527E2CD76B2","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":"Q3092172$AF98AF35-E411-4527-AA75-099B2D4B6E43","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":"Q3092172$BA02AC51-1D92-4D00-B917-434228AD30EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2dfb5c754db591116427ff83cbebc66eebe22e73","datavalue":{"value":{"entity-type":"item","numeric-id":5711502,"id":"Q5711502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3092172$61FE2255-C230-4BFE-BD65-A161A706217D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d435c0f67ddf85d33870a390e8862774ba1ecdd","datavalue":{"value":{"entity-type":"item","numeric-id":4248252,"id":"Q4248252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3092172$8600BB37-7B7D-4C8C-B62F-ADD096ABC7C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fefd3695fc6c127353eeeaf9bb631916756e929","datavalue":{"value":{"entity-type":"item","numeric-id":4168037,"id":"Q4168037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3092172$1130382D-8B8D-4C17-A552-5C7BD94AAC0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"faedb5eb035340aba27d850f49f8ac4b5191800f","datavalue":{"value":{"entity-type":"item","numeric-id":5176981,"id":"Q5176981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3092172$C39CCBA4-2211-47FE-979A-716C14D1AA56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dddab9b3240e45e4e22a7566e78afd92f3ae3763","datavalue":{"value":{"entity-type":"item","numeric-id":4737269,"id":"Q4737269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3092172$79475267-7BC1-4A15-9EC0-127C1FC9EB08","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":"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":"Q3092172$9DC71E01-E7E2-4B11-91FC-F2D9D85A4CB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02e67e2f7d4667eb157d292d0d84c8d97059c639","datavalue":{"value":{"entity-type":"item","numeric-id":5255101,"id":"Q5255101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aad947dd6e70afec980bb13a071e457b3c1111f2","datavalue":{"value":{"amount":"+0.90676194","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":"Q3092172$7E0CDA8B-47B6-46A1-B752-515063E726A9","rank":"normal"},{"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":"61a74d45636937c04a3466e4367b935d906bb228","datavalue":{"value":{"amount":"+0.8978524","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":"Q3092172$E033ABB6-A738-4F1F-BED6-48FDD07141A6","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":"89906e95ad9864629f471d4ecd32018f9ab35797","datavalue":{"value":{"amount":"+0.89047277","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":"Q3092172$822B9680-AD5E-4888-9A6E-1048C51F4E40","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":"1c058981335910acc65c804b0ca2355b13117c9e","datavalue":{"value":{"amount":"+0.8764822","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":"Q3092172$C65826CF-65E0-42A9-96A8-CB0A3EA81B59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03d7528f47c1c71f7c1e08f5fdba01e781c38b10","datavalue":{"value":{"entity-type":"item","numeric-id":2723425,"id":"Q2723425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"afcd176caec33e1dbe4a2987129e5b4c01ab278c","datavalue":{"value":{"amount":"+0.8759905","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":"Q3092172$A28F3DD0-142D-41C1-858F-E18AA36EBDB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79769805b00562b411c18b8ec3cf31dc846b341f","datavalue":{"value":{"entity-type":"item","numeric-id":5144673,"id":"Q5144673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e93cb097a2bd3aaa4e9510507d4ac057c79bded4","datavalue":{"value":{"amount":"+0.86894095","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":"Q3092172$411280DB-F646-406A-8E17-FA865C61F6B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75938c139f8aee0deac46de73099b74a36e65918","datavalue":{"value":{"entity-type":"item","numeric-id":3125910,"id":"Q3125910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6702fe6e4b18f60af85f00edc6c982185b5ec7a1","datavalue":{"value":{"amount":"+0.86694","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":"Q3092172$6C804561-8D19-450B-93EB-C0D5A036F0D2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3092172","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3092172"}}}}}