{"entities":{"Q5420262":{"pageid":7449836,"ns":120,"title":"Item:Q5420262","lastrevid":58562673,"modified":"2026-04-05T18:39:26Z","type":"item","id":"Q5420262","labels":{"en":{"language":"en","value":"Homotopy type theory. Univalent foundations of mathematics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6303354"}},"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":"Q5420262$D796195F-E45E-454A-A4F2-FCAB18321C1E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bc28df562261b2f0e9ca1a609915644e04fe3a9b","datavalue":{"value":"1298.03002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5420262$8BFAAE88-79A9-4EA0-BA8C-4F6649543DC5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"11a2b4bfe918b093eb37388faf3ecbac1338a5ff","datavalue":{"value":{"entity-type":"item","numeric-id":5420261,"id":"Q5420261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5420262$B8EB22F8-018F-409E-AC67-D3A27E43B4C8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"43778674c2b2702627340bb6c16c332cef55ae85","datavalue":{"value":{"time":"+2014-06-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5420262$D9CC817C-5525-453A-B179-93C0FE08B655","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8ba0380947f1dc688b7303554b42e148b4c66894","datavalue":{"value":"https://arxiv.org/abs/1308.0729","type":"string"},"datatype":"url"},"type":"statement","id":"Q5420262$624E51CF-57DA-442A-B752-E0E0B9570B64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"99b05d5dc8dc87cde7d4203d99b7f1ef699d2806","datavalue":{"value":"http://hottheory.files.wordpress.com/2013/03/hott-online-611-ga1a258c.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q5420262$57DD2403-C5FF-4BE8-938A-715D379FFA8A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89663cdc2c9f64b2cd0a104bcac86329d89b9b2d","datavalue":{"value":"03-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5420262$4C12A154-98FE-4560-A3D7-52576BBD2721","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ad0b16e1125698a4cbd0b924b08652f9816eac5d","datavalue":{"value":"55-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5420262$67BF3D29-2A6A-43FD-846D-5FD41F311D8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5420262$62CAA75C-FAB0-4873-9AE4-D24C48E21023","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5420262$CB2836A3-39ED-46E3-85D3-4606449EC5CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"aa2d311bfebadfc58292672011b7418c359f6a26","datavalue":{"value":"18A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5420262$A0C45D31-2419-4DE3-AA6F-4F7344C3B1FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8e11c3b849997ecc24b1ba169659dfe9d73b854e","datavalue":{"value":"18B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5420262$4C4A95A8-78AE-4C26-BB2C-37ED464FE1DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c9fdba58e5344e05288d09cbbfa64fc756b9e06c","datavalue":{"value":"55U40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5420262$03272797-F054-45A0-800C-47E4FF2147BF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"832f56c91c535b4adba8f9cbf089e7bc6446ff18","datavalue":{"value":"6303354","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5420262$66BC852B-B61B-4801-ADC6-D45CB640D5C2","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":"Q5420262$82F2F68A-292F-45DA-BE81-20F9735DCE60","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"870ffdd587399f56f51a09e653870357ab13cbdb","datavalue":{"value":{"entity-type":"item","numeric-id":5208873,"id":"Q5208873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a0629f4827cc48e74fd641347fcf476c7668c57","datavalue":{"value":{"amount":"+0.8017789721488953","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":"Q5420262$1F183240-A1E2-41CD-8D7F-3E3A77C15B6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3f3586461a8b1d69e0d9362b0d00a699e59c675","datavalue":{"value":{"entity-type":"item","numeric-id":2969774,"id":"Q2969774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77d47796337a9681cb641eb5faca30b636ac6e35","datavalue":{"value":{"amount":"+0.7977321743965149","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":"Q5420262$FDC5E504-2962-45BE-9987-15B560274231","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c583d83c0dde3f48c30b9294a438797118f984ee","datavalue":{"value":{"entity-type":"item","numeric-id":2031691,"id":"Q2031691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d2adc53af80fd0b918584eac500e55a4f1ecfd1","datavalue":{"value":{"amount":"+0.7910577058792114","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":"Q5420262$AAA331FD-2A55-49DA-AA59-39A6447D8D8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6e2fa711171a0ac47274caeed4c6108ca6294c1","datavalue":{"value":{"entity-type":"item","numeric-id":2933829,"id":"Q2933829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1da8a99f76c8a3884ee3a9656273d27394c36ece","datavalue":{"value":{"amount":"+0.7868126034736633","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":"Q5420262$35994522-7084-45B7-A6EA-BE338C6C506B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50bea3fd6c09b5ce208604064041f94eb2653827","datavalue":{"value":{"entity-type":"item","numeric-id":5164726,"id":"Q5164726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5f5e0cd523d1805a64e4fe977a3d9ea5434f22f","datavalue":{"value":{"amount":"+0.7866101861000061","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":"Q5420262$CFED6C86-8EBC-4C62-8233-1154A9E01CAE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5420262","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5420262"}}}}}