{"entities":{"Q6522672":{"pageid":14101634,"ns":120,"title":"Item:Q6522672","lastrevid":40690435,"modified":"2025-03-28T14:50:38Z","type":"item","id":"Q6522672","labels":{"en":{"language":"en","value":"homotopy.io: a proof assistant for finitely-presented globular $n$-categories"}},"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":"Q6522672$E5BFC2BA-FDF0-4DD2-8E74-74268F7375EF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f805870bca215cea835ab87e5ce32f9233b11c05","datavalue":{"value":{"text":"homotopy.io: a proof assistant for finitely-presented globular $n$-categories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6522672$A369EE9E-F97A-485E-AAE5-75601C647941","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d546fed3afd0cb487309f093e5299039b612c3bc","datavalue":{"value":{"entity-type":"item","numeric-id":6522671,"id":"Q6522671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6522672$B08FF5D1-11A2-4D82-A081-F9B74588E4A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cffbe5c7bacc4e5944b4aec8eadb9d3a9dbb3e96","datavalue":{"value":{"entity-type":"item","numeric-id":6341693,"id":"Q6341693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6522672$31A1F878-C9FE-49B0-9290-FF45D2E51785","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bd4a3d310f08e70109521a582a49a06ace4f5cef","datavalue":{"value":{"entity-type":"item","numeric-id":6386856,"id":"Q6386856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6522672$52EB46B2-2E5D-4201-B575-C0E366779BED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bf8616c4492a163c3ffbe42b1c425550bf34da87","datavalue":{"value":{"entity-type":"item","numeric-id":6408091,"id":"Q6408091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6522672$E556E700-BB01-4111-81D1-0C68541CF2FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a3a763a22df2c99144f6bc159e9debc6b2f3aa83","datavalue":{"value":{"entity-type":"item","numeric-id":6510068,"id":"Q6510068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6522672$B42CDA33-2995-4BC7-99AE-24ED85E6CEBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"569f23edbaa1a7127752c4509e98da8fdf361573","datavalue":{"value":{"entity-type":"item","numeric-id":265830,"id":"Q265830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6522672$E4CE3B57-0A30-492F-89E3-BA4BD65BF9BA","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":"Q6522672$9E6E6DE1-58A0-4F3A-BE85-1E918C1674B6","rank":"normal"}],"P21":[{"mainsnak":{"snaktype":"value","property":"P21","hash":"26ceafb5ca695cc402cdb0732164face67c3dc56","datavalue":{"value":"2402.13179","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6522672$C9B58031-8805-488F-A886-E3EA4B3626D0","rank":"normal"}],"P1687":[{"mainsnak":{"snaktype":"value","property":"P1687","hash":"0b56dcd59b452de127df593c2aa5af46d6ef5c20","datavalue":{"value":"https://github.com/homotopy-io/homotopy-rs","type":"string"},"datatype":"url"},"type":"statement","id":"Q6522672$38B8B982-8CC8-434C-BCE8-275DBF56D375","rank":"normal","references":[{"hash":"61676f95b7972fbe1367c90a36a2d095fbb73fd7","snaks":{"P1688":[{"snaktype":"value","property":"P1688","hash":"dcf9705ac0af24ba7016e0d8528de42742f49294","datavalue":{"value":"https://paperswithcode.com/paper/homotopy-io-a-proof-assistant-for-finitely","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:6522672","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6522672"}}}}}