{"entities":{"Q6358975":{"pageid":13493304,"ns":120,"title":"Item:Q6358975","lastrevid":99316208,"modified":"2026-06-05T19:41:36Z","type":"item","id":"Q6358975","labels":{"en":{"language":"en","value":"A Machine-checked proof of Birkhoff's Variety Theorem in Martin-L\\\"of Type Theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 900470687"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6358975$17909229-8063-4821-B1D6-809FD914C021","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c0827198be489c99d5ba6559ec16692e838cc43b","datavalue":{"value":{"time":"+2021-01-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6358975$2F33ABBA-186D-4C87-A62A-577F77A79AD5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c8ef7e0890d1c6e1b6ddaa1d3e68802584e3ebf3","datavalue":{"value":{"entity-type":"item","numeric-id":6232439,"id":"Q6232439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6358975$58CF3294-95DD-43C0-A9F3-4FD40A2D1AE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"24a39cd6203830ba7256d1741173f3d6696f619a","datavalue":{"value":{"entity-type":"item","numeric-id":532397,"id":"Q532397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6358975$9ECD4861-ED6D-4063-9976-386A96D9E746","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6358975$14B4B4CE-9AF1-4CB8-9B4E-31583741289B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed4ac44229a63771ae4ded31038fe93f434bffb7","datavalue":{"value":"03C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6358975$9FCAB94D-E554-4A38-94D5-13686CBCB3C1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e680454266aa861065060217876623439ddcce87","datavalue":{"value":"900470687","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6358975$B01927CD-A1A2-4696-B088-B1031AE1DBA3","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6358975$8322B496-3A56-4635-A246-96E0CB12A2AD","rank":"normal"}],"P1687":[{"mainsnak":{"snaktype":"value","property":"P1687","hash":"16688320d80011d7f61a9cc5eaca4ba34fc88aa2","datavalue":{"value":"https://github.com/ualib/ualib.github.io","type":"string"},"datatype":"url"},"type":"statement","id":"Q6358975$41EBC9C9-4F3A-4BBD-926A-85914786AD7F","rank":"normal","references":[{"hash":"ab10e6787f1b16a024a699b99df7756ce6c56c12","snaks":{"P1688":[{"snaktype":"value","property":"P1688","hash":"c35c8bf69441cd598eaa7200fa0dc26970e76e22","datavalue":{"value":"https://paperswithcode.com/paper/the-agda-universal-algebra-library-and-1","type":"string"},"datatype":"url"}],"P1689":[{"snaktype":"value","property":"P1689","hash":"24a5bedbb98b468462189ba0d6c16a88a2414cc1","datavalue":{"value":"publication","type":"string"},"datatype":"string"}]},"snaks-order":["P1688","P1689"]}]}]},"sitelinks":{"mardi":{"site":"mardi","title":"A Machine-checked proof of Birkhoff's Variety Theorem in Martin-L\\\"of Type Theory","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_Machine-checked_proof_of_Birkhoff%27s_Variety_Theorem_in_Martin-L%5C%22of_Type_Theory"}}}}}