{"entities":{"Q2795209":{"pageid":2805947,"ns":120,"title":"Item:Q2795209","lastrevid":83509772,"modified":"2026-05-07T08:34:06Z","type":"item","id":"Q2795209","labels":{"en":{"language":"en","value":"Book review of: The Univalent Foundations Program, Homotopy type theory. Univalent foundations of mathematics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6558604"}},"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":"Q2795209$D6D9A666-9FC0-462A-B790-21555B1318E4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f701db69098a3b1bf05d48dcc0150e3fe3bc8053","datavalue":{"value":"1336.00105","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2795209$4B8FB351-3A76-44F5-8F63-C403AF6B49D7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fbe9e095ac1b70ecb414d116d440bb0e8b81e605","datavalue":{"value":{"entity-type":"item","numeric-id":387124,"id":"Q387124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2795209$3CE75957-D38F-48A4-878B-62835CD101CD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"627782bb8e66e4f5813f03d60fbe78f72f4da774","datavalue":{"value":{"entity-type":"item","numeric-id":2795200,"id":"Q2795200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2795209$4D6CF106-CC63-4B8E-A58E-0DEF95E94228","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c77c292dd234a248484083a7dbe176fc10a2d6fe","datavalue":{"value":{"time":"+2016-03-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2795209$7FA5B737-3327-4467-93F5-D0EE87C26954","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8cdbcb9a9433c83028f6e622f8bfd7755585518b","datavalue":{"value":"00A17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2795209$D555A6F1-E0A8-468C-AF77-F013D5A7DD25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89663cdc2c9f64b2cd0a104bcac86329d89b9b2d","datavalue":{"value":"03-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2795209$FF5A2D49-BDA4-4C31-ACCD-65C11BD10F03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ad0b16e1125698a4cbd0b924b08652f9816eac5d","datavalue":{"value":"55-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2795209$2ADB9868-8DE0-4880-B8CC-BADB898AF2AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2795209$A3ABF533-7196-4AE7-886B-C24F0E217D4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2795209$F3FFE0A9-A4AD-487C-AA69-DB9BF4314E21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"aa2d311bfebadfc58292672011b7418c359f6a26","datavalue":{"value":"18A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2795209$A715D691-F682-45C1-B04D-DEBAE1DDE861","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8e11c3b849997ecc24b1ba169659dfe9d73b854e","datavalue":{"value":"18B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2795209$81FAE33E-BADF-4F3B-9D5F-B16AAE0D6DE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c9fdba58e5344e05288d09cbbfa64fc756b9e06c","datavalue":{"value":"55U40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2795209$ACE214D8-FE6C-4442-A138-BC9D8BE1C30D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6a796a1b7c680be15e4ee3cb3c04750e8df2a617","datavalue":{"value":"6558604","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2795209$56B6E6A7-A50B-46F5-9BF5-CE49ED36B286","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":"Q2795209$62DF2F93-DACF-4F81-8D9B-EE28B3C71C7D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"08d42d06751db400a9277e760200144169857271","datavalue":{"value":"https://doi.org/10.1017/bsl.2014.31","type":"string"},"datatype":"url"},"type":"statement","id":"Q2795209$773A517A-D893-4205-AD18-7C6E588EF41E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2090200388aa1335d199fb2c22859afe9c2d76f7","datavalue":{"value":"W2977888023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2795209$7703DE7A-CB8E-46E9-B387-1D07FF948845","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"65cbec0241d25141856115b76b653a0e9fca6f0c","datavalue":{"value":"10.1017/BSL.2014.31","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2795209$FB8E2434-D278-456C-A36A-EFC8D4E4B6E6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e0ef461feb6fc91bfa64ea2a9b229abc8261fabe","datavalue":{"value":{"text":"Book review of: The Univalent Foundations Program, Homotopy type theory. Univalent foundations of mathematics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2795209$D74F966F-4001-4736-96B9-798415857473","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Book review of: The Univalent Foundations Program, Homotopy type theory. Univalent foundations of mathematics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Book_review_of:_The_Univalent_Foundations_Program,_Homotopy_type_theory._Univalent_foundations_of_mathematics"}}}}}