{"entities":{"Q2957700":{"pageid":2968419,"ns":120,"title":"Item:Q2957700","lastrevid":58079373,"modified":"2026-04-03T17:33:31Z","type":"item","id":"Q2957700","labels":{"en":{"language":"en","value":"Higher homotopies in a hierarchy of univalent universes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6678727"}},"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":"Q2957700$6F676E99-8EDB-4807-A069-131AE52F0915","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4fcc72420971ecedb7643b6be757e3bdecdb3e3f","datavalue":{"value":{"text":"Higher Homotopies in a Hierarchy of Univalent Universes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2957700$62F6CE9C-6354-4FD7-AC44-BF5C0D3CB48A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"853628db65a9cddf59e9d759bbb8a2ce2a0ed299","datavalue":{"value":"1354.03100","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2957700$BAC861CD-C8CA-4F8A-828A-1AE77949798A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1a45270f35fb72c3ba5e9b4f45e8dce1b009b60e","datavalue":{"value":"10.1145/2729979","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2957700$26E66A92-85FE-46E7-BFEF-CD334724259B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc2accd5eaf3e9e7e00366f515bd2165d3c134f6","datavalue":{"value":{"entity-type":"item","numeric-id":1652994,"id":"Q1652994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2957700$ECFC1752-08B8-49E4-9577-8107299B2244","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc7fdb135258dcfe93ae25455681fbed1804f031","datavalue":{"value":{"entity-type":"item","numeric-id":2013547,"id":"Q2013547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2957700$46E9C1A1-0790-47F0-B90D-5CF5CEB59E94","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2957700$DA1A72CE-54B1-48AB-8AD5-1157E40A94EF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"10dfb43c7185210e67dd4f65f8a3dc19dfd4cd12","datavalue":{"value":{"time":"+2017-01-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2957700$73A36270-3684-4B6A-85FE-8FE7E5C40583","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f8a58d9afd35d9ac1916d181001db118d756687c","datavalue":{"value":"https://arxiv.org/abs/1311.4002","type":"string"},"datatype":"url"},"type":"statement","id":"Q2957700$99859BE9-9FBE-4918-A488-54188CDFF746","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2957700$84F0DAF0-A0AB-4701-9671-51DBD3B6861D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2957700$91A32293-F96F-43CB-9BAC-332E2DD84321","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2957700$6E97F2ED-B0EC-4DBE-8D60-78B7240BD9BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2957700$2DE71620-9EFD-4B72-876C-0F095D156F4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c9fdba58e5344e05288d09cbbfa64fc756b9e06c","datavalue":{"value":"55U40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2957700$0B8DF639-CD33-43CC-9527-FE7B759D1296","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2957700$AAB78BCA-B747-4689-8E35-916CA5CEE5A8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cd020730b548bd92a75758c616ef0c4526b68b0d","datavalue":{"value":"6678727","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2957700$4654C60C-F178-4125-ADB2-F827688F00D0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4ecd2d433c9f863c39fe5a1fa2de24434b6de0d","datavalue":{"value":"homotopy type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2957700$FE4F23CB-8E3D-4973-93DE-E5E532D2310F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"46de9ed2b147910cdd3bdcb8038cadb368a68565","datavalue":{"value":"loop spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q2957700$F36457F9-2749-4ED0-AFD3-3A3CCF50CF82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8330a98118f557cf328a0f5fd8d022b80df98a7c","datavalue":{"value":"truncation levels","type":"string"},"datatype":"string"},"type":"statement","id":"Q2957700$561C4EEC-3283-4F25-99B9-161390E313DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d25b3127f6632ca40bbcfe45d3b17c5f77dc23f","datavalue":{"value":"univalent universes","type":"string"},"datatype":"string"},"type":"statement","id":"Q2957700$B3CA7814-B4E5-4FFD-9E3D-175A697878BE","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1a8b6b13bef47cb19f4e2508b5917af235a65eb0","datavalue":{"value":{"entity-type":"item","numeric-id":21668,"id":"Q21668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2957700$D6E6A9DD-BDEA-48FE-9B38-FBFEA3309A03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8bf42d0fd66acf369e3d5d44d7ebef6adc7ae452","datavalue":{"value":{"entity-type":"item","numeric-id":56651,"id":"Q56651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2957700$52CD94A7-ECDE-4163-B988-B7A006353671","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":"Q2957700$07E4E7AC-5716-4136-A893-6FF8C081FE31","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"920e47ba23a2e3a3aa4819afb2dff456832bea9d","datavalue":{"value":"W2104240658","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2957700$52E84A5C-35FD-4BEF-800C-4D86E85E5F7D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"91f5926f885fc4f0aa33fee601a61278b518ca99","datavalue":{"value":{"entity-type":"item","numeric-id":5277974,"id":"Q5277974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2957700$ABFAB859-9D7F-42B7-BC58-4177562516FB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72cdc96fa3ad2a22c3f007fc23ed67bdfe00719c","datavalue":{"value":{"entity-type":"item","numeric-id":5145682,"id":"Q5145682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f53fb8b5584310eed4c3c13084efd9383fa79a2b","datavalue":{"value":{"amount":"+0.7792154550552368","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2957700$6591F740-0740-4EEE-8075-D9801819BA56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7be9f0bb3e23e9ef4020847e600b42c1a56f4949","datavalue":{"value":{"entity-type":"item","numeric-id":2938036,"id":"Q2938036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"435d702ba81f3e62252356393c874d2b13b1ad5f","datavalue":{"value":{"amount":"+0.7746279835700989","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2957700$153D8F58-1D6C-4BB8-976B-5043EC173244","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"516a087ce6888e89c27346063181cdf526639e94","datavalue":{"value":{"entity-type":"item","numeric-id":4580226,"id":"Q4580226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cef54d9d825b621c66027b5fb8984ba3d7098d8a","datavalue":{"value":{"amount":"+0.7743830680847168","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2957700$44B72D21-AB8A-4B45-A4A4-45E03C0FF050","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2a1ccb3b200eacff668c56085d8ceadba2ef59b","datavalue":{"value":{"entity-type":"item","numeric-id":5145298,"id":"Q5145298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8379a8b05d11aadb03ed8321a2c53cb76a1291d3","datavalue":{"value":{"amount":"+0.769849419593811","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2957700$530C7412-26D5-4984-9873-565D83E88D84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f46f34e4cc650b64ebb003303883a13e97b05d02","datavalue":{"value":{"entity-type":"item","numeric-id":5145293,"id":"Q5145293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75b6130b4c4e8b577254b28ca0c2d70c5ca1ba54","datavalue":{"value":{"amount":"+0.7615320682525635","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2957700$21765578-15C9-4FC5-8369-23F16A83F829","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2957700","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2957700"}}}}}