{"entities":{"Q6637795":{"pageid":14248947,"ns":120,"title":"Item:Q6637795","lastrevid":40606993,"modified":"2025-03-10T10:11:01Z","type":"item","id":"Q6637795","labels":{"en":{"language":"en","value":"Formalisation of the category of Hopf algebras in \\textsf{Lean4}"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7943818"}},"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":"Q6637795$737E14DB-9568-4B19-928B-EBC559E1F07E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c5cbbcaf475da965710a586ebde3f2e5b3e0089d","datavalue":{"value":{"text":"Formalisation of the category of Hopf algebras in \\textsf{Lean4}","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6637795$8C6AA01E-F93D-4B65-8811-836B54F83166","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5be8d15080a0ea925ff95e84afe114d1388cecd8","datavalue":{"value":"10.1007/978-3-031-64529-7_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6637795$F5B709C1-A276-4578-8ED4-585782CDE87E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7f4702fe9f939b8449161419e70bb9abba44433d","datavalue":{"value":{"entity-type":"item","numeric-id":6159372,"id":"Q6159372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6637795$F9A31C9B-C214-4649-BC6B-801E7222AEF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fdb6dd47e533a9c0dee3eeee934b6ba1524ac288","datavalue":{"value":{"entity-type":"item","numeric-id":6609714,"id":"Q6609714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6637795$59E11CAD-F419-4518-93DD-9C43BBF3CB3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"37e445455931ca96348d556b0d36e946c9fe8164","datavalue":{"value":{"entity-type":"item","numeric-id":2679208,"id":"Q2679208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6637795$948EFAC6-EE33-4CD4-BE78-06F39A87B4C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2248abbcba2f13538c8dd01680f56d3aa01ccd47","datavalue":{"value":{"entity-type":"item","numeric-id":6637794,"id":"Q6637794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6637795$BB6AC816-4063-41F5-9B66-88133218B0EE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"94ed3d9ad2009d09c98d19037b5add3226f6f958","datavalue":{"value":{"time":"+2024-11-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6637795$AA5ADAF3-6581-4CA4-8C2F-57784E62A7D5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6637795$910DBCC0-8E01-423A-BAEB-BF399B3A2DE5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0238b350202b6724758cb626a38bc9d147c6cd43","datavalue":{"value":"7943818","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6637795$D792985C-B6D2-4E13-9DB5-3378C58EA73D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e8fd89fa28c0f6c3672ef10c3a2104586281edb","datavalue":{"value":"Lean","type":"string"},"datatype":"string"},"type":"statement","id":"Q6637795$592D8D21-BF7E-4B53-A12A-9CFC8D71019C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"edc0dc7c05f75a6364f0dcd54ee6aed1a8932214","datavalue":{"value":"formalisation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6637795$A67622C1-2BC4-4257-B186-E7451166CFDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b77fd4328296f2fcabac692b0a742ecbfb715c16","datavalue":{"value":"Hopf algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q6637795$B0745713-5CCD-461C-AC3F-684395733532","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"63547d207b433d991ea933c02f794df41fda021e","datavalue":{"value":"affine group schemes","type":"string"},"datatype":"string"},"type":"statement","id":"Q6637795$49DEB013-0474-4ADA-A5C9-B89E335DDA89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d8fbdc219edcbd2a0a0ba18713aac811989e53e8","datavalue":{"value":"anti-equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q6637795$3218BE19-9B07-4B83-80D4-A81F7FF7850F","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":"Q6637795$9784282D-2A92-4CC3-B2BA-41AB8121D6A1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb4d1a108f21a7ead154234a3a776721e16a7c1d","datavalue":{"value":{"entity-type":"item","numeric-id":4317887,"id":"Q4317887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6637795$E6E1D6A3-A0B3-4373-863B-FA91C553964A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6637795","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6637795"}}}}}