{"entities":{"Q5089011":{"pageid":7118587,"ns":120,"title":"Item:Q5089011","lastrevid":55415302,"modified":"2026-02-17T15:57:09Z","type":"item","id":"Q5089011","labels":{"en":{"language":"en","value":"Homotopy canonicity for cubical type theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7559277"}},"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":"Q5089011$29038D95-8244-4206-ABB7-DC763E438DB7","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":"Q5089011$EA7897E9-981E-4477-87F1-6DB3DA852047","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":"Q5089011$6CCD75E4-CDB6-4CDB-AD45-B11B13879292","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":"Q5089011$880D1706-A090-4A64-8A02-C19D295EC2A6","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":"Q5089011$CAB69E7E-64A4-478B-80CF-6F54C60F8DE0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5089011$8B7A2D8B-893E-4F75-8CF8-2734C492A289","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5089011$1D403972-9F3B-4ADB-B496-995007B6DEFA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1bfa576c44c5f929f14da6b235a4375104491e84","datavalue":{"value":"7559277","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5089011$C841B189-FCD0-46CC-9322-EB4E95D80547","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"516ee24864c48e6908b48c62ca0b2afbb3a5986f","datavalue":{"value":"cubical type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089011$F7837953-5E1B-4641-995A-9CC0F9AA450E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a8388859765d437448f22dabfcf407925aaddb93","datavalue":{"value":"univalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089011$CF7FBA34-3E2F-4CC0-B5AC-0CB546E5DB1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e76da76122f5ca32c5c633ce8b9c54e05634dfc","datavalue":{"value":"canonicity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089011$EBF08D4E-B5CB-453B-B136-B288ED43DE5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce29d3f6585ad60a4cd94bee43aa29fa543fe917","datavalue":{"value":"sconing","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089011$079357AF-27B1-4DF9-9EEC-C135F07CF80A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b16f98ce7d78e80eb107e5ec24bc82eeeb8cc4bb","datavalue":{"value":"Artin glueing","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089011$690BAEBB-0409-4559-8BC0-27F945C4FFFA","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":"Q5089011$04987FEC-88CF-49C3-B99F-5512D272048A","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":"Q5089011$7B1BA35E-2C01-4F71-A381-99747ABEF093","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e154aa9118f1cfec335fe4b3f0ee878903e59e9e","datavalue":{"value":{"entity-type":"item","numeric-id":5176953,"id":"Q5176953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089011$2C583C0E-93A8-43E9-96DA-C387E591CB8F","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":"Q5089011$3A3198D7-56A8-4078-8DDB-FE93896315A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5adae15f6654acfbcf7621f32cd882969fbf6d8f","datavalue":{"value":{"entity-type":"item","numeric-id":1096716,"id":"Q1096716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089011$E2E0C982-881E-4C43-A800-D5F9D74497F6","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":"Q5089011$025A0679-3F6D-4789-B279-09B54F16DEB2","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":"Q5089011$9CB2AA38-D765-48F1-886D-9E0F72566629","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":"Q5089011$647D252E-2A32-45C5-AA1F-2839D0A2DA0D","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":"Q5089011$BCF356FF-4C2F-44F7-A0F0-9AA5778F9453","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":"Q5089011$5639EDB6-AD59-4CC2-ADF7-8B71F4910B37","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":"Q5089011$430AD5B2-69EF-4E2C-B9B0-95F28596DBC8","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":"Q5089011$6BBBE429-4C7F-4F4A-A844-905EB37B4252","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d357a47c04e8c031646a6927518ecdcc37982e0","datavalue":{"value":{"entity-type":"item","numeric-id":3262780,"id":"Q3262780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089011$A45DD766-B5CE-435E-B358-A264E7F093FE","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":"Q5089011$7AACA340-7110-467E-87F2-EA87E4DD2373","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":"Q5089011$AB367785-D1AE-42C4-9116-2B9D499E4E7B","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":"Q5089011$937EED3D-34E2-41CD-AECF-71294BBFB19D","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":"Q5089011$743F2B32-BA62-4387-9D7F-B351A1A5F783","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":"Q5089011$651F6811-96BE-4708-9A71-9989C60115DD","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":"Q5089011$239C88CA-D6EF-4D77-9F5C-1978947E8BBA","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":"Q5089011$F44C81A6-E623-45C2-94CA-0B3EBB0C690F","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":"Q5089011$DD8DBCA6-B069-4C08-95B1-1B14C2470F77","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":"Q5089011$702A4B48-9CC1-45AC-B4F6-0ADB547E9BEB","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":"Q5089011$9A44D23E-AB37-47B7-AA59-C0D2A89F3744","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":"Q5089011$13445E33-0EEB-42FF-8A03-747374AE7F30","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":"Q5089011$69305730-4358-4863-8A8F-27487DCD4E60","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"21a4e30338b21c7c427c5d02f0f6ae311a3feb85","datavalue":{"value":"10.4230/LIPICS.FSCD.2019.11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5089011$9BAA0AFB-9D3F-4F3D-820E-A12B94E01654","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba3ede721a1499eb0c2f13685f75c7528d53092a","datavalue":{"value":{"entity-type":"item","numeric-id":5028486,"id":"Q5028486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0a269137ae37851f389c4f74e0e41ffedb7a6e8","datavalue":{"value":{"amount":"+0.9730917811393738","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":"Q5089011$CBF092B2-817F-4020-90E6-AD65B3A03155","rank":"normal"},{"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":"b823a13b6f7efe70b4970e695035c25347e9fa3c","datavalue":{"value":{"amount":"+0.8566495776176453","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":"Q5089011$D453012B-2249-4665-99E6-129BC435682E","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":"2d305cd44a42449bcf46678de6492fd1cc9b79f3","datavalue":{"value":{"amount":"+0.7978525757789612","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":"Q5089011$CC5B1F2F-5F1C-4A25-92FC-F706ADEF1ABF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08d083df6128f15efa78ee573dc142d4f07a02fa","datavalue":{"value":{"entity-type":"item","numeric-id":5079726,"id":"Q5079726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7653b2f849d772116201649c9af51a2e8cd70b0","datavalue":{"value":{"amount":"+0.7976883053779602","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":"Q5089011$57FB581F-1DD9-4710-B066-0725E4611C9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa00a3b4a22b28151da0a7d0a412db455ab32f97","datavalue":{"value":{"entity-type":"item","numeric-id":4635794,"id":"Q4635794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1924cd7c8da8c54339eea8fc855b131fd604c96","datavalue":{"value":{"amount":"+0.7789108157157898","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":"Q5089011$9B190B73-52CC-4970-8525-E3FCAD4D9E54","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5089011","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5089011"}}}}}