{"entities":{"Q56208":{"pageid":56264,"ns":120,"title":"Item:Q56208","lastrevid":56428851,"modified":"2026-03-13T06:33:08Z","type":"item","id":"Q56208","labels":{"en":{"language":"en","value":"InjectiveTypes"}},"descriptions":{},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"f813a93682621a83fe7dd3643b3c6c3efb3c81e5","datavalue":{"value":"40508","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q56208$AA084876-32EB-41C9-BD3D-88E11A2A90CE","rank":"normal"}],"P286":[{"mainsnak":{"snaktype":"value","property":"P286","hash":"463373f052fcd22b679b436073c20b7f5d5d3163","datavalue":{"value":{"entity-type":"item","numeric-id":5156770,"id":"Q5156770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q56208$C1345686-9B5C-45CC-AD8B-359B44E08277","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":"Q56208$1344C380-CFA2-403D-9504-9342A73E71B0","rank":"normal"}],"P339":[{"mainsnak":{"snaktype":"value","property":"P339","hash":"a90ae172bdd981b05c7154f8ca6886e76b4139af","datavalue":{"value":"https://github.com/martinescardo/TypeTopology/blob/master/source/InjectiveTypes.lagda","type":"string"},"datatype":"url"},"type":"statement","id":"Q56208$20AFA622-7274-4D18-8825-C08CF84C371D","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"5122882ae478f71035ef5969e1c16dfa5892e6bc","datavalue":{"value":"https://arxiv.org/abs/1903.01211","type":"string"},"datatype":"url"},"type":"statement","id":"Q56208$8F7AADA2-A89E-4084-8118-F8A6699A8EE4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0db99c3b17fc587dc6d0b047e5ff5ce0de1786ab","datavalue":{"value":"03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q56208$91A6FBA8-A64B-4384-8AFC-68562E9F9FFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5f50a93e1fa52c1f7a63c5e1d98864f256220e6f","datavalue":{"value":"18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q56208$14F41B39-A7B9-486B-B1F1-B96B4C7210C0","rank":"normal"}],"P1458":[{"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":"Q56208$F6F5A788-C7D7-43F8-A360-C9A26F5EA0EE","rank":"normal"},{"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":"Q56208$F25D0FB6-9F38-408E-9995-E103E7B652AA","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":"Q56208$6D50CFE2-C62B-46F7-A0F6-A3463031C159","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"InjectiveTypes","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/InjectiveTypes"}}}}}