{"entities":{"Q5089004":{"pageid":7118580,"ns":120,"title":"Item:Q5089004","lastrevid":55415284,"modified":"2026-02-17T15:57:09Z","type":"item","id":"Q5089004","labels":{"en":{"language":"en","value":"Bicategories in univalent foundations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7559271"}},"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":"Q5089004$F9EC86E5-8461-4263-AC3D-E7E801324076","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":"Q5089004$E9B81953-B24D-4F2D-AB8F-AE074FE86747","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":"Q5089004$B099F2C8-2A44-47A0-AE97-C11E079694CB","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":"Q5089004$9BF94BA1-6409-45CE-910F-31DE824E2D7C","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":"Q5089004$F0F48761-A2CE-42DF-93F6-2CA0F7753DA1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6793430fc5b4ace9180691774574e339423361ba","datavalue":{"value":{"time":"+2022-07-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":"Q5089004$35A6F69B-63D3-454C-A147-AB1ED082E386","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ed336f96c43cb47dc1cb55240eddcdc0aa4ded2e","datavalue":{"value":"https://arxiv.org/abs/1903.01152","type":"string"},"datatype":"url"},"type":"statement","id":"Q5089004$F44B721E-CB5F-49AA-8920-754A0CE0035F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5089004$B86A9CB3-594E-4758-B0AB-4E40E2593F47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5089004$C16D38EA-7F44-469D-889F-644A0B2D97DE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8e58a3665f04e6334ba95d17b3df5446b87a033a","datavalue":{"value":"7559271","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5089004$0E278535-06BD-427C-981D-04DA941FC64B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"82a70fe5fcfb05ac658bf18e70134412ba36d5d6","datavalue":{"value":"bicategory theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089004$E588B8C1-F10D-4C24-A820-A1C96A38E28D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7eff47ad0db4818bbe1ec9e1e7ed230b27030590","datavalue":{"value":"univalent mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089004$37B381B4-2AC7-4F1F-A1A4-B34503C6C638","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"13fd823fa813aa32375d6c4605d9195c2318674c","datavalue":{"value":"dependent type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089004$BAC598AD-48EB-4E0E-94F3-D1B8CE22FFD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09e5b68927baf737cf4d5adadb4664c931aae1c2","datavalue":{"value":"Coq","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089004$EA7CE245-1157-4F89-8E76-31FB1FA0C0EF","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":"Q5089004$5C3703F3-2D02-4BF6-A159-9D30C078807F","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":"Q5089004$572760BE-605C-44CB-8EA6-CBFADFEA67BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5902c976efd4b819c0ba8c52693c141806a2bef9","datavalue":{"value":{"entity-type":"item","numeric-id":5111300,"id":"Q5111300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089004$7BA4FBF0-85E4-40EA-9306-AEA9B685FC69","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":"Q5089004$D3001ED8-C0B7-4A05-8BDA-D9C44E14F733","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":"Q5089004$1AB4E389-C77F-4FB6-AB95-B8CA22893949","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":"Q5089004$9A31DD29-387A-47A2-8EB5-8CC4B347E91A","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":"Q5089004$36837254-AD75-4CC1-AB9D-BA64F1D3C1D6","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":"Q5089004$74A521B9-B001-4AE4-BA3A-EE07CA24408C","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":"Q5089004$89F27B15-3A47-4570-8EBF-64F7CADC2259","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":"Q5089004$BCD76903-F243-467D-99C1-1DBDE0AA8D84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3561b901e235b04b5497373f9996408379aa9ee","datavalue":{"value":{"entity-type":"item","numeric-id":5144671,"id":"Q5144671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089004$B080A5B8-AEBF-435F-A80C-4C0087E53B3B","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":"Q5089004$CBA6921E-5E15-4B8E-881A-9D701F8456EA","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":"Q5089004$A3AFA4D3-000A-46E4-BEDD-29C37448C6FA","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":"Q5089004$EA44E45C-E65D-47B1-A718-673FC8867E25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e1d062d881e28f4fc6b4153c0765dec6b39a1b4","datavalue":{"value":{"entity-type":"item","numeric-id":5170245,"id":"Q5170245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089004$97F28CF9-9975-4F47-A7E7-F76233DDA9AA","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":"Q5089004$8E60BCC5-2520-41AB-919F-6C23BD023659","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":"Q5089004$FCF54B92-4A0F-410E-AD20-89F2533776A1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"be988ec8ac7fb8f152d9038b6f2a7724d5efb568","datavalue":{"value":"10.4230/LIPICS.FSCD.2019.5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5089004$F4A5ADEB-8AB8-4848-A2B6-C72D2680498E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1eb55b45fd738a7f8ba4abd1f09661a1e19a56d2","datavalue":{"value":{"entity-type":"item","numeric-id":5055496,"id":"Q5055496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88df6c2f124519f45e9910818f2fec09f0892930","datavalue":{"value":{"amount":"+0.9837185144424438","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":"Q5089004$DC116BE3-1C2E-4924-B2F3-16660054D53C","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":"444caa9583d94fb08102d40e393119b51b903247","datavalue":{"value":{"amount":"+0.7783863544464111","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":"Q5089004$FBA018FB-06A1-4678-B6DD-8059B1CFF803","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":"3891fc2d3661d901dd7b899cddabec60bbc93348","datavalue":{"value":{"amount":"+0.7746328115463257","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":"Q5089004$9DBE720B-C78E-4118-A41D-D35324CDD96C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0085955ed77a4c3b3af19d7b14022510d9a7bd4f","datavalue":{"value":{"entity-type":"item","numeric-id":524707,"id":"Q524707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5345975e2654dc1729b1d31dba204484c35d72e9","datavalue":{"value":{"amount":"+0.7517529129981995","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":"Q5089004$EFB6F4AE-9E9F-4DC0-91C2-2702182F5D84","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":"05fb1f4a332732c78f57a89f651857e6ed673eb7","datavalue":{"value":{"amount":"+0.7495830059051514","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":"Q5089004$CFA5CA19-5E47-498C-B977-6A80251B31C8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5089004","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5089004"}}}}}