{"entities":{"Q5420261":{"pageid":7449835,"ns":120,"title":"Item:Q5420261","lastrevid":25366284,"modified":"2024-03-04T22:18:54Z","type":"item","id":"Q5420261","labels":{},"descriptions":{},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"d4803b278fc7f7c93c97da56951627413d40b28c","datavalue":{"value":{"entity-type":"item","numeric-id":57162,"id":"Q57162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5420261$24DE42EE-6B56-4112-9B61-4598993E7054","rank":"normal"}],"P676":[{"mainsnak":{"snaktype":"value","property":"P676","hash":"17b50187ce115383d86dbcda684a3424ce35b6a5","datavalue":{"value":"the-univalent-foundations-program.","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5420261$2ED85FD1-4EB2-4A27-BBAE-4012CA36A3FF","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"5010d3f726b65235b23be4d49581d9990fe02e40","datavalue":{"value":{"entity-type":"item","numeric-id":5976445,"id":"Q5976445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5420261$831E10C4-6EA1-4E6F-9EF8-410BDA85F9A8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Person:5420261","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Person:5420261"}}}}}