{"entities":{"Q21886":{"pageid":21942,"ns":120,"title":"Item:Q21886","lastrevid":56238546,"modified":"2026-03-13T05:41:08Z","type":"item","id":"Q21886","labels":{"en":{"language":"en","value":"CryptoVerif"}},"descriptions":{},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"03cc319c000494aa3ee3a3985e2d3d1bd92d990b","datavalue":{"value":"9907","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q21886$63E7E62B-5F83-422D-B3BE-AE53906D1804","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"908c3454b3659c4b140ccce33c5aee31081edc8d","datavalue":{"value":{"entity-type":"item","numeric-id":5976450,"id":"Q5976450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21886$906F3EA1-7D52-4CFB-A969-B78347778C7A","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"a92bc084704b75e1b1bcd2a6a3386c413f654261","datavalue":{"value":"http://prosecco.gforge.inria.fr/personal/bblanche/cryptoverif/","type":"string"},"datatype":"url"},"type":"statement","id":"Q21886$8DCC17CC-A39C-4152-BF51-E273B3866DD3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ae9c75c1f07ce06d85b9552d2104619090f82402","datavalue":{"value":"00","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q21886$7FEF8CF8-3FCA-4F31-BFA6-4F7E8CDF82ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q21886$9D135B0B-A19F-4C78-896A-66F9534AB428","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bebb7aa66b6973aa3a0c9749da8f6cd6626bb594","datavalue":{"value":"94","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q21886$C7BDDBDA-FC95-4776-9E26-9D3E4A350A6F","rank":"normal"}],"P1458":[{"mainsnak":{"snaktype":"value","property":"P1458","hash":"d4d0995d9ef15b739bc725d02cc67aae53f8f5b6","datavalue":{"value":{"entity-type":"item","numeric-id":21831,"id":"Q21831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21886$1511B859-E38C-482E-85FA-6F98BA2DAB36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"b0460c22effbdc7abae47c972770a9682cc008dc","datavalue":{"value":{"entity-type":"item","numeric-id":18489,"id":"Q18489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21886$966533A1-E6CA-47E1-9769-DE4EC274A399","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"edc2c652503a246d9b0830fa164fe7e1cdc047af","datavalue":{"value":{"entity-type":"item","numeric-id":42511,"id":"Q42511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21886$857F1EA8-165E-4F3B-B66C-71BC6422506F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"12e3a879c18130c3fe2db63175b9dffe10fe84e7","datavalue":{"value":{"entity-type":"item","numeric-id":42510,"id":"Q42510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21886$09678C15-DD14-4479-B789-DF7802D9F4C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a2dd54cd0245790728420312d698513d38e500a9","datavalue":{"value":{"entity-type":"item","numeric-id":21924,"id":"Q21924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21886$ABC2E5A2-DF99-4F50-9CE1-B922A7F6362F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"CryptoVerif","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/CryptoVerif"}}}}}