{"entities":{"Q40251":{"pageid":40307,"ns":120,"title":"Item:Q40251","lastrevid":56367264,"modified":"2026-03-13T06:15:47Z","type":"item","id":"Q40251","labels":{"en":{"language":"en","value":"Coinductive"}},"descriptions":{},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"5b63e0c8ef2e5ffbc273688cdd5ee8ab09047020","datavalue":{"value":"28537","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40251$96921D45-1F71-429D-822B-6F74C29EFB77","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":"Q40251$BC73FDC1-6C7B-4B80-A5FC-33065F7A42DC","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"7c46ac2bba54ccba6a265fc42b2115a98d3a3d84","datavalue":{"value":"https://www.isa-afp.org/entries/Coinductive.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q40251$BE0F6DE8-1BA3-49D1-BEF7-177E4EA0A82C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0db99c3b17fc587dc6d0b047e5ff5ce0de1786ab","datavalue":{"value":"03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40251$0260597E-A427-4CF6-9981-6B40E1954476","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40251$5B4F2931-64EC-4037-A155-FF2E0F13C9B9","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":"Q40251$C82D0DEC-6591-4E9D-BBD2-A870194D4374","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":"Q40251$B12106A5-D806-4CA1-8872-146B9902600C","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":"Q40251$F64EF87B-123A-4B97-85AE-194862F9BDE8","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":"Q40251$3D74D135-925B-42D2-8647-7925BD470295","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":"Q40251$BF221540-3B48-4BEA-8E84-B36BD5D47C8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"3d758980c7aab42229371c3fec56294874b60660","datavalue":{"value":{"entity-type":"item","numeric-id":22838,"id":"Q22838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40251$35A4AA8F-186B-419D-8874-499C11758290","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":"Q40251$CCF3A7CD-2639-4447-AE4E-1C1B4C69AB18","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":"Q40251$67938FEA-5011-458A-8A5E-6E976EDEC47C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"8dde418bf28e22fefe1976bd953eb7c8ec5b548d","datavalue":{"value":{"entity-type":"item","numeric-id":16770,"id":"Q16770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40251$63012942-5E1E-4603-A534-1D7FA1B43F4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"69059c4f7584ac679be0c1751eea77a468228735","datavalue":{"value":{"entity-type":"item","numeric-id":55874,"id":"Q55874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40251$1FF87A59-D109-4106-A1FD-69051D38A839","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"144f0221487b5ba035abaca0f440960a9e47efeb","datavalue":{"value":{"entity-type":"item","numeric-id":27113,"id":"Q27113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40251$626B2819-0115-4D38-A06C-2D920737E003","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"2065e4f07c2a87daeeb1b05b87906496fa0b2af8","datavalue":{"value":{"entity-type":"item","numeric-id":19753,"id":"Q19753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40251$BDE5138F-232C-4073-9154-AAE79B40A371","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"790dfed77c85b234385ffcfbc4c8ca5301a1cde2","datavalue":{"value":{"entity-type":"item","numeric-id":23170,"id":"Q23170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40251$953EC9F2-92D4-4453-A44F-A5EBFDCCB8FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"e9c074eb294a1065b6f245322c58d492f8d56f57","datavalue":{"value":{"entity-type":"item","numeric-id":18336,"id":"Q18336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40251$0CE92C73-4551-4540-8E79-5023502F7660","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Coinductive","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Coinductive"}}}}}