{"entities":{"Q6303061":{"pageid":13439282,"ns":120,"title":"Item:Q6303061","lastrevid":40689543,"modified":"2025-03-28T14:38:19Z","type":"item","id":"Q6303061","labels":{"en":{"language":"en","value":"Cartan Geometry in Modal Homotopy Type Theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 900500341"}},"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":"Q6303061$148A2F96-F177-421C-8374-C7D6F4D0DD40","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"16a246fdb3971248251b165b2ca17532d275c71d","datavalue":{"value":{"time":"+2018-06-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6303061$C8AF3C42-D4AA-4CD4-9839-6210805D164E","rank":"normal"}],"P21":[{"mainsnak":{"snaktype":"value","property":"P21","hash":"050d648d353422cb98fe79802f176d34bf8c1eac","datavalue":{"value":"1806.05966","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6303061$0FC33091-672B-4444-8E04-DF024B99C66B","rank":"normal"}],"P22":[{"mainsnak":{"snaktype":"value","property":"P22","hash":"512574ff3e83dda00e49549d649760b50d8d2f37","datavalue":{"value":"math.DG","type":"string"},"datatype":"string"},"type":"statement","id":"Q6303061$2C934ED4-E12E-47D5-97DA-203C88869A11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P22","hash":"c7a9e8c4dd233111fe36f7292ca610b7f293efd3","datavalue":{"value":"math.AG","type":"string"},"datatype":"string"},"type":"statement","id":"Q6303061$4457A40D-E3B6-4A8D-A9DD-E153AF0DCE48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P22","hash":"26b6cf6b0a105dcc4af3910c7d26c15b85772e87","datavalue":{"value":"math.CT","type":"string"},"datatype":"string"},"type":"statement","id":"Q6303061$D4CBF8AE-1DA0-41F9-B7A1-409EC6BBFF65","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c79298cd65ac7565138eefdea0cbc549fc0c0711","datavalue":{"value":{"entity-type":"item","numeric-id":5022923,"id":"Q5022923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6303061$EF2A1861-9E05-439E-A3F3-CFECB5FEBB1B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fd81b48b61c147628e59c918703c8204f48c9e78","datavalue":{"value":"58A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6303061$7A6112A7-5FF3-4835-B625-9A29778ACDFD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5109888c328f085911d134e126d36718a478dae2","datavalue":{"value":"900500341","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6303061$2A3956C1-8C1C-439F-B045-387FCC4784FE","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":"Q6303061$2E1C8A4B-3959-490E-8A8C-22F12AB2F8CE","rank":"normal"}],"P1687":[{"mainsnak":{"snaktype":"value","property":"P1687","hash":"deca145f9f3843a08e14d85ee871aa34fdfc84a4","datavalue":{"value":"https://github.com/felixwellen/DCHoTT-Agda","type":"string"},"datatype":"url"},"type":"statement","id":"Q6303061$E70D5C08-4F57-4CB9-B50D-8E532BA65181","rank":"normal","references":[{"hash":"f52337102dbd7820fc8b36c0f635692f2794e23e","snaks":{"P1688":[{"snaktype":"value","property":"P1688","hash":"0403a65b7de0c5fa7be5122388278aeb080ae114","datavalue":{"value":"https://paperswithcode.com/paper/cartan-geometry-in-modal-homotopy-type-theory","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":"Publication:6303061","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6303061"}}}}}