{"entities":{"Q1708879":{"pageid":1719620,"ns":120,"title":"Item:Q1708879","lastrevid":68986446,"modified":"2026-04-13T03:33:14Z","type":"item","id":"Q1708879","labels":{"en":{"language":"en","value":"Univalent foundations as structuralist foundations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6853130"}},"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":"Q1708879$69FECA26-2F53-4533-982F-95F736EDEED3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d6bde4e0d6acd2df4fde949bbebf63e041984536","datavalue":{"value":{"text":"Univalent foundations as structuralist foundations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1708879$8F8A3D85-9D4A-4EC5-89EC-03BC78C39663","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d6bb6b9e060c1cbb0765854f8f7a346dff4c0d49","datavalue":{"value":"1400.03023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1708879$9E6B11BC-07C1-464F-821C-8D6BE82AA34C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a55b1b46e2d14ef2247b6b69bd307b8092bb0173","datavalue":{"value":{"entity-type":"item","numeric-id":1708877,"id":"Q1708877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1708879$5FDEA8A0-9935-4017-9F89-60A4AC7E7CA1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"28921346d64a666ce2dd47540df2f388e07634f5","datavalue":{"value":{"entity-type":"item","numeric-id":162813,"id":"Q162813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1708879$3B47DA59-3882-49B6-807E-B4056ED5E802","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b89ae30ad9dd2575aee905585ba5c4c25af3d67d","datavalue":{"value":{"time":"+2018-03-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":"Q1708879$07090D5F-070F-40F8-B402-747F753350CD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c6212da449865a52b9f473b373635533276eb2b3","datavalue":{"value":"http://philsci-archive.pitt.edu/12070/1/UF.asSF.finaldraft.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q1708879$46B483AF-F005-4F7C-B035-B6E0E7755B93","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e4b098745a9c94884926f893a322de8ad61e266a","datavalue":{"value":"Univalent foundations (UF), which grew out of homotopy-theoretic models of Martin-L\u00f6f type theory, replace sets with homotopy types as fundamental objects. In the paper under review, the author argues that UF may provide a suitable formalisation of the structuralist approach to mathematics. To this aim, he formulates a criterion that a foundation is required to satisfy to be identified as structuralist, namely that, for any branch of mathematics, the expressible properties should be invariant under the relevant criterion of identity. For example, in group theory the properties that our formal system allows us to formulate should be invariant under isomorphism. The author then explains how both Zermelo-Fraenkel set theory and the elementary theory of the category of sets fail to meet this requirement. The more technical part of the paper is devoted to arguing that UF do allow a faithful formalisation of the concept of ``relevant criterion of identity'' under which all well-formed predicates are invariant. The last section discusses and counters three arguments against the role of UF as a foundation for the whole of mathematics (a so-called ``big-f'' foundation).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1708879$F5D3FF28-8F64-4F84-8656-F0FC9C63AEF5","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"112ecbe506dd9daff57942c58c032c6258ae40f7","datavalue":{"value":{"entity-type":"item","numeric-id":1708878,"id":"Q1708878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1708879$3BEF84F8-89F1-4B44-A13B-E2BBA1077310","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1708879$4096E263-4F1E-49C8-A93E-94A9F7510F7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1708879$E158823A-8E56-4AB4-B9B5-3F487BBF8C33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1708879$44532367-C622-4955-889D-C9B7BA6ED33A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1708879$6A8F0182-C034-40CA-B497-B4953D226C1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"aa2d311bfebadfc58292672011b7418c359f6a26","datavalue":{"value":"18A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1708879$2BA5F594-5FB4-4739-95B7-130C88B7A76C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c9fdba58e5344e05288d09cbbfa64fc756b9e06c","datavalue":{"value":"55U40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1708879$E15BAE25-A000-41F9-B01C-D0E20B16E052","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8b295eea958c2719090e1cc2f501b7b5a260d2f9","datavalue":{"value":"6853130","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1708879$3E46D38A-3228-41E6-8113-C2975BE3583F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3715bd417b013622a390c17d3817f3a43a0bacfe","datavalue":{"value":"structuralism","type":"string"},"datatype":"string"},"type":"statement","id":"Q1708879$B8A91EE0-674D-43D5-A33A-73A2046AE1D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"294ce292240a6f433049300002b95cd141bb363b","datavalue":{"value":"foundations of mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1708879$758A947F-C48D-4751-B9F7-29D15A4EC111","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cbc29d347a2fb5ab12fe5de5ba7a30a9fdf2916f","datavalue":{"value":"univalent foundations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1708879$AB1025F2-0559-448F-BFF8-967BE09A051E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b29eb58b948f9f996cbb5eae736ddbdaf0434b06","datavalue":{"value":{"entity-type":"item","numeric-id":34514,"id":"Q34514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1708879$1C683C52-391E-41D6-B528-009886AD4F14","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":"Q1708879$C1B955EF-F627-4F3A-907D-471B06CC0D62","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8a2df5464b47dbe30f0b03a7db6c90c411483701","datavalue":{"value":"W2395479267","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1708879$B73C4FF8-D846-4404-8C68-D8C4E17A33BC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bcf33a5f992d181e7e78bbd8db6166cca7b5d2d","datavalue":{"value":{"entity-type":"item","numeric-id":5740648,"id":"Q5740648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1708879$5B45EFC0-366F-4000-9EC4-A6557CEC7D66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9b2c5396511bacd4aa56e15c03bfa21b025fb1d","datavalue":{"value":{"entity-type":"item","numeric-id":4470296,"id":"Q4470296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1708879$82C3DCEB-A4E4-4D08-A3AD-4A8752D83398","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ff2b723c5ca3aefa104812a869faeb2d56074a4","datavalue":{"value":{"entity-type":"item","numeric-id":5245979,"id":"Q5245979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1708879$E3D0B1EC-4239-4E17-989A-4A99F1BFF1B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ecdac14a6d1f0425c3e321b73a201f6c904fd9b","datavalue":{"value":{"entity-type":"item","numeric-id":3598111,"id":"Q3598111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1708879$96A941EF-0071-4E6E-A04F-72429D7C1F15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"468e91b711762444f3218471e1feccac4a79e420","datavalue":{"value":{"entity-type":"item","numeric-id":2968413,"id":"Q2968413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1708879$407DFE2B-8619-4288-B3DF-B4D4A6523A3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c05dc1486b433627547e0228957f5be4ea8ab850","datavalue":{"value":{"entity-type":"item","numeric-id":4193441,"id":"Q4193441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1708879$DB9FE4A0-DAB4-4987-B573-A6F5CE35721C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4fd098ea4c8653eaec826e6d53d5157343c914f","datavalue":{"value":{"entity-type":"item","numeric-id":4580226,"id":"Q4580226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1708879$8B20516D-D690-4C34-A8EC-03484C896D7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7065ac884679934c2a42a65bde4f9007aea8cdf6","datavalue":{"value":{"entity-type":"item","numeric-id":4109809,"id":"Q4109809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1708879$F07363AD-3D7B-4CAB-A18D-6776EA51C52B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73677c201e514bbdcfa3cde6a01d788fc03d3841","datavalue":{"value":{"entity-type":"item","numeric-id":375280,"id":"Q375280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1708879$E6BA4ED0-77C6-4567-8B76-2C2A94F7277B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a1273b565eda88658adee061a197d4d1d616b47","datavalue":{"value":{"entity-type":"item","numeric-id":4364755,"id":"Q4364755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1708879$D6D8205A-5A57-4942-8E61-19F8C4BAB187","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2a8c1c01f3e45c6c89524fedee62512698f8fb0","datavalue":{"value":{"entity-type":"item","numeric-id":2765252,"id":"Q2765252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1708879$CBAC143E-377A-4D5A-8C3A-848FF13581DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0734eca8b44b27cc39aa495faea7cd858d51f4e1","datavalue":{"value":{"entity-type":"item","numeric-id":4247303,"id":"Q4247303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1708879$A11A2F8C-95FF-4930-9C38-64A366322FEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdd9c0ac121cfac8690effca914bcf853676fd64","datavalue":{"value":{"entity-type":"item","numeric-id":2441763,"id":"Q2441763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1708879$A92B424E-1FB5-4FF8-8295-CEEC80BE3C48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e93831337e63c593c90251156968265c5e65fb99","datavalue":{"value":{"entity-type":"item","numeric-id":3986540,"id":"Q3986540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1708879$623D6F81-8F85-444B-9209-DC5A4AFAD64F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eaad38dea622a7c3b5b8920680b2c6b11fc842b9","datavalue":{"value":{"entity-type":"item","numeric-id":2928636,"id":"Q2928636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1708879$158413BD-BD79-4D90-9373-3D2DE803A98A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ea8891ad84a2aec608000845a42a128dbfb37a0","datavalue":{"value":{"entity-type":"item","numeric-id":4679166,"id":"Q4679166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1708879$D074DCFE-C8D0-4AA9-A44E-62DBBFB53D0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"437da1427fa7788f262f4ccb07323b25bc222c3d","datavalue":{"value":{"entity-type":"item","numeric-id":5505172,"id":"Q5505172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1708879$1E926282-086F-4804-A3BC-FB8DDF304FCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56fc91fa238a4c5608aa7d54f9fe0ac1f0cf86a6","datavalue":{"value":{"entity-type":"item","numeric-id":4381416,"id":"Q4381416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1708879$85C80607-8F41-4A3C-8F1C-3A9507124FCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba4c3e576e6ce2a14832257df14c7e36f903f343","datavalue":{"value":{"entity-type":"item","numeric-id":4918378,"id":"Q4918378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1708879$6A542320-9312-4465-85EF-52DF7A1B27E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47b0ec3118c55b6f3ab232f29debefc8c9d383a9","datavalue":{"value":{"entity-type":"item","numeric-id":3688389,"id":"Q3688389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1708879$20A36AC8-2906-4FAE-A0E3-50AC11461136","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d893a974e13880603e55edbc8dedc6b5fa3a4c0c","datavalue":{"value":{"entity-type":"item","numeric-id":5275645,"id":"Q5275645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1708879$9B2FD5BA-4007-4328-AE28-C94900FAFC41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a27caefcbe36fcbb968908f13ae56541ce46c1d1","datavalue":{"value":{"entity-type":"item","numeric-id":4470295,"id":"Q4470295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1708879$56551D49-EE86-4427-BB41-8ACFDDA6DA3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e341958ec89d041932d4cfd4ad548102d0aece66","datavalue":{"value":{"entity-type":"item","numeric-id":4146729,"id":"Q4146729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1708879$4127BEC3-CE21-459F-BCEB-CF7E1337AA1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6d7921c9cb851855154bacbfe7eab100cf71a50","datavalue":{"value":{"entity-type":"item","numeric-id":448334,"id":"Q448334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1708879$ED2622F9-DA63-47C6-A318-16CBDEA33F5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fa7a83db5bec24dde8b191a9b8f4d7066a861bb","datavalue":{"value":{"entity-type":"item","numeric-id":1202498,"id":"Q1202498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1708879$4074D8F0-3C59-446E-A2F8-403534C9321B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e7335f3cacdd10d640e822e1dd2082a5170a225","datavalue":{"value":{"entity-type":"item","numeric-id":5275705,"id":"Q5275705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1708879$70FAFE09-82C8-493A-A949-F6112595A3E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64c346c260873520831ebfefd15c31c6ca8971d3","datavalue":{"value":{"entity-type":"item","numeric-id":4995149,"id":"Q4995149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1708879$081196A3-B744-4B4F-BBFB-E53D9761E3EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d0e8d9f25bf5d379a7e2b5120ae4f5740a8d53d","datavalue":{"value":{"entity-type":"item","numeric-id":4388801,"id":"Q4388801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1708879$01EA4BDD-C95C-4EC8-8D20-B5E374C0882F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d65f0b9793d4d69696724fba6626456d2e0d7a8a","datavalue":{"value":{"entity-type":"item","numeric-id":4640312,"id":"Q4640312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1708879$0277A052-8DD9-4F32-AFD1-6C3BF157BC54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc80e8c1c4edbb4330fc0661fd04cc1a6fa329b3","datavalue":{"value":{"entity-type":"item","numeric-id":4626044,"id":"Q4626044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1708879$3990403E-DEE9-4428-BA71-84BC7F702455","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9483d0139d2bb4d0d243ab47c468e3ad05746c57","datavalue":{"value":{"entity-type":"item","numeric-id":5740657,"id":"Q5740657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1708879$40465FFD-233C-4193-8B51-BC1F0C24C067","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"319a2d5fafe791b4d3fdaad8a2ec886339315830","datavalue":{"value":"10.1007/S11229-016-1109-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1708879$96DF4F93-ED3E-4A99-A258-AA70DA640A81","rank":"normal"}],"P1633":[{"mainsnak":{"snaktype":"value","property":"P1633","hash":"03780fdd55b643eb9abb9f4246af84f9885cf2a3","datavalue":{"value":"bafkreihbxvtrsxyn4veg5o6kpesvu4clrc5bobi2frzd6apbp44ylvompa","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1708879$7BFAD762-5D5F-41B8-805F-452F7E332A0F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aeb753571a03e58105eac0ff15b22f4c3ffc2bc4","datavalue":{"value":{"entity-type":"item","numeric-id":5245979,"id":"Q5245979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a368c2a8dbc41ccd110c19aeff8540f12ad9a842","datavalue":{"value":{"amount":"+0.8257608413696289","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":"Q1708879$88BB66D2-F96A-450E-903B-347530A2A476","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4e8159d7f0ea0965faf7aad3abcf2b95d2982d9","datavalue":{"value":{"entity-type":"item","numeric-id":2695034,"id":"Q2695034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4effdcdc00b018775daa8e9aa832abe0a1bd1083","datavalue":{"value":{"amount":"+0.8037267923355103","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":"Q1708879$4D8F3948-905F-4410-9C1B-970016887307","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd2415820e121b4666002dd6a1ed6c319c7c544b","datavalue":{"value":{"entity-type":"item","numeric-id":4684362,"id":"Q4684362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cca3ba4a20ce956622d7a8e28dbf0c099d0caab7","datavalue":{"value":{"amount":"+0.78911954164505","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":"Q1708879$DC677357-261D-4567-A382-2128D0929E4D","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":"e3c41fcf22b8c5137dcc3f6f8ec26590690b0854","datavalue":{"value":{"amount":"+0.7795171141624451","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":"Q1708879$B419B825-527C-4593-9685-B55D61EE4AB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71e3d6c821db4b8a57a8d5a84e9e4917eee8499d","datavalue":{"value":{"entity-type":"item","numeric-id":2112383,"id":"Q2112383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"719750b413dadb715f65cc5ed72732c33b8a9f6d","datavalue":{"value":{"amount":"+0.7750005722045898","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":"Q1708879$56B9C54C-D6B6-4DC4-918B-60EA16DB08EE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Univalent foundations as structuralist foundations","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Univalent_foundations_as_structuralist_foundations"}}}}}