{"entities":{"Q6328381":{"pageid":13463768,"ns":120,"title":"Item:Q6328381","lastrevid":58978857,"modified":"2026-04-07T05:28:08Z","type":"item","id":"Q6328381","labels":{"en":{"language":"en","value":"Introduction to Univalent Foundations of Mathematics with Agda"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 900503050"}},"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":"Q6328381$170EE989-620B-492D-B372-BA9292C8B382","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a08a5233efdb0bfa77406699a389e94eb9331ca7","datavalue":{"value":{"time":"+2019-11-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6328381$5F9323DB-DDE9-49B2-B4B4-98DA51D20804","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e16afa49763aa251d50707d52eece0d5ea5808a6","datavalue":{"value":{"entity-type":"item","numeric-id":168355,"id":"Q168355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6328381$AF002BBE-617C-4739-915F-403BFF235073","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7e690c3fdcf1cb22afe54f36a6a2e35c2144f22c","datavalue":{"value":"900503050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6328381$DDFD6B42-AC9D-43BF-B8B9-13EFEE32C0B5","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":"Q6328381$E4CC26AF-12A8-4157-922B-D364D4EC36C0","rank":"normal"}],"P1687":[{"mainsnak":{"snaktype":"value","property":"P1687","hash":"4ddafaf8f9447d901f3f81b306c2815b671ef640","datavalue":{"value":"https://github.com/simfleischman/univalent","type":"string"},"datatype":"url"},"type":"statement","id":"Q6328381$37841CAD-C3A5-418A-8C66-2AA77EB9A480","rank":"normal","references":[{"hash":"28d64b33d44e84e63b3f67c8c29e91e99ce4e884","snaks":{"P1688":[{"snaktype":"value","property":"P1688","hash":"3158e213b7a71b141f0eee28ecd66ef0cd772a74","datavalue":{"value":"https://paperswithcode.com/paper/introduction-to-univalent-foundations-of","type":"string"},"datatype":"url"}],"P1689":[{"snaktype":"value","property":"P1689","hash":"f846dfc57207c7640d2726d8f72d9e8a317f0bcf","datavalue":{"value":"repository README","type":"string"},"datatype":"string"}]},"snaks-order":["P1688","P1689"]}]}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6328381","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6328381"}}}}}