{"entities":{"Q6278286":{"pageid":13414921,"ns":120,"title":"Item:Q6278286","lastrevid":99032162,"modified":"2026-06-05T19:04:14Z","type":"item","id":"Q6278286","labels":{"en":{"language":"en","value":"The Cayley-Dickson Construction in Homotopy Type Theory"}},"descriptions":{"en":{"language":"en","value":"scientific article"}},"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":"Q6278286$E506A10C-804A-4E0F-AAF8-5E3E67E12237","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cf1c632a13fb193d96766568ea7ae341fda2b26b","datavalue":{"value":{"time":"+2016-10-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6278286$5FFD1F81-22A3-4821-AC68-9F1094FE544C","rank":"normal"}],"P21":[{"mainsnak":{"snaktype":"value","property":"P21","hash":"668903e5101ef28bf3b4c32c64061a6c4e503eac","datavalue":{"value":"1610.01134","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6278286$2E51D051-14A2-4955-AFCC-285FFB045644","rank":"normal"}],"P22":[{"mainsnak":{"snaktype":"value","property":"P22","hash":"c8ae73f0176a16e701f26bc8833962e4fdcb175a","datavalue":{"value":"math.AT","type":"string"},"datatype":"string"},"type":"statement","id":"Q6278286$8746EB46-5053-4D1A-8C97-AB3585729C23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P22","hash":"52761b11eff7231b8be1bfc1a165f9189de1d528","datavalue":{"value":"cs.LO","type":"string"},"datatype":"string"},"type":"statement","id":"Q6278286$DD22FDA2-915B-447B-BCA8-AED4D7595651","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P22","hash":"26b6cf6b0a105dcc4af3910c7d26c15b85772e87","datavalue":{"value":"math.CT","type":"string"},"datatype":"string"},"type":"statement","id":"Q6278286$4C4EF7A4-DC84-4941-99C3-5B9CBCAF6DBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P22","hash":"91cfcc3a3c7fc0e829c6b8c5f874cc185f7b19b3","datavalue":{"value":"math.LO","type":"string"},"datatype":"string"},"type":"statement","id":"Q6278286$C0474A9C-05CA-44AA-848B-332F18B714E7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3e65812be4cd0be55e195a415cc5c72e9a1b4f46","datavalue":{"value":{"entity-type":"item","numeric-id":1687769,"id":"Q1687769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6278286$9756C476-0D6E-4DB5-BFA9-B17D89A4DCD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1f0df7e8ab50acf71103a626013759dc1694180c","datavalue":{"value":{"entity-type":"item","numeric-id":2229966,"id":"Q2229966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6278286$D30CC38D-1014-463D-B459-DA5DB4EB79F3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9230c8da6e5632ad621620269b7ca185454f9df","datavalue":{"value":"03B38","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6278286$C23A95DF-6A87-4F9C-AF54-3B5F18D0DEB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"befe607509a93d2a536d630fd3a8e8ae944f11b0","datavalue":{"value":"18N40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6278286$CABDF6D3-1187-498F-AF76-9AFAA4D57783","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dc9a4660f4497e5f1d0102b9481bc1c28d08d790","datavalue":{"value":"18N45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6278286$EEE3DF6F-14F6-448B-BAEF-293D6BF1FDC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"72047dd175f2df177aa1ddf4f7ca150e0c1e70c2","datavalue":{"value":"55U35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6278286$7492072E-3BF4-4D11-A42B-34D68050C20B","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":"Q6278286$1F7DDFEF-7D04-4147-9A07-80DC0EC32537","rank":"normal"}],"P1676":[{"mainsnak":{"snaktype":"value","property":"P1676","hash":"995fb1c0768d2d62fd6d8eef1bdf37b792d69c5c","datavalue":{"value":{"entity-type":"item","numeric-id":3121020,"id":"Q3121020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6278286$DFAD1E94-15B7-4288-97E9-BA5197D48CEC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The Cayley-Dickson Construction in Homotopy Type Theory","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_Cayley-Dickson_Construction_in_Homotopy_Type_Theory"}}}}}