{"entities":{"Q21717":{"pageid":21773,"ns":120,"title":"Item:Q21717","lastrevid":56246097,"modified":"2026-03-13T05:43:58Z","type":"item","id":"Q21717","labels":{"en":{"language":"en","value":"EasyCrypt"}},"descriptions":{},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"cf98194a27be803aa6cd1521d315702254a86cd6","datavalue":{"value":"9738","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q21717$DAF866B4-1566-4F55-A901-793C2DC435A2","rank":"normal"}],"P286":[{"mainsnak":{"snaktype":"value","property":"P286","hash":"c38068303dfcc82f6a16159ca85c704a35a4086c","datavalue":{"value":{"entity-type":"item","numeric-id":5253588,"id":"Q5253588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21717$C07E8039-761F-46E9-8E78-B95FDC63536C","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":"Q21717$9860DA4D-7817-4EE3-A834-A11E9BEF69D4","rank":"normal"}],"P339":[{"mainsnak":{"snaktype":"value","property":"P339","hash":"90bc6459076cd56080a3b45990baea389f7d9dc2","datavalue":{"value":"https://github.com/EasyCrypt/easycrypt","type":"string"},"datatype":"url"},"type":"statement","id":"Q21717$9F6D05F6-3E97-4411-A12A-BBC28C7DC3CD","rank":"normal"}],"P1454":[{"mainsnak":{"snaktype":"value","property":"P1454","hash":"32091e057c9c1df058cbd8fb7c08d72e827fd696","datavalue":{"value":"swh:1:snp:a79f4b68feab2ac7282cb3d53aa5afc70d8a7baf","type":"string"},"datatype":"external-id"},"type":"statement","qualifiers":{"P339":[{"snaktype":"value","property":"P339","hash":"90bc6459076cd56080a3b45990baea389f7d9dc2","datavalue":{"value":"https://github.com/EasyCrypt/easycrypt","type":"string"},"datatype":"url"}],"P140":[{"snaktype":"value","property":"P140","hash":"6c00eee74e59c3ed8ee690ea7f985a2fff170a91","datavalue":{"value":{"time":"+2024-03-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"}]},"qualifiers-order":["P339","P140"],"id":"Q21717$21CCDA2A-BD09-4908-A542-408C1C4F3104","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"49df46c453deb3b3a449ffcdfa997f526728da34","datavalue":{"value":"http://link.springer.com/chapter/10.1007%2F978-3-642-22792-9_5","type":"string"},"datatype":"url"},"type":"statement","id":"Q21717$CA20D0B6-E1DB-4441-8810-EE719F75E073","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0db99c3b17fc587dc6d0b047e5ff5ce0de1786ab","datavalue":{"value":"03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q21717$CCA9237B-3083-4D3F-8124-0ADC1F9EEFFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q21717$EB2DBF03-8421-48D8-B4E2-7F7DEEDA1A1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4edc7e695c3667a3dc24594c0516548b87f81467","datavalue":{"value":"81","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q21717$5B08FBC7-AD05-457A-951B-900FF89F2752","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1a438efc028ac8f007fcfec586995516429ecdd8","datavalue":{"value":"91","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q21717$C3EB5F2C-A653-4091-B18B-9B58AD160268","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bebb7aa66b6973aa3a0c9749da8f6cd6626bb594","datavalue":{"value":"94","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q21717$6273B7CE-FC23-47F7-B53F-3DF39EA5657D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fd3cd3c8cd085ac2048034c2279872658062342d","datavalue":{"value":"11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q21717$A394B2A2-3C35-4AA3-819F-B78D376970C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5f50a93e1fa52c1f7a63c5e1d98864f256220e6f","datavalue":{"value":"18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q21717$C94267AC-D139-45B4-981D-236CB15A4600","rank":"normal"}],"P1458":[{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a2a767ccd0e9bdc5b1b4a2069a6679f9340a857a","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21717$74384893-019F-44F5-8B6A-011B30C8ACA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"03281999c3208b8f3a62eaceadadf1ce834fe219","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21717$289FA758-B1DE-4760-8AF4-205AFB1BB3B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"244ebbac6461f60bed6d50e50ce8194b0e233968","datavalue":{"value":{"entity-type":"item","numeric-id":40296,"id":"Q40296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21717$DDA1D011-6CA5-4859-9816-5147D7A87E83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"4ea1d1b7a55b295ac9eff77ace1af725d5dd674d","datavalue":{"value":{"entity-type":"item","numeric-id":5974998,"id":"Q5974998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21717$E6EC32AE-77E0-4A4B-A8C0-D18FFD5AC969","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"63dfdf554f26dc046bc1cc284387a8f2b7ee925b","datavalue":{"value":{"entity-type":"item","numeric-id":39279,"id":"Q39279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21717$07A00D71-41FD-45A1-B258-A5C31183D281","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"bb05cb23794774f62a8e4aa4de610af231973a1d","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21717$AD86485D-62A1-40E3-B0D1-D3E3BA71FFF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"cc4eff68b160f30b8d66dfcb610a0ea7a927079b","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21717$EE020734-6FC0-4476-9EFA-C84653363AD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"1a02d239e8e5fb50db504a225f64b24632e538b0","datavalue":{"value":{"entity-type":"item","numeric-id":52554,"id":"Q52554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21717$A5772104-A3F6-4E24-9579-DA7FEAC18758","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"3d0f95988886eaca495735a183ff5e2ca272aae0","datavalue":{"value":{"entity-type":"item","numeric-id":24997,"id":"Q24997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21717$C3009A55-D899-4DEC-A7A1-33D2C7DFC611","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"f4fb518d3fd3a5c86906e09c5e1de9482d064570","datavalue":{"value":{"entity-type":"item","numeric-id":15706,"id":"Q15706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21717$92339E5E-0877-49C3-B17E-996584E6463F","rank":"normal"},{"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":"Q21717$BFED2F99-9728-45C4-A2B6-10F487352998","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ed15eb8701a335444fde1bcc3327d1067ce64751","datavalue":{"value":{"entity-type":"item","numeric-id":24376,"id":"Q24376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21717$7108794B-6BAA-4CC3-82D9-DAEF0CA93DD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"da71442535724374fba994798fe2e776a105b283","datavalue":{"value":{"entity-type":"item","numeric-id":40255,"id":"Q40255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21717$D2390AF5-0B1E-4560-A80B-36690EF39452","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"f70e8f897325b539c702d8d7cb97dfafe554224c","datavalue":{"value":{"entity-type":"item","numeric-id":32823,"id":"Q32823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21717$D52A4C91-B695-4924-BC9E-050322A069A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"9ad8338290e864661fc95f2a66261cf7e07a407c","datavalue":{"value":{"entity-type":"item","numeric-id":32822,"id":"Q32822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21717$2D6DB9C9-D9A7-4D14-937B-55E562135257","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"453d487b06958a607ee2888e52475fc9856aa8a1","datavalue":{"value":{"entity-type":"item","numeric-id":37128,"id":"Q37128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21717$EA3820C5-B632-48B3-A8D7-DDF2024822E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"4eea1e5549472c93f3282a38917960fdec6b61a1","datavalue":{"value":{"entity-type":"item","numeric-id":24733,"id":"Q24733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21717$C9215611-33B2-4396-9E2A-77411F76D2ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"7c5621c1793da546d15bfffbebaf0c15e5aa730d","datavalue":{"value":{"entity-type":"item","numeric-id":24263,"id":"Q24263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21717$96671658-9C67-44F9-86E3-FAD0BFB928E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"cc41d9364226bfa8139f8dbc43b1b77967245f13","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21717$CBC80825-2D55-4EE0-910E-B1ED92E9F114","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ff80b41d03c65073c007c903a317be0a9c94293e","datavalue":{"value":{"entity-type":"item","numeric-id":13958,"id":"Q13958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21717$E4B4B90B-4B88-404E-AE0E-3479AC68478A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"EasyCrypt","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/EasyCrypt"}}}}}