{"entities":{"Q38082":{"pageid":38138,"ns":120,"title":"Item:Q38082","lastrevid":56346222,"modified":"2026-03-13T06:10:21Z","type":"item","id":"Q38082","labels":{"en":{"language":"en","value":"ghc-typelits-presburger"}},"descriptions":{},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"1ad839ecfb865a2d3651267e5721e65524470210","datavalue":{"value":"26351","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q38082$E036B868-3EFC-4DAB-8D93-F32F17F3FD21","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":"Q38082$EFC61F07-8B6F-44AF-BF48-438AF1810429","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"72723fe3c07633a596d5efa9a45992ae84e97f4a","datavalue":{"value":"http://hackage.haskell.org/package/ghc-typelits-presburger","type":"string"},"datatype":"url"},"type":"statement","id":"Q38082$C18D2345-55B2-46B9-9D83-AFEA1C7B88C2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q38082$7AC08129-C924-43F7-8C3E-E4B69386BC25","rank":"normal"}],"P1458":[{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ad6e5060d007be72bbdcaff1670b9dd73a2e5231","datavalue":{"value":{"entity-type":"item","numeric-id":38083,"id":"Q38083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q38082$85CF0283-7351-4836-B7EF-0558F995C2A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ca1a7b6d052bed765c3336ec8aa0d1edd50ccbd4","datavalue":{"value":{"entity-type":"item","numeric-id":38081,"id":"Q38081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q38082$BD9011AB-FA09-491B-89E8-D47EC6DE19D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"bdb9058728ffaa7ff545721615741a714e4ace90","datavalue":{"value":{"entity-type":"item","numeric-id":38080,"id":"Q38080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q38082$0456124A-3F4F-4456-B49D-454D8639F8D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"5a98abf903486d34e1f6c0b9c4cc3c18b4a62c01","datavalue":{"value":{"entity-type":"item","numeric-id":13610,"id":"Q13610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q38082$42E41CED-6A09-4FD8-B098-56B8DD94ADDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"aebe674a45d8c974a4f9471367839e3748c4e2f4","datavalue":{"value":{"entity-type":"item","numeric-id":18773,"id":"Q18773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q38082$F10C4C61-A1F4-425A-9C03-982D6FFD1875","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"d3cd5b3a578585b8be6bd5d21bb55584e6c27995","datavalue":{"value":{"entity-type":"item","numeric-id":21715,"id":"Q21715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q38082$18E5659A-B86E-476F-8C55-0B7BCFF0686F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"4f42f0f92be006c9edb27efce39cb949ae59c015","datavalue":{"value":{"entity-type":"item","numeric-id":19322,"id":"Q19322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q38082$043DC08F-4E81-4C1C-97B3-9CC893EAF6DC","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":"Q38082$155B6D3D-7A10-4D5C-892E-BD96888A3D43","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Ghc-typelits-presburger","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Ghc-typelits-presburger"}}}}}