{"entities":{"Q25218":{"pageid":25274,"ns":120,"title":"Item:Q25218","lastrevid":56278578,"modified":"2026-03-13T05:53:32Z","type":"item","id":"Q25218","labels":{"en":{"language":"en","value":"RATH-Agda"}},"descriptions":{},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"40ea8e3f83ff797e3cb4c3dad9163fd0f736d0e6","datavalue":{"value":"13303","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q25218$19D5EFA5-14C4-40F1-A3E8-57BD2ED8773E","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":"Q25218$CCA9094A-1873-4A97-BAB4-E7C91E76E51C","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"f00e9add9326bab85b0a558c86cc0db403077c46","datavalue":{"value":"http://relmics.mcmaster.ca/RATH-Agda/","type":"string"},"datatype":"url"},"type":"statement","id":"Q25218$9FE916FD-877E-4D36-920B-DEE3DB968A05","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d379e93a1cc3ab3df2a5b8d85c84eb0620f6469c","datavalue":{"value":"06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q25218$026AABC2-CB12-4E19-AC29-0AEC4474679F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5f50a93e1fa52c1f7a63c5e1d98864f256220e6f","datavalue":{"value":"18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q25218$9F8549EE-775A-4481-906E-4D9D70696776","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q25218$E4819076-A686-4F5A-86A2-199D41FAD69B","rank":"normal"}],"P1458":[{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ec62e09023b4499a5f32d5b66aa8722181c9532c","datavalue":{"value":{"entity-type":"item","numeric-id":21668,"id":"Q21668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q25218$3F3D419F-83D1-41CD-B19B-A840CDA16D98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"e8669f86935885839c9d11cb5355208de33a360e","datavalue":{"value":{"entity-type":"item","numeric-id":14779,"id":"Q14779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q25218$9D8AC41F-6CED-4741-BADB-55B3C2CFED7C","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":"Q25218$9EDE31D7-26EB-4606-A84B-E8A256253A2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"66834767b6ba7f24478d14889793f15bbd31421e","datavalue":{"value":{"entity-type":"item","numeric-id":16797,"id":"Q16797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q25218$2E5358D9-3EA3-4B4B-BB04-D9711B6B85F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ae6e7c9cd74abd42a331791c2ae3318da1f03186","datavalue":{"value":{"entity-type":"item","numeric-id":28851,"id":"Q28851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q25218$3075ED3B-A800-41F2-B1EA-53C9074948B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"18e15e946a9b8db60c88d8c0a9a054a3d76ac633","datavalue":{"value":{"entity-type":"item","numeric-id":14553,"id":"Q14553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q25218$647F87C2-D563-4B4D-ABAB-398E57307259","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"42c670549f6186ba3dc04b66caf543cf15d807d9","datavalue":{"value":{"entity-type":"item","numeric-id":21665,"id":"Q21665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q25218$9876E298-A65C-43FA-9FD3-A94F5160106C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"RATH-Agda","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/RATH-Agda"}}}}}