{"entities":{"Q21668":{"pageid":21724,"ns":120,"title":"Item:Q21668","lastrevid":56235288,"modified":"2026-03-13T05:40:00Z","type":"item","id":"Q21668","labels":{"en":{"language":"en","value":"Agda"}},"descriptions":{},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"049779806899df5a278999c8f643251008c303d1","datavalue":{"value":"9689","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q21668$AD408D5F-FBD1-47F0-9C1A-60D381A6F45C","rank":"normal"}],"P286":[{"mainsnak":{"snaktype":"value","property":"P286","hash":"e8ad6a8585d5a47d188b2b2c042d2c08b790248a","datavalue":{"value":{"entity-type":"item","numeric-id":3649136,"id":"Q3649136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21668$E9974E05-8713-4E34-8D6B-D9E8A39263F1","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":"Q21668$A4E5464E-916D-4F00-8BE5-591B16887839","rank":"normal"}],"P339":[{"mainsnak":{"snaktype":"value","property":"P339","hash":"e83a766e96dc96b0d142150be6f6682a0ae50564","datavalue":{"value":"https://github.com/agda/agda","type":"string"},"datatype":"url"},"type":"statement","id":"Q21668$C18D9C98-619C-4DA5-898D-C9B921FFA698","rank":"normal"}],"P1454":[{"mainsnak":{"snaktype":"value","property":"P1454","hash":"63fa60ece4ff9409dd72bef254a9a41eda1031fb","datavalue":{"value":"swh:1:snp:f03b86a7a4353fa7d870515f804804d28c6e05bb","type":"string"},"datatype":"external-id"},"type":"statement","qualifiers":{"P339":[{"snaktype":"value","property":"P339","hash":"e83a766e96dc96b0d142150be6f6682a0ae50564","datavalue":{"value":"https://github.com/agda/agda","type":"string"},"datatype":"url"}],"P140":[{"snaktype":"value","property":"P140","hash":"89b7a2e3495470d6bf886c26dae9d22d9eacec6f","datavalue":{"value":{"time":"+2024-03-16T00: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":"Q21668$C654F11A-0973-4CC6-A783-8D372B34C9D0","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"09046a7976b3f88235c249444f03f67900c531c2","datavalue":{"value":"https://wiki.portal.chalmers.se/agda/pmwiki.php","type":"string"},"datatype":"url"},"type":"statement","id":"Q21668$9A0C9771-9450-4F83-9977-23111BAE8092","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ae9c75c1f07ce06d85b9552d2104619090f82402","datavalue":{"value":"00","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q21668$BEE80382-823F-4B20-96C7-0A696E4D17B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0db99c3b17fc587dc6d0b047e5ff5ce0de1786ab","datavalue":{"value":"03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q21668$5BB48449-4190-4340-8F4C-CFA2B90AD09A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5f50a93e1fa52c1f7a63c5e1d98864f256220e6f","datavalue":{"value":"18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q21668$035E548F-DCC2-4DE7-825A-E92B1AFCC480","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e24ee68b43931de13fa3c2edb783c4c41f7c841b","datavalue":{"value":"55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q21668$8ABE3DA0-19F6-49EA-A36A-023D2D51E6B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q21668$56B96624-49BE-4FF1-AF0E-5A799113B6A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"95bde9084e6ca63a8492631a417b047b22c72453","datavalue":{"value":"05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q21668$33E269EC-0E72-4D15-BC00-51073653695F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d379e93a1cc3ab3df2a5b8d85c84eb0620f6469c","datavalue":{"value":"06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q21668$3A7ED72B-897B-48D8-ACE3-28098DEE3DC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d57514d4788d5abbd1056aadd506bc3f1b86263e","datavalue":{"value":"08","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q21668$AFD027DB-BC7D-4ED6-9AF6-7EA8847E974B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fd3cd3c8cd085ac2048034c2279872658062342d","datavalue":{"value":"11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q21668$E303765F-7BD7-4162-B5D2-7C31F3C869E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8befc1ffe367aef867e4dcd902eb59cbacd3a347","datavalue":{"value":"13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q21668$7D7270CC-84BE-47DE-8882-6464D563FFDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5dd818343d7a5b259737eac61518c19de74ecd35","datavalue":{"value":"15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q21668$773B2B51-86E3-48D5-8D85-9BE2551782C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c42d8309659ef226cd875765a3c9064bb7558782","datavalue":{"value":"20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q21668$DFBCC866-7AE5-4DDA-AE8B-D3F37039DBB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ca97ab6736a2cf36b4aa3171cbf7b0139773b03d","datavalue":{"value":"46","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q21668$F795E03B-2BE5-438E-B303-3444B2065397","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"389057ea232b6d266cab69038163241bd07104b6","datavalue":{"value":"51","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q21668$A6C9FDCB-E58B-4A59-8D9A-738B1DF13304","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"85b50fc0bb13fa24d727c960e97501e2c7bce333","datavalue":{"value":"54","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q21668$E1D08E8E-9235-4769-9F5F-13BDECE4CF32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4edc7e695c3667a3dc24594c0516548b87f81467","datavalue":{"value":"81","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q21668$181C95D4-6CBD-4B63-A200-F8AB535EEB46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"541da1e359051dfcf3c498b9f1f1f8f905fbafe3","datavalue":{"value":"90","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q21668$88056376-188D-4EFC-B0C2-A5A370E40731","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1a438efc028ac8f007fcfec586995516429ecdd8","datavalue":{"value":"91","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q21668$9DE15DC6-1938-4A56-B293-8610DA26ED48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bebb7aa66b6973aa3a0c9749da8f6cd6626bb594","datavalue":{"value":"94","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q21668$310BBCD6-2990-4454-BE26-8FAF4EB40947","rank":"normal"}],"P1458":[{"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":"Q21668$5D18E53B-66D5-4E00-8A9B-C18B6E549655","rank":"normal"},{"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":"Q21668$63653EFF-5FDC-40BE-B3A4-967BBC3B2BA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"7434bcf5c727d2c07e931aea1694436d0b39cd53","datavalue":{"value":{"entity-type":"item","numeric-id":27041,"id":"Q27041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21668$62B797E7-38E6-481F-83C9-259C41CA00A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"e2deb6bf1d4c2d4a91e6bd25d48cab95bae8848d","datavalue":{"value":{"entity-type":"item","numeric-id":16052,"id":"Q16052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21668$9171966C-224C-4684-A002-A2EA73EFBE82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"9e7a1624ebcfc86cb11ccad80d0985ed6ed992b9","datavalue":{"value":{"entity-type":"item","numeric-id":18826,"id":"Q18826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21668$46AE3FAE-DB79-48A0-91DC-D0B8DAFDA548","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"b82152c1528c5be7e2040d1abd74977f4fe51817","datavalue":{"value":{"entity-type":"item","numeric-id":18672,"id":"Q18672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21668$28C18A8B-3C59-40DA-9544-AC19797DEEF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"8533330b9fa0c1f7979d4af1d0e8bdba3ffc811c","datavalue":{"value":{"entity-type":"item","numeric-id":56651,"id":"Q56651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21668$EB4EDDCF-739E-4E96-A66C-830592359EC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"1cc6b0913edacded01c385a7bde05b242ad151a4","datavalue":{"value":{"entity-type":"item","numeric-id":31834,"id":"Q31834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21668$3CCFFE28-B7D1-4F66-A811-68B1411A0235","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"2ded5a481ece08049848bd1edb3f9afa21f0df2f","datavalue":{"value":{"entity-type":"item","numeric-id":16873,"id":"Q16873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21668$89731005-8256-4F32-A831-1CB16B243C63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ecda3e6d8e971c0b93d4cf3afb41990e853f830f","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21668$A62D0FB0-6C11-41D1-B3BC-A07433FC9F86","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":"Q21668$011A792B-EE7B-48E2-9914-4A7B2EC9BD5F","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":"Q21668$33B86595-A945-4F3D-A0E0-E0F1A1AB95FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"1cf582b1819623d8d4cf80820bebd86ea9aabf6f","datavalue":{"value":{"entity-type":"item","numeric-id":19182,"id":"Q19182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21668$D164985D-FD5B-4BA7-B11E-BF61B93EC937","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"4244bd21b3a60c5b7dc07ce4b342a92594fee47f","datavalue":{"value":{"entity-type":"item","numeric-id":18957,"id":"Q18957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21668$9D5C9038-45FB-47FA-802B-53BA5778C9BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"206148fb4091bc526b4985eb7106f34e5f9739ba","datavalue":{"value":{"entity-type":"item","numeric-id":52541,"id":"Q52541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21668$1B9F54EF-D10D-4FE2-9D50-FFEB0E1CD363","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"d5211df17a010f85ec7b9023f31dbebfc75c11de","datavalue":{"value":{"entity-type":"item","numeric-id":21669,"id":"Q21669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21668$2C55F124-DFF9-4555-8084-41EF29797D96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"9a871b3ade6a3a4d6fad6f20bd646081952400c4","datavalue":{"value":{"entity-type":"item","numeric-id":18274,"id":"Q18274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21668$76CE125F-FD7B-4046-A150-E6B3D07043F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"cea2a7e9bb130921d12e1d361b3d4585036772c9","datavalue":{"value":{"entity-type":"item","numeric-id":16016,"id":"Q16016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21668$757A493E-60F2-48A5-8D92-63CEA88F4575","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"d9683cb28daf64938e9e64569cec2294a0ce1b92","datavalue":{"value":{"entity-type":"item","numeric-id":34514,"id":"Q34514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21668$616F3AF6-0F38-4A7A-B0B8-773E9BF688C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"7cc7198e8b23474f6a1205413b43c187c262cef2","datavalue":{"value":{"entity-type":"item","numeric-id":21666,"id":"Q21666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21668$80882F78-52FA-4F0B-9313-7C26ED88AE0C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Agda","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Agda"}}}}}