{"entities":{"Q6504535":{"pageid":14083488,"ns":120,"title":"Item:Q6504535","lastrevid":103635332,"modified":"2026-06-06T07:47:43Z","type":"item","id":"Q6504535","labels":{"en":{"language":"en","value":"Globular weak $\\omega$-categories as models of a type theory"}},"descriptions":{"en":{"language":"en","value":"scientific article from arXiv"}},"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":"Q6504535$135A8C8F-4C72-4E10-A465-D60A081141C8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c1bd39b888f25145ea24b5393fa551ebfd727884","datavalue":{"value":{"text":"Globular weak $\\omega$-categories as models of a type theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6504535$968D5D8A-FD39-45FB-A0A9-7E064B9E3D84","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"633e63fffa6aaf3ccf5f7c74ad2e2a3a08e94427","datavalue":{"value":{"entity-type":"item","numeric-id":6149951,"id":"Q6149951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6504535$3A00066D-9188-4CA7-AFB3-068108DA485F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"797849c1a1820468428720423770d974e7666242","datavalue":{"value":{"entity-type":"item","numeric-id":2125993,"id":"Q2125993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6504535$283D9821-EB02-415D-9496-E84E31F3AE92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a43cf0a9bf485d009abdf07da36233316c201547","datavalue":{"value":{"entity-type":"item","numeric-id":265806,"id":"Q265806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6504535$948EEC4D-A4F2-4A0B-B05A-5FDB90B995E0","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":"Q6504535$9900F710-409E-41C7-AF95-8D89D571032B","rank":"normal"}],"P21":[{"mainsnak":{"snaktype":"value","property":"P21","hash":"067ce1560dcc9b02e7a798567e78f21e2e6cb7a9","datavalue":{"value":"2106.04475","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6504535$08F252DF-6A9B-46EE-99DA-B880271307AE","rank":"normal"}],"P1687":[{"mainsnak":{"snaktype":"value","property":"P1687","hash":"1269e9af5a5c422f4d48ae95bc644354307de7ec","datavalue":{"value":"https://github.com/thibautbenjamin/catt-formalization","type":"string"},"datatype":"url"},"type":"statement","id":"Q6504535$A3A7AF72-6469-408A-9CEA-CB204FD44815","rank":"normal","references":[{"hash":"338b5aeeaa1aaf0486f4e90fe03d90897cf3afd1","snaks":{"P1688":[{"snaktype":"value","property":"P1688","hash":"aba727e90d5c25da485b7f74b8edd2cf17be80d9","datavalue":{"value":"https://paperswithcode.com/paper/globular-weak-o-categories-as-models-of-a","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":"Globular weak $\\omega$-categories as models of a type theory","badges":[]}}}}}