{"entities":{"Q33380":{"pageid":33436,"ns":120,"title":"Item:Q33380","lastrevid":56328213,"modified":"2026-03-13T06:05:56Z","type":"item","id":"Q33380","labels":{"en":{"language":"en","value":"Ssreflect.fintype"}},"descriptions":{},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"5cd6b73c9ec36a4eb3ed996d3d3bb675cadc3dcd","datavalue":{"value":"21574","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q33380$D8EAE0E6-C8D9-4306-BCBE-CA9FCA57D37B","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":"Q33380$FFC05B33-E504-42F0-8E60-065464F11DA5","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"258af921f7897e8925f529f0b473093d0473bec3","datavalue":{"value":"http://ssr.msr-inria.inria.fr/doc/ssreflect-1.5/Ssreflect.fintype.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q33380$96C18240-4EF3-47B8-BF33-683AC81E510F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q33380$EDE65BDF-501C-4D17-9B19-D7B70AEE4F16","rank":"normal"}],"P1458":[{"mainsnak":{"snaktype":"value","property":"P1458","hash":"07eb0f28b45c8f9b5cf112bbf02e95717fb938ca","datavalue":{"value":{"entity-type":"item","numeric-id":25202,"id":"Q25202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q33380$32A050E0-CAEB-4466-BC55-5F81FCD8D80B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"b82155c8d1da98891c9daad267405a7d93979d3b","datavalue":{"value":{"entity-type":"item","numeric-id":33165,"id":"Q33165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q33380$4E1BB226-A128-4A4C-83E6-9C5CACB1F183","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"618cfba4ac1ae382a2ade51153aaf225560773dc","datavalue":{"value":{"entity-type":"item","numeric-id":33381,"id":"Q33381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q33380$3EC4C889-7E62-4829-8A36-78AC7844BB07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ce995af0d54f8ab3594278c155d6ae4d6e3a6165","datavalue":{"value":{"entity-type":"item","numeric-id":16614,"id":"Q16614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q33380$2AC806FC-0FD7-46D0-843A-919481DB6377","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"b0460c22effbdc7abae47c972770a9682cc008dc","datavalue":{"value":{"entity-type":"item","numeric-id":18489,"id":"Q18489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q33380$8AC37B98-6C99-4F60-9057-95946AA86B71","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":"Q33380$FA8395CA-C940-4D64-8B31-0D9B7C67DE98","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":"Q33380$1106E41E-5344-4F41-B9F9-C84F720BEBB8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Ssreflect.fintype","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Ssreflect.fintype"}}}}}