{"entities":{"Q5164726":{"pageid":7194297,"ns":120,"title":"Item:Q5164726","lastrevid":58468101,"modified":"2026-04-05T08:39:57Z","type":"item","id":"Q5164726","labels":{"en":{"language":"en","value":"Homotopy type theory: the logic of space"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7425820"}},"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":"Q5164726$E9184E78-BC5C-40A9-BB31-7775BCDED6D0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3555158a54ebaffb516ddb4dc76c21fc2c7c54e6","datavalue":{"value":"1479.18002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5164726$106E539C-0FC7-4060-98A4-D1CD44656CC8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0aec988e4b31ab0b3fd008867fb1fbedfd6f4bff","datavalue":{"value":{"entity-type":"item","numeric-id":246332,"id":"Q246332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5164726$CC1BA003-51C6-4F0F-858B-34BD5E603E96","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"06961e082b0a09980ab4e9347327096773177649","datavalue":{"value":{"time":"+2021-11-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5164726$0AC879B1-876D-4FF6-AB9D-B2221B90FFA3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"00c242f7bad8ee462cb10bdf525cf833cbab4d06","datavalue":{"value":"https://arxiv.org/abs/1703.03007","type":"string"},"datatype":"url"},"type":"statement","id":"Q5164726$B0235FD3-A8D5-4017-9B2E-AF126A49CD64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"456269018c8bbaa0d4a1d72de243784bfa3c09bf","datavalue":{"value":"https://www.cambridge.org/core/books/new-spaces-in-mathematics/homotopy-type-theory-the-logic-of-space/D13957048F50112B531698F6FB6269EB","type":"string"},"datatype":"url"},"type":"statement","id":"Q5164726$D0F27090-1A20-486A-8388-EF77641D1194","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"aafe46c09c92adc5a232422756cd073de4b679c3","datavalue":{"value":"18-03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5164726$F6495399-DAEE-45BB-AD24-E5DA732C64D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5164726$523E52E4-7620-4D88-907D-1468955EF276","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dc9a4660f4497e5f1d0102b9481bc1c28d08d790","datavalue":{"value":"18N45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5164726$7252CE0F-F79D-46E1-9D46-FC9AF8897B96","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7410955a50dd1cfd735e0329efd478158a0accda","datavalue":{"value":"7425820","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5164726$B41B3DCD-518E-44FC-8C53-2AD2C8D87387","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4477c9598ae4965364daa3ce025ec46065fff35c","datavalue":{"value":"geometry","type":"string"},"datatype":"string"},"type":"statement","id":"Q5164726$20CDC274-F67D-4047-816A-53077BB56492","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96a810129b114a6942442a7fc510c6873bd89ff8","datavalue":{"value":"topology","type":"string"},"datatype":"string"},"type":"statement","id":"Q5164726$533D6033-3F98-49A7-81D4-27FB1741F2C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8902e506e56978ced118587e65eb775a1247cea7","datavalue":{"value":"categorical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5164726$2412ACEB-0C89-4C92-B04E-4E83369F4D89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2abb1b2dfb8967bf3aa8a1b7494d6eff4c8b2f1f","datavalue":{"value":"homotopy theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5164726$2E6FD91E-DC31-4982-8C94-B6D139A547DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4ecd2d433c9f863c39fe5a1fa2de24434b6de0d","datavalue":{"value":"homotopy type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5164726$B8BA3643-78B9-4746-8C06-FF18C97D3D71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4bbb0c1d4a0dde26226934f7234d049627289106","datavalue":{"value":"logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5164726$1021E5AD-2370-4E41-A505-E0A1B0FA23E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"633f52fcb14b9ca4cd86872413983bbb7a0788e6","datavalue":{"value":"infinity-groupoids","type":"string"},"datatype":"string"},"type":"statement","id":"Q5164726$23A8DD90-6108-4D62-A51D-3A2CC95FAA5C","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":"Q5164726$6620DCEA-72CF-4F46-9FE8-6E8D8153153D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9f90a5278aa4d120765e8fe5f2f4de75d70b9514","datavalue":{"value":"10.1017/9781108854429.009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5164726$FB51D1E7-2243-44C0-83A1-10D556F8C1CF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"60034b9c35b0f1623b5a260c44ce92ad9d3650b1","datavalue":{"value":"W2602979188","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5164726$6361BD6B-7F78-4E9C-B402-7147C978C525","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d8862d7336376eddf52eff291c0dbed6cf9b4831","datavalue":{"value":{"text":"Homotopy Type Theory: The Logic of Space","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5164726$629D27B8-E3AF-4BF1-9564-79D476EA4BE4","rank":"normal"}],"P1643":[{"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":"f22c1ca7f5e93768180191e3d07de8a1d326c148","datavalue":{"value":{"amount":"+0.8115663528442383","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":"Q5164726$DAA9D301-8D06-4AC1-B2C2-0751C44D84D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db1d3f5ef089cbf22ba48486e544f9deba49cc31","datavalue":{"value":{"entity-type":"item","numeric-id":5740647,"id":"Q5740647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66d61cf5498ae729837fe136dc3b111e0869abb5","datavalue":{"value":{"amount":"+0.8005286455154419","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":"Q5164726$05827DC9-034A-4EBF-826D-5DFF892BB8A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7a9ecafa517a489f6c9b034480cb6a1eb4ba61b","datavalue":{"value":{"entity-type":"item","numeric-id":2937385,"id":"Q2937385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b81f44d606e57af3037f6f9662b9a91ff0dd8afe","datavalue":{"value":{"amount":"+0.7980478405952454","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":"Q5164726$1C3421DA-AD4D-4B53-AA24-9AA9422EE4C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a4d1b0501bc0ca62d393e5b76273a0ea507e928","datavalue":{"value":{"entity-type":"item","numeric-id":5420262,"id":"Q5420262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35065c3ec6ada897c21082517b003248aa50fda8","datavalue":{"value":{"amount":"+0.7977378368377686","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":"Q5164726$D3709FEB-582A-4C04-B4D2-D665911E3053","rank":"normal"},{"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":"2d3fac971d6525ccd237481fa1fe433e9a129f15","datavalue":{"value":{"amount":"+0.7948170900344849","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":"Q5164726$B3CE4136-C398-4D2F-97C9-DDA5803BA04B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5164726","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5164726"}}}}}