{"entities":{"Q5028486":{"pageid":7058063,"ns":120,"title":"Item:Q5028486","lastrevid":58416519,"modified":"2026-04-05T03:10:18Z","type":"item","id":"Q5028486","labels":{"en":{"language":"en","value":"Canonicity and homotopy canonicity for cubical type theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7471717"}},"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":"Q5028486$51366717-5560-43B4-9301-C29FB4516B7A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"97f5a9f071eaf18fef5153772fcfa390b57ccf00","datavalue":{"value":"1486.03027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5028486$B9920236-C30F-4C3B-AB55-9BEB8AF9360C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5aad179d365c253d181fa8115a831f46e7923370","datavalue":{"value":{"entity-type":"item","numeric-id":375196,"id":"Q375196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028486$337D9F04-D170-49FA-9504-8E8574C7FB6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"14376caa07db3f1fa1adc4be796c3dca3ec648ce","datavalue":{"value":{"entity-type":"item","numeric-id":2311882,"id":"Q2311882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028486$2BD5CB22-988E-4BDB-B009-6193E2AE7A39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc7fdb135258dcfe93ae25455681fbed1804f031","datavalue":{"value":{"entity-type":"item","numeric-id":2013547,"id":"Q2013547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028486$48D970DC-A649-4E05-A522-1E76792F00E3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"016f5c9439ba374a39d268cbe8a17a8d3cb3913d","datavalue":{"value":{"time":"+2022-02-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":"Q5028486$129A4393-534C-4B9E-AD2D-8656E37E9F06","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f0048f76826fa297c4181aed138064693c27637e","datavalue":{"value":"https://arxiv.org/abs/1902.06572","type":"string"},"datatype":"url"},"type":"statement","id":"Q5028486$182A605A-02D0-486B-ADF2-58656423A21E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"547d34a76e2433a7146c0ba879dcfe9af6b9842b","datavalue":{"value":"https://lmcs.episciences.org/9043","type":"string"},"datatype":"url"},"type":"statement","id":"Q5028486$E24D3A07-53D8-4FE6-811D-16DB0858BB6B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9230c8da6e5632ad621620269b7ca185454f9df","datavalue":{"value":"03B38","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5028486$A9824B6D-075F-4E54-A028-01BEA32B3C40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5028486$84F0E8BC-FBDC-4FF4-A2C9-E67AFE18E666","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"72047dd175f2df177aa1ddf4f7ca150e0c1e70c2","datavalue":{"value":"55U35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5028486$A7530887-C985-4E97-9220-E6A738119346","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"77298b6b0cf14352a1c670b59d869d7a363a13ba","datavalue":{"value":"7471717","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5028486$B8D6D72A-A2B2-49AD-8876-A90586B7941E","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":"Q5028486$FAE16A96-F717-4674-8F82-7A3FDCED09CA","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":"Q5028486$74676104-D6A8-4BCE-88F6-50251C30CCB2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee1bd5723754d3f3766daaae49b37c3f6d620266","datavalue":{"value":{"entity-type":"item","numeric-id":4944846,"id":"Q4944846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028486$56A0C452-2ECF-45FF-90A9-FB8DC5931D48","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":"Q5028486$6EE2A235-C517-4BE4-BA99-8C9450D2AF2C","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":"Q5028486$F68FCA9E-396C-4B0D-9EC8-66EEE764B4DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aee069e777fe710074f53e5c93bcafdd2ef8123c","datavalue":{"value":{"entity-type":"item","numeric-id":5145298,"id":"Q5145298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028486$32C2B147-31AC-4B04-AFB0-281CD624BCEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"636e6d370787b2be5b482356fd8848f9c09cf99f","datavalue":{"value":{"entity-type":"item","numeric-id":2422026,"id":"Q2422026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028486$939DACED-FB5E-40FF-9897-4BDF4D639D25","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":"Q5028486$A714E0CE-2D02-4149-A810-96C6594BFD92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b4dfbaa0e17e1ebd4172fa6deb841857771ca02","datavalue":{"value":{"entity-type":"item","numeric-id":5712306,"id":"Q5712306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028486$12A92C0E-ACBF-4BC3-82F2-463AAA64F1FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7088e6dc711db66d4d22262c93949042581faa49","datavalue":{"value":{"entity-type":"item","numeric-id":4902505,"id":"Q4902505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028486$A6038B3B-96F5-4B49-8732-B50E08102B24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"884f63fdb0bf0e39d4ce8cf3d427b93284ad6f8e","datavalue":{"value":{"entity-type":"item","numeric-id":2013548,"id":"Q2013548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028486$4EC69373-F0CA-4F52-9A37-CBF8152825AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03afdf275ccfd5f11cb597005a9be741183e0c58","datavalue":{"value":{"entity-type":"item","numeric-id":5580926,"id":"Q5580926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028486$3585024B-6E27-46FC-B988-9099E91F1534","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48a73b0bc94774198cd192d06e32293454cda383","datavalue":{"value":{"entity-type":"item","numeric-id":4225149,"id":"Q4225149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028486$384C9AD6-C0DC-4488-8B80-3A3AD89C965B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f27fd93c1b5d93bcea3172146c72a26a046a3b1e","datavalue":{"value":{"entity-type":"item","numeric-id":2319982,"id":"Q2319982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028486$9B8A4057-4279-4234-8ED9-56D37086F77D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5ff532e8f7c9661a9505e4be8bdeefaf74ff27f","datavalue":{"value":{"entity-type":"item","numeric-id":3877834,"id":"Q3877834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028486$873C292E-A1E4-43FB-BC6F-C15CBCDF4278","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":"Q5028486$E65723B5-7E23-4763-8204-E073A8EAB76C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb5bcd13315aca34c1b1b5346b955a1fd3c4c7ab","datavalue":{"value":{"entity-type":"item","numeric-id":5151298,"id":"Q5151298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028486$BD71210B-5541-4C93-952F-07E363F07EC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5441f18107b2a62e3594a6223410af9d2680a52b","datavalue":{"value":{"entity-type":"item","numeric-id":4993352,"id":"Q4993352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028486$78212F32-CA8D-43A4-84C6-951808BD8153","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4ebfdec21f1f4eef9e25ed177c9a08b306f38bd","datavalue":{"value":{"entity-type":"item","numeric-id":4958656,"id":"Q4958656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028486$18FE436A-12C6-4A06-8417-F55E67419C2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a280463ff02871412d3940684fba9b09da963852","datavalue":{"value":{"entity-type":"item","numeric-id":5278410,"id":"Q5278410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028486$8F090464-FAB8-4FC5-A9F8-748B690E4B71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4219b9e9a34aa8918de2de1511c7b08fa278e0a0","datavalue":{"value":{"entity-type":"item","numeric-id":866572,"id":"Q866572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028486$A7B8B501-DF84-4AC1-8106-1A1C9668139B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8eff01d0710054224f955bac4bb082ed40f5e8c8","datavalue":{"value":{"entity-type":"item","numeric-id":3121017,"id":"Q3121017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028486$9108D25F-15B8-4522-8BA1-5FBEBD6611CA","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":"Q5028486$6F3B76F9-0823-4DF9-97BB-84661B78A720","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45e2187512867fe4f712404ca585a26321bb0036","datavalue":{"value":{"entity-type":"item","numeric-id":5286647,"id":"Q5286647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028486$3D0CC744-ECE3-4349-8EF4-9BA494C1EA53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"289ab5ea3338f7c7e8e70f9e0a2117be23a476f4","datavalue":{"value":{"entity-type":"item","numeric-id":2974664,"id":"Q2974664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028486$A1EB3FA5-6F1C-4703-A931-B1AE8DB0540C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c7130b8e8ad403bac4e3a609004e5598d1175d3","datavalue":{"value":{"entity-type":"item","numeric-id":5561939,"id":"Q5561939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028486$BDC596A4-87D8-490C-8314-231EC6730116","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":"Q5028486$F5061788-B5BC-4820-BC1B-6B355972C8B1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c94b82f244443386be345532129271c03a84ee5a","datavalue":{"value":{"entity-type":"item","numeric-id":2319982,"id":"Q2319982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3296bd53b16bf3d789e2e8db1c409b19b52f8e2d","datavalue":{"value":{"amount":"+0.8734349012374878","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":"Q5028486$685F2A69-9D68-4E06-9138-73DE5CDF53FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20c33c176c1af02c7c955a44f3b4740fff785fa1","datavalue":{"value":{"entity-type":"item","numeric-id":5740656,"id":"Q5740656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"408d6c70e3df4d500e97e57e1665903a977dac53","datavalue":{"value":{"amount":"+0.8384125232696533","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":"Q5028486$38910136-713C-4023-A26C-14703BC76049","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2a1ccb3b200eacff668c56085d8ceadba2ef59b","datavalue":{"value":{"entity-type":"item","numeric-id":5145298,"id":"Q5145298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"024368c81c326f77360b3013db5b832d65cad65d","datavalue":{"value":{"amount":"+0.8361640572547913","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":"Q5028486$4994B666-7176-4E49-9797-7E01C29E201B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5176827a140ab785d8d708fd59cf12da7d32c145","datavalue":{"value":{"entity-type":"item","numeric-id":2968413,"id":"Q2968413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48e474b20870ebba5ea60aa81ea23d75f223a5dd","datavalue":{"value":{"amount":"+0.8121694326400757","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":"Q5028486$18D01D8B-BE73-4931-8D54-6B4FFFE7A605","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11e0f7bb7fceb3fadcbe8d2ac5700e675b8c5206","datavalue":{"value":{"entity-type":"item","numeric-id":4611379,"id":"Q4611379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc5b67626649dd0eaddac047a6d815d34d5d17be","datavalue":{"value":{"amount":"+0.8113071918487549","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":"Q5028486$84DEFD24-946C-4442-A108-05F9B36DD3CC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5028486","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5028486"}}}}}