{"entities":{"Q5055496":{"pageid":7085073,"ns":120,"title":"Item:Q5055496","lastrevid":91235966,"modified":"2026-06-04T22:37:21Z","type":"item","id":"Q5055496","labels":{"en":{"language":"en","value":"Bicategories in univalent foundations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7630475"}},"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":"Q5055496$93BA3E45-9E3F-4D42-A57E-EC83C0A11D7C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2063eeb64e697ce5a459bfb4cb5fc281d1ebcf23","datavalue":{"value":{"text":"Bicategories in univalent foundations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5055496$800C3059-2D4F-459C-9353-9798C7E4690C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9db24939246add9653e1ea14a9765b8e1fa1c7ac","datavalue":{"value":"10.1017/S0960129522000032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055496$EC862156-0972-438D-BB14-F4A2AEAA4832","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6ebdd912b169a139b5481c76e8978f5a1ad20396","datavalue":{"value":{"entity-type":"item","numeric-id":2319988,"id":"Q2319988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055496$D5D6C295-7F14-4B51-B1C1-897862CB44FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3273012076b162816c1611f7793db2bf0c2a379d","datavalue":{"value":{"entity-type":"item","numeric-id":3119465,"id":"Q3119465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055496$80616ABE-20EF-426C-A102-19F589824BAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ea229d5c7d566db264a7e69175c2b14cf582fccb","datavalue":{"value":{"entity-type":"item","numeric-id":438545,"id":"Q438545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055496$85A250E1-E0BE-4EBE-B37C-7633911F7FB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c39a632e645d6ba105bdab27ef952da1f8327439","datavalue":{"value":{"entity-type":"item","numeric-id":1675788,"id":"Q1675788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055496$70537656-8B56-4770-A1EF-6D88EF8D900A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7621c274c256d2c46ce77f2004ae28ad57e4e062","datavalue":{"value":{"entity-type":"item","numeric-id":2133177,"id":"Q2133177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055496$BBE652E4-B965-42C7-ACEC-5C8D32AAF20D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055496$7981B283-53D8-49EA-94E7-D7ACBEF5BB6E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"11447fc0ad9bdb1f5ac45f1763d7f4fd1b0676df","datavalue":{"value":{"time":"+2022-12-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5055496$2DC86C19-CF41-45DA-8F57-2E79BFADAB36","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055496$823361C9-E44D-43B9-9FF8-0B5481C308AB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ac3cd8d16147a470c8b8304697755dfbf5aa2618","datavalue":{"value":"7630475","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055496$313E5439-ED1F-4CB6-AF58-4D6838378EFD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"82a70fe5fcfb05ac658bf18e70134412ba36d5d6","datavalue":{"value":"bicategory theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5055496$C01A6865-00D6-471D-8D68-81EC4A4CC18A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7eff47ad0db4818bbe1ec9e1e7ed230b27030590","datavalue":{"value":"univalent mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5055496$707FEBAA-BC90-45B6-ACC8-ADD3640E5860","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"13fd823fa813aa32375d6c4605d9195c2318674c","datavalue":{"value":"dependent type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5055496$DDEA47AE-E493-42AD-A45F-3D0F7A3473E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09e5b68927baf737cf4d5adadb4664c931aae1c2","datavalue":{"value":"Coq","type":"string"},"datatype":"string"},"type":"statement","id":"Q5055496$DEEAD180-C8D5-452D-8A01-8301FAE67FB5","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b69ae52d53a05f3f4bf4d99cc0f83e03b73ae561","datavalue":{"value":{"entity-type":"item","numeric-id":27033,"id":"Q27033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055496$AE06727B-1795-45B4-9F69-269DB21DC27A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055496$6B661CFE-C864-4F40-8578-A4FF6B9C4DB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e338912f65cbd77347bbd512933e55736ef58bd1","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055496$382FB1BE-9E4B-449A-82A5-EA4710D47C9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8bf42d0fd66acf369e3d5d44d7ebef6adc7ae452","datavalue":{"value":{"entity-type":"item","numeric-id":56651,"id":"Q56651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055496$F2EFE49F-4281-48FB-BEFA-61AC619746DD","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":"Q5055496$32D9648E-B36E-4849-8EC8-B03040C20BF6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3a28431e779bd630720d8dfcbffeff33258b84d0","datavalue":{"value":"https://doi.org/10.1017/s0960129522000032","type":"string"},"datatype":"url"},"type":"statement","id":"Q5055496$903CFC85-263B-4C95-BA16-124013167F93","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f867a000b84398f61ae740d3c16aed4b9bb24412","datavalue":{"value":"W4220690388","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055496$35D901D2-BA87-4616-9DEC-5D57FBF82A6B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f02647e42250ea7ca89d88531bde7215d50f56c","datavalue":{"value":{"entity-type":"item","numeric-id":5089004,"id":"Q5089004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055496$372FBDDB-9813-437B-B968-BD6E154D51CB","rank":"normal"},{"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":"Q5055496$B2590743-288C-4E3E-89BE-1B22AEF74311","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7dc51070d6a95abf941a1a6813e9767a7c706ba8","datavalue":{"value":{"entity-type":"item","numeric-id":3121521,"id":"Q3121521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055496$F9BE99E7-2A83-430E-B67A-9DB8514F83F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ee2ab5e8b71d97640f6c3f81c09a9b52398f62e","datavalue":{"value":{"entity-type":"item","numeric-id":4683858,"id":"Q4683858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055496$CB521BF8-CFE2-4BEF-A91F-58169D8262D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b66cb2e9bc4de761078c0287f788342d422ef5c5","datavalue":{"value":{"entity-type":"item","numeric-id":5145618,"id":"Q5145618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055496$8AF145A7-96F2-49AD-AF8B-A32B09D5C563","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"015256e4360c025094b2ad5c855ea10121fc5943","datavalue":{"value":{"entity-type":"item","numeric-id":3090862,"id":"Q3090862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055496$A3B17750-AA48-4583-AD84-3D1CC8421C3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d16be83a3de54bd2c3181fc2cf1831e46861bc49","datavalue":{"value":{"entity-type":"item","numeric-id":3130300,"id":"Q3130300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055496$95DA3EFF-246C-442B-8EBA-AA5D98248B51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02440399404883cec035c4ba4333b0b2f70b96a3","datavalue":{"value":{"entity-type":"item","numeric-id":4596052,"id":"Q4596052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055496$D9CDBDDA-8B93-4FD5-B8AC-B7DA0F1AB81B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9011d7580ff93c969b43c0ea22f7b5f2593dcefc","datavalue":{"value":{"entity-type":"item","numeric-id":1121980,"id":"Q1121980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055496$3350894B-7B99-4535-A328-7A6843D6929A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a765e855228292779b4203bd15443a2ad99c5c33","datavalue":{"value":{"entity-type":"item","numeric-id":5740406,"id":"Q5740406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055496$08402D0D-1A7F-4B62-860A-E9526D1658F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e544e438e6837b40684be8afb567ee872639a802","datavalue":{"value":{"entity-type":"item","numeric-id":4647575,"id":"Q4647575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055496$8FFB2DD0-FFBD-44C4-8F77-5D5E86D170C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"670b0cf2adae33c7590dfeacbd93de769c0fc86c","datavalue":{"value":{"entity-type":"item","numeric-id":2130587,"id":"Q2130587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055496$8BB49DD9-718F-4523-AC40-4040DE84A28F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49c50d88c12dcca62e5546dce7a095534c48ac41","datavalue":{"value":{"entity-type":"item","numeric-id":3167013,"id":"Q3167013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055496$17D5D753-09FF-4FCD-92A1-E2F657AEA872","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75fa4daef9f99872dd2b360b503c07965c221710","datavalue":{"value":{"entity-type":"item","numeric-id":2919769,"id":"Q2919769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055496$B9E1A3DB-4EA4-44E6-BD0E-F91202D43012","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":"Q5055496$68EB6756-242A-4D6D-9089-CD3F69C912CF","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":"Q5055496$EA004D7E-DF5D-4929-A927-39D5E2BCEBCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d8f04b427550397c14fd1a0b6682478cec17e3f","datavalue":{"value":{"entity-type":"item","numeric-id":1578071,"id":"Q1578071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055496$53A3F0CF-5AED-4909-A2C4-4F543222945C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"707b5ac070fb8bc02a181197aa4b08e8edc80bc4","datavalue":{"value":{"entity-type":"item","numeric-id":3400012,"id":"Q3400012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055496$E07BEC71-550F-4984-BFEF-BA315DB2D0A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"576bfb598f5e5d861b140871836fb919fd00a035","datavalue":{"value":{"entity-type":"item","numeric-id":5598374,"id":"Q5598374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055496$31B55085-3E75-4680-B5A6-7A3B3536200F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdf4ccdcc70e71d35fd15b371cfa64eecb3f47f9","datavalue":{"value":{"entity-type":"item","numeric-id":4215784,"id":"Q4215784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055496$8A7229C9-5719-4FDB-BCDE-CEC2583D26F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4280cd3d0a555d23ad4c1f097024c9591f5a09ab","datavalue":{"value":{"entity-type":"item","numeric-id":4123496,"id":"Q4123496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055496$010A7AD9-4A09-4A6B-AFCE-9F79DA3542F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4edf22e58984456e3d013d98937446776d560a43","datavalue":{"value":{"entity-type":"item","numeric-id":3552043,"id":"Q3552043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055496$EE965540-3BDD-474B-9D45-5F20A63D4E49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"285bbb439935656523d0bc5cf15c990052caaeb4","datavalue":{"value":{"entity-type":"item","numeric-id":5108537,"id":"Q5108537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055496$0ABCF779-783D-4FD7-940D-913FC3A23C9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08f8adaaa9898db79a28bd0096c4047c7d5f774e","datavalue":{"value":{"entity-type":"item","numeric-id":3977014,"id":"Q3977014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055496$68971BEB-AD63-4012-BDB7-DDF8B4CD5533","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b370c7baaca51e1b747ec172830d73bc442ab6f","datavalue":{"value":{"entity-type":"item","numeric-id":4243759,"id":"Q4243759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055496$57E11383-6293-477F-A911-9A9C1A67F241","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":"Q5055496$64FBCECB-47B6-4B56-A892-4902B28DB6D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2da0f7c51c1af4f78b7e2281979b2cfb1fe193e","datavalue":{"value":{"entity-type":"item","numeric-id":4989403,"id":"Q4989403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055496$CA88F989-7B45-489F-8DE0-6C62794B4969","rank":"normal"}],"P1643":[{"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":"490fb31b9b0c8f4aa6b383adf838e6d74cd2d4d4","datavalue":{"value":{"amount":"+0.7887430191040039","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":"Q5055496$0F02C93C-A3BC-4990-9FFB-F8EDF49391B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b62d4b361aa9331ede3c44848f550acba5c4e73","datavalue":{"value":{"entity-type":"item","numeric-id":4683858,"id":"Q4683858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1d79b8887a161f8de1a1c0dcd0b0181221fd58c","datavalue":{"value":{"amount":"+0.7702361941337585","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":"Q5055496$AF978F94-9BD9-46CF-BAB5-418F40ECF434","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":"f5392ebc020149e1f7bd32317c8c81c7865ef30c","datavalue":{"value":{"amount":"+0.7674750685691833","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":"Q5055496$F0EE5E85-CF59-46C6-A4DB-A468772D6C2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc48277a68bca795f928f2e0d86a47b88fd1ace0","datavalue":{"value":{"entity-type":"item","numeric-id":3121521,"id":"Q3121521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15c02e444e8eecac85c038ae088718d52ddf494f","datavalue":{"value":{"amount":"+0.7563104033470154","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":"Q5055496$6AF7457E-FC70-4096-9AF2-E63418875184","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93a52e653143f9f0797fe1aa345f9cd78c96e9e3","datavalue":{"value":{"entity-type":"item","numeric-id":5145691,"id":"Q5145691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d295599c361828ac3cf840252c8f46f437cfc0aa","datavalue":{"value":{"amount":"+0.755187451839447","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":"Q5055496$7049499F-5CFC-47E9-9ECC-EE35770357AE","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055496$3DD757E7-FC0E-412C-BBDE-4AFE1298DA02","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Bicategories in univalent foundations","badges":[]}}}}}