{"entities":{"Q7257641":{"pageid":31005110,"ns":120,"title":"Item:Q7257641","lastrevid":104144804,"modified":"2026-06-09T11:06:27Z","type":"item","id":"Q7257641","labels":{"en":{"language":"en","value":"Formalization of derived categories in Lean/mathlib"}},"descriptions":{"en":{"language":"en","value":"Lean implementation for the paper Formalization of derived categories in Lean/Mathlib"}},"aliases":{},"claims":{"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":"Q7257641$1d56ffca-435c-7327-f42b-faa735056b12","rank":"normal"}],"P339":[{"mainsnak":{"snaktype":"value","property":"P339","hash":"3d5b866d9dce31ee818d6197f71e53f7e1c425ad","datavalue":{"value":"https://github.com/joelriou/lean-derived-categories","type":"string"},"datatype":"url"},"type":"statement","id":"Q7257641$fc7995a0-49c4-a47e-fe5a-c1293e9687b1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formalization of derived categories in Lean/mathlib (Lean implementation for the paper Formalization of derived categories in Lean/Mathlib)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Formalization_of_derived_categories_in_Lean/mathlib_(Lean_implementation_for_the_paper_Formalization_of_derived_categories_in_Lean/Mathlib)"}}}}}