{"entities":{"Q524707":{"pageid":526474,"ns":120,"title":"Item:Q524707","lastrevid":62560884,"modified":"2026-04-11T06:55:28Z","type":"item","id":"Q524707","labels":{"en":{"language":"en","value":"Univalence in locally Cartesian closed categories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6710806"}},"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":"Q524707$076657C5-0C65-4BA3-8284-93BE3D524A51","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dbffb1f275b71b7a6d403be2ae940841e207bace","datavalue":{"value":{"text":"Univalence in locally Cartesian closed categories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q524707$67061E1D-6C9F-4F14-B49B-275C40FAD907","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2e076895964511f263b9f03ee7f0505ce55c4865","datavalue":{"value":"1376.55018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q524707$DCF54F29-0041-4277-9AAF-968B0215EA1A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"17bd1e567f6225f12d1cff1e214df8ea1567d706","datavalue":{"value":{"entity-type":"item","numeric-id":524706,"id":"Q524706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q524707$EF2D04D6-9F39-45DD-8C03-0AB08C7DDA14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6905ede9833dcaede773ada2cea1b94f8c356986","datavalue":{"value":{"entity-type":"item","numeric-id":276736,"id":"Q276736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q524707$D495B15C-94B6-4C5A-AB7D-4BD2B7759818","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8d052ea9878f7453f8cc5fa5227d90acb57531e2","datavalue":{"value":{"entity-type":"item","numeric-id":254046,"id":"Q254046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q524707$9094A6EF-FDFE-4536-9DC0-4CA77495226B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8b023c8677c794ce977cd50940cc1189b39bfea4","datavalue":{"value":{"time":"+2017-05-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q524707$4B8EBE9A-E932-495E-9F3A-8D0673A10C88","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"34a58c094c125d93492d193ec73c7cf732cdb083","datavalue":{"value":"https://arxiv.org/abs/1208.1749","type":"string"},"datatype":"url"},"type":"statement","id":"Q524707$F6B8D919-7F93-4CD5-B349-E91E1D57DCDE","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"6112c5a6dbe6ab479f0c6140958096c5d5683abb","datavalue":{"value":"This paper is presented by the authors as a complement to the original account of univalence exposed in [\\textit{The Univalent Foundations Program}, Homotopy type theory. Univalent foundations of mathematics, Princeton, NJ: Institute for Advanced Study; Raleigh, NC: Lulu Press (2013; Zbl 1298.03002)]  The authors start characterizing presentable locally Cartesian closed \\(\\infty\\)-categories as the accessible locally Cartesian localizations of \\(\\infty\\)-topoi.  Then they prove: ``For any presentable locally Cartesian closed \\(\\infty\\)-category \\(\\mathcal {C}\\), the equivalence classes of univalent families in \\(\\mathcal {C}\\) form a (possibly large) poset which is canonically isomorphic to the poset of bounded local classes of maps in \\(\\mathcal {C}\\)'', where a bounded local class of maps can be seen as a class of maps which is closed under basechange and satisfies a certain sheaf condition. This result implies that ``in an \\(\\infty\\)-topos, every univalent family is a subfamily of a universal family.''  They show that since any presentable locally Cartesian closed \\(\\infty\\)-category embeds into an \\(\\infty\\)-topos, it follows that every univalent family must be a subfamily of a universal family of the ambient \\(\\infty\\)-topos.  Finally, they show a correspondence between presentable locally Cartesian closed \\(\\infty\\)-categories and \\(\\infty\\)-categories underlying a combinatorial type-theoretic model category. ``Under this correspondence, univalent families in presentable locally Cartesian closed \\(\\infty\\)-categories correspond to univalent fibrations in combinatorial type-theoretic model categories.''","type":"string"},"datatype":"string"},"type":"statement","id":"Q524707$D7972AB7-7415-483C-8527-60094CB14B4D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"72047dd175f2df177aa1ddf4f7ca150e0c1e70c2","datavalue":{"value":"55U35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q524707$141EE7B9-CD70-4645-88FA-1315A63C2A00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cf173b17cb29f39acd7ecc1fdf48aa6cf6900643","datavalue":{"value":"18C50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q524707$624253AC-ED63-4C8E-A3FD-2203A922C79E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"18447cacc4ee308c372f0ca155b8d8c0e6d3e5fc","datavalue":{"value":"6710806","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q524707$FE9EA6FB-35B5-4A29-BF1C-913EA28DA8AA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a8388859765d437448f22dabfcf407925aaddb93","datavalue":{"value":"univalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q524707$4F12B0C3-21A3-41AC-BC9C-3B515627701E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1716750e079664e241cb89c90f295b87ba8af9f9","datavalue":{"value":"infinity-categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q524707$6FEA2658-219D-4E09-84A5-1D70A79FECEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"90edf5b0e41beb09730a02889601f422a026b4f2","datavalue":{"value":"infinity-topoi","type":"string"},"datatype":"string"},"type":"statement","id":"Q524707$EF8B6CED-4370-45E2-B7E1-9E319FCFF7D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"713d736cb0ab22878b2dd5b5ec4e6fe70e83fdce","datavalue":{"value":"factorization systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q524707$9F367BB6-BC0D-4F2D-A756-4425A5FC4E71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce7111f635fc1f126061feb0ad03a7e2d9afa13e","datavalue":{"value":"localization","type":"string"},"datatype":"string"},"type":"statement","id":"Q524707$797A5848-9EF5-4C87-8CA7-9E902256D7A6","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"307cbb4390f9bbc9c21fd2c952255c5e7f7dc8a5","datavalue":{"value":{"entity-type":"item","numeric-id":690857,"id":"Q690857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q524707$B49BD4F7-EB83-4542-8BA1-6D437B9C928E","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":"Q524707$C4B042BD-0397-4875-B759-8E2EF46B8E54","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"74d2d89c71f3521cdc3a86c1a3329b06edf40d37","datavalue":{"value":"W2556331506","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q524707$71180132-98CB-4050-B147-BD9F8FB35B09","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a4d8dae241063d5baeac3caca0e703ba3c4f20a","datavalue":{"value":{"entity-type":"item","numeric-id":3007656,"id":"Q3007656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q524707$4363ECA3-769E-437B-990D-793923D3DBD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"120ce8707fa94d8742521a4e2a88c14ea6b7d3d0","datavalue":{"value":{"entity-type":"item","numeric-id":433877,"id":"Q433877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q524707$484A73F4-ED33-47E7-8C0A-F980307ACA9C","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":"Q524707$EAF83860-171F-4B03-9CD6-D277440F66F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a1e99f41142e6d56c13ef3a05fd3f9bb055e348","datavalue":{"value":{"entity-type":"item","numeric-id":3682648,"id":"Q3682648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q524707$FE07A920-4EA0-436D-9487-28C934353987","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0adf8dfd2b99e71170504eeaf951ae3199f99593","datavalue":{"value":{"entity-type":"item","numeric-id":1353439,"id":"Q1353439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q524707$9A73E3A4-89C7-411D-B0EB-BBCC245AE8B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61f6d6164ed6fb9ee91a32579d329b0419907223","datavalue":{"value":{"entity-type":"item","numeric-id":3691902,"id":"Q3691902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q524707$7122FF06-D9E4-41F2-A9D2-FB66D194EB56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a576d6b7e0693dfcffa98b06979dd715c004fae2","datavalue":{"value":{"entity-type":"item","numeric-id":1850079,"id":"Q1850079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q524707$08708BB5-38EC-478C-B243-F8CF0AB41FD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"535e00af3acdf08c1436c68ab021517355fea19c","datavalue":{"value":{"entity-type":"item","numeric-id":618741,"id":"Q618741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q524707$F7F92EDA-6E60-47E5-9B4D-8FA19F6D2F1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97182e1b54fe8dce48df19b40a57cf9b31c9840f","datavalue":{"value":{"entity-type":"item","numeric-id":5185712,"id":"Q5185712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q524707$7D10D8B8-82D6-4A54-AE96-2E401A4F39DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e82b1878adb750555f15a80d08f147c60e0fbb1d","datavalue":{"value":{"entity-type":"item","numeric-id":959823,"id":"Q959823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q524707$58C281E5-9616-4C25-9316-E31FD3750B1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d540795bdf9a0260aab444be903e724efe3dbd8","datavalue":{"value":{"entity-type":"item","numeric-id":713289,"id":"Q713289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q524707$57588D2D-3FD6-4FD2-A230-66D969930165","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0952dccada52f45489d6c1ca3a72d219eadc248","datavalue":{"value":{"entity-type":"item","numeric-id":2344279,"id":"Q2344279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q524707$74957452-E18D-4314-8FE8-9F8BB653E467","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":"Q524707$3F7813AD-55E9-43FC-B0A1-F21BC9136654","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbd57462a36c1547e90f016c670e949d87bf8cf1","datavalue":{"value":{"entity-type":"item","numeric-id":1850102,"id":"Q1850102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q524707$48F42406-B46D-4161-B38F-99577EA91C5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a929ba3a3ad2ac94896c6474d644a301f4db300","datavalue":{"value":{"entity-type":"item","numeric-id":2031691,"id":"Q2031691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q524707$8D965D7F-1E82-4936-80C2-6FAE45FD1FA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"682723fdf614c4911b636596a46709b325769eb8","datavalue":{"value":{"entity-type":"item","numeric-id":5121795,"id":"Q5121795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q524707$DEBAE324-857E-41E3-9108-BBD86F164415","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d67dcf2f4dbbcf76866eccb2b8f11648193617fe","datavalue":{"value":{"entity-type":"item","numeric-id":2786141,"id":"Q2786141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q524707$205080E4-402A-475A-B3A6-B160139EB84C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3b7f7f274eb6713b62fe2f0ba801e1bbcfcfa90","datavalue":{"value":{"entity-type":"item","numeric-id":2957763,"id":"Q2957763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q524707$864B37DD-7167-4706-911F-250B8A3DE67D","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":"Q524707$BE34CB7A-603C-45EA-9797-50E31B1467FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4da806e6297e618e7714c75d11216ab0dccef6a6","datavalue":{"value":{"entity-type":"item","numeric-id":1189567,"id":"Q1189567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q524707$6C66CDBE-A5B6-422A-843A-E911E0CA9EBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"200b65c2e943f407600eee70d449d6bcd77b171d","datavalue":{"value":{"entity-type":"item","numeric-id":5932372,"id":"Q5932372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q524707$3493242F-5342-4D82-B831-3B8F1BB89BE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6b8ae78fa382e84d0f715ab21a503c2ed714d64","datavalue":{"value":{"entity-type":"item","numeric-id":4523176,"id":"Q4523176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q524707$D2931671-9D91-41DA-8D83-AFFA7F956AFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1d13fae8b0edd005619879264a500b259205b13","datavalue":{"value":{"entity-type":"item","numeric-id":5963045,"id":"Q5963045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q524707$6A48E638-C639-4497-9F39-C9BDB97A5999","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"472fe6e79b503d14429d15ec73a6169d7420ec0b","datavalue":{"value":{"entity-type":"item","numeric-id":5740656,"id":"Q5740656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q524707$A4B0FF08-D048-490B-8E9F-1A226B942B16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d0ee9323fc76fcc218c35917f2f869e80ffbf95","datavalue":{"value":{"entity-type":"item","numeric-id":422114,"id":"Q422114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q524707$29EF5B68-1A94-4EF0-A016-8D4402456AD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"189aff9beb64755b9b588c07d90035421bc1c4db","datavalue":{"value":{"entity-type":"item","numeric-id":280837,"id":"Q280837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q524707$D537F7C3-87A9-4283-A8E5-A15BA463FEFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"71e334f51175391aa489ad19ee69f9b684c7888f","datavalue":{"value":{"entity-type":"item","numeric-id":3079518,"id":"Q3079518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q524707$CC3DF232-7F3C-48DE-8DD6-324BFE3A88B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1c6d0109398bd1f94e64526a7240bba3d26bba7","datavalue":{"value":{"entity-type":"item","numeric-id":3100202,"id":"Q3100202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q524707$628B9156-F2F4-482E-8A66-121BF8978C19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"890522dc4e3ecb3007fccfde8c53acf4163b6c1a","datavalue":{"value":{"entity-type":"item","numeric-id":5420262,"id":"Q5420262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q524707$76971157-BAE6-4E4A-809C-78311E7E1AFD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"eea24d719474750217c2f30c84056b7b544b097e","datavalue":{"value":"10.1515/FORUM-2015-0228","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q524707$1F7D86B9-4247-4C04-988D-2346A7E0F24E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eef9da17352b7f2d1957af2a8dc8b66ed5caba22","datavalue":{"value":{"entity-type":"item","numeric-id":4358059,"id":"Q4358059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b170d33a8e634f36a9a29976cb204cdf1756aa70","datavalue":{"value":{"amount":"+0.93329895","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q524707$158F166B-F39F-433C-AAF1-847629CCE3D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27b28619ac87eeaf640206b66d56e26c55beca7d","datavalue":{"value":{"entity-type":"item","numeric-id":5454624,"id":"Q5454624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86e1c672cd9637df50aefda21e22ee51456a9430","datavalue":{"value":{"amount":"+0.910396","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q524707$827709D6-9223-4B23-B53C-8BF0B7231547","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8428f661fa040839850d89e6e635799069131a67","datavalue":{"value":{"entity-type":"item","numeric-id":1103056,"id":"Q1103056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f643b3e5e8053a35206a7a6bbc924c5d33066bb8","datavalue":{"value":{"amount":"+0.9094999","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q524707$F7B61FDD-B3D0-47B2-8F2D-4E586D48068B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c14c2734910bfc525ee73c0d1d15395b034a934e","datavalue":{"value":{"entity-type":"item","numeric-id":3325725,"id":"Q3325725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5ab9847e685eaa72ce30391005561204ba6f828","datavalue":{"value":{"amount":"+0.90837276","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q524707$38D7EE14-6614-45CB-8BDC-22285AC71CC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05977e678688377305c73238bf84033cfb4c2374","datavalue":{"value":{"entity-type":"item","numeric-id":3797855,"id":"Q3797855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e3cb68ab454bcb56b093386426b064b81af40ee","datavalue":{"value":{"amount":"+0.9079788","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q524707$9B24D553-0588-46E7-8772-EB8361DD51CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51e928f884c209eb2bfe9bc06f762ddea086367c","datavalue":{"value":{"entity-type":"item","numeric-id":5740648,"id":"Q5740648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9133352179a3bd6db11fe75cc90ca01194c8bab","datavalue":{"value":{"amount":"+0.90750456","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q524707$635A95AC-0454-4AA1-AEEA-D03DD71F8525","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1ad79179beb3beca6513a219e422cd24cae768f","datavalue":{"value":{"entity-type":"item","numeric-id":4286320,"id":"Q4286320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb010b3325f715df19624d1388806e3d8a564731","datavalue":{"value":{"amount":"+0.9059672","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q524707$831155F4-4892-4226-80FE-EDB94787CB7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5bd816b0999e801f6d87dd360174005f8ef3d188","datavalue":{"value":{"entity-type":"item","numeric-id":5262479,"id":"Q5262479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7cad968b6cfa7652977487be48c4b09a1143edf3","datavalue":{"value":{"amount":"+0.90324265","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q524707$3020A815-8805-4F0A-BED7-5820EF8CDEC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0106b2f9ff62b2f29b60bf666be82549d95d65f9","datavalue":{"value":{"entity-type":"item","numeric-id":5481591,"id":"Q5481591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"968cab1ad6112ab106a44f326cbf5b4f3241f489","datavalue":{"value":{"amount":"+0.90319276","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q524707$8AD1F24E-EFF9-42EC-ACB8-4C71B04CA06D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6abc89ac7d05c851d22d26a7ff164f4cb4fbeae2","datavalue":{"value":{"entity-type":"item","numeric-id":1325823,"id":"Q1325823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63e1069941ea59bb79d5e2139ce993e9896e8afb","datavalue":{"value":{"amount":"+0.9024096","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q524707$3F894ABA-79A8-446F-A3E9-0C5487402A55","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Univalence in locally Cartesian closed categories","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Univalence_in_locally_Cartesian_closed_categories"}}}}}