{"entities":{"Q16057":{"pageid":16113,"ns":120,"title":"Item:Q16057","lastrevid":56602752,"modified":"2026-03-13T12:06:33Z","type":"item","id":"Q16057","labels":{"en":{"language":"en","value":"CoqEAL"}},"descriptions":{},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"79043213a28ef3f399941bb54a8ada1bd5d51ca2","datavalue":{"value":"3703","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q16057$FF42F57E-7739-4B31-9F9B-19B9226536B1","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":"Q16057$5B4B0DCE-9416-45D0-A492-47EA0122A439","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"e751d1466936c8a1c8008f292479bca58947436a","datavalue":{"value":"http://www.maximedenes.fr/content/coqeal-coq-effective-algebra-library","type":"string"},"datatype":"url"},"type":"statement","id":"Q16057$E2176649-DB77-421B-9AF8-5EE4B779C98D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0db99c3b17fc587dc6d0b047e5ff5ce0de1786ab","datavalue":{"value":"03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q16057$806C8C3C-9B80-4624-B5D9-039513F004AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fd3cd3c8cd085ac2048034c2279872658062342d","datavalue":{"value":"11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q16057$F9F4C49B-6446-4EDF-A8E2-DE517AB34FC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5dd818343d7a5b259737eac61518c19de74ecd35","datavalue":{"value":"15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q16057$6F165E1A-0103-4022-B282-1A1825449DD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e24ee68b43931de13fa3c2edb783c4c41f7c841b","datavalue":{"value":"55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q16057$4CC0FAA5-6EEE-40CA-B032-1686AE02F328","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q16057$AB3B694F-6B1C-4EC7-A9B6-537AD7CCB1AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d0cfa49f62a5e301328cd7af9d04a50119944fd5","datavalue":{"value":"92","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q16057$2D008CD4-71DE-4B19-A7D4-23745B03D7A2","rank":"normal"}],"P1458":[{"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":"Q16057$EDDACAAC-C962-4499-8B4B-65123D7E4C0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"c1161e1e8de5a1bc9eb8260f27cf5114412c2b8a","datavalue":{"value":{"entity-type":"item","numeric-id":21343,"id":"Q21343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q16057$BA081EBE-9E6F-4FCE-9D2B-B776D06DD493","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"c665c382bcb7444338c1c6285a20640225aac29d","datavalue":{"value":{"entity-type":"item","numeric-id":20216,"id":"Q20216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q16057$51607651-F32C-4EFF-9DD1-3B2D809E09C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"e0c5c8a1d0309e558c534e571fadb7aa6007b617","datavalue":{"value":{"entity-type":"item","numeric-id":19195,"id":"Q19195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q16057$2801DC77-57AD-4A5B-8BAD-7A4DE6EBEF29","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":"Q16057$6B884B85-E932-4901-973F-0CE9F3DFB5C5","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":"Q16057$D17CB454-D5CB-4B6E-A4D5-36812C831BF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"003cd7577cbdd5706b0f34f3fb357d93ceed7d1c","datavalue":{"value":{"entity-type":"item","numeric-id":42649,"id":"Q42649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q16057$42FCBCE0-022B-4E94-A913-4BE1D9E082DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"f774cd8e5d6ff434a818582595c9baf55111cd80","datavalue":{"value":{"entity-type":"item","numeric-id":16298,"id":"Q16298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q16057$54656B5D-CEDF-41AB-B046-6370A43377A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"b82152c1528c5be7e2040d1abd74977f4fe51817","datavalue":{"value":{"entity-type":"item","numeric-id":18672,"id":"Q18672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q16057$371051B8-EB72-41B7-8F16-A0B44F03410A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"7343f563fd02ee3f7d39ccb038f5c1c6c726769a","datavalue":{"value":{"entity-type":"item","numeric-id":20799,"id":"Q20799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q16057$109FD49A-C7F6-48CE-9141-0B15FED5BF68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"7434bcf5c727d2c07e931aea1694436d0b39cd53","datavalue":{"value":{"entity-type":"item","numeric-id":27041,"id":"Q27041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q16057$CDBFA431-0F9F-436F-BAE8-529F390C8E1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"52963dcd731c5ab982289e0a176d34be47e260bf","datavalue":{"value":{"entity-type":"item","numeric-id":53570,"id":"Q53570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q16057$ADBC088C-86A6-48E3-8127-725E945BE585","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a2ee8c4e55b0840d84bdd265a27b2681f3f9a6b9","datavalue":{"value":{"entity-type":"item","numeric-id":53740,"id":"Q53740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q16057$6D963BEB-18E9-47FE-BDF3-D7A639E79D98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"0f29c9b1edecb5ae8b8679151a51782e90d9480e","datavalue":{"value":{"entity-type":"item","numeric-id":13300,"id":"Q13300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q16057$D2E96133-7F3D-4346-B60A-FAE3C36F7A80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"2ded5a481ece08049848bd1edb3f9afa21f0df2f","datavalue":{"value":{"entity-type":"item","numeric-id":16873,"id":"Q16873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q16057$15A4E83E-C00B-4E9C-A99E-5FD0A798CF0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"fb8a65cb83221bd4580274c43632c57ae7a0ec16","datavalue":{"value":{"entity-type":"item","numeric-id":13171,"id":"Q13171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q16057$13540435-4CE3-4CE2-B1D8-2BD844433377","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"139c69b2a23f419923a7989e28183ef8179b6836","datavalue":{"value":{"entity-type":"item","numeric-id":12833,"id":"Q12833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q16057$38201C3A-7508-4651-AB07-FE8C48ECF1DE","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":"Q16057$03AE7DE1-F5CC-450D-AB87-3C8356F975C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"d16fe220c723aa7cdd0cb65cbe3c4f25405f0668","datavalue":{"value":{"entity-type":"item","numeric-id":17016,"id":"Q17016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q16057$A3AB5B86-6EAF-4C76-B21B-A36962DB13D6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"CoqEAL","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/CoqEAL"}}}}}