{"entities":{"Q2942884":{"pageid":2953604,"ns":120,"title":"Item:Q2942884","lastrevid":85120142,"modified":"2026-06-03T05:57:07Z","type":"item","id":"Q2942884","labels":{"en":{"language":"en","value":"Canonicity for 2-dimensional type theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6481259"}},"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":"Q2942884$D97D2DF4-853D-45A7-B1DF-BD3C97F13EB2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"41f91730a10614a1d17dedb776846a1c1fc85aa8","datavalue":{"value":{"text":"Canonicity for 2-dimensional type theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2942884$24F95CF4-D0DC-48A1-80D2-F65119162864","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bb9c626bacf6a49025c627f65bed34bbb770f56c","datavalue":{"value":"1321.03049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942884$B8D40D0E-C293-4355-97D0-163BB2554E43","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"42fb2fbc59ce4743a4abdae96be75cd9bdbe6926","datavalue":{"value":"10.1145/2103656.2103697","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942884$14BC209B-5F57-43CA-9648-E2F4D0C641D2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ca9b760f000d29c53be76803a4c9934e343535f2","datavalue":{"value":{"entity-type":"item","numeric-id":2819683,"id":"Q2819683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2942884$C11F7BB5-9E5E-4B80-99F8-AB9E541EEA34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c54adbdcdd8e58c67c424995e904ed84263f16dd","datavalue":{"value":{"entity-type":"item","numeric-id":724929,"id":"Q724929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2942884$0AE93D77-D604-4E4A-985D-24802798F9E7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b2e3947a47402cf435bd22e833e203adf92b612a","datavalue":{"value":{"entity-type":"item","numeric-id":2942852,"id":"Q2942852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2942884$EDC8DCA5-9839-4D67-93D0-A66763C4B347","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4dc3af13f56c9757ccde8db0e7a8779bcfa3e4e2","datavalue":{"value":{"time":"+2015-09-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2942884$873E6AFB-8F19-4FFD-B81C-4950F3A548B3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d9b6e78968ea60645045fca573c4f52f496b2180","datavalue":{"value":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.208.1826","type":"string"},"datatype":"url"},"type":"statement","id":"Q2942884$3AA1252E-F7F5-484D-9DB5-E61C876537E9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942884$E812E2B9-D4BD-41CF-96DF-04E6CD0D22A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942884$09C1D370-262A-4C74-BC01-41A6E0F2CA70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942884$F70A02A5-7F20-4075-8AB0-354F5A9121E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942884$275E1B43-7AD3-4C1D-B9F3-C006F939AC5D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"230c9c8f32b1550653e013264328f2f2d9d11d7a","datavalue":{"value":"6481259","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942884$9C06E2BA-78E0-4BAE-9029-73E856014984","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5685485f4c27abda29cd481c0486a1adb54b3a91","datavalue":{"value":"category theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2942884$A67592A2-07ED-47A3-A00E-EB147EC6D267","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e22447b229c7a32c8d247e1ea4002861fd0fbd68","datavalue":{"value":"dependent types","type":"string"},"datatype":"string"},"type":"statement","id":"Q2942884$38A7305E-55BB-43DE-AE59-D06C0B3BE891","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4ecd2d433c9f863c39fe5a1fa2de24434b6de0d","datavalue":{"value":"homotopy type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2942884$353D260F-6F6D-4586-8AE3-3D8B4058C924","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ea0e35eece84bed33461e424b92d07e45bd0c24","datavalue":{"value":"type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2942884$C541E30E-D0AA-4629-9B9E-0E6FA7444D18","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"27b6ae20da44d6f09b655d9481cc0df08a8ffcdf","datavalue":{"value":{"entity-type":"item","numeric-id":18826,"id":"Q18826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2942884$F82B092B-2C3E-4131-8FE4-60270F4DA554","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":"Q2942884$749E62EB-C0E2-472B-AF9F-FC87B7251598","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"869c33814cb59df7919381f15371e6da282da732","datavalue":{"value":"W4247853537","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942884$0041BF77-FBF9-4258-916F-A50DD8EE3139","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64ee28c935680583520f591a20d7c0f057ae42e5","datavalue":{"value":{"entity-type":"item","numeric-id":5370902,"id":"Q5370902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51995ef04d10b8dfb6fe12d42e5cbcb4f060af90","datavalue":{"value":{"amount":"+0.8230716586112976","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":"Q2942884$7692921D-91D1-40E8-8DB9-DF84BE62AC6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12b0e950a0ea98bb23fe11f9d5098bedc711a256","datavalue":{"value":{"entity-type":"item","numeric-id":5739362,"id":"Q5739362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7f012f10f77b6285d0ea2efa2bc31e7f635c0b0","datavalue":{"value":{"amount":"+0.7951552271842957","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":"Q2942884$73607FA6-C6EE-4856-A743-032A8CAE30CC","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":"717fa9d17245eb113ec738c531154416f82d239e","datavalue":{"value":{"amount":"+0.7820436954498291","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":"Q2942884$769A7242-56AE-4334-A080-51FE13696A51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3af18e8da681b1902a3c5c43ed5728f4e5260dd","datavalue":{"value":{"entity-type":"item","numeric-id":3395310,"id":"Q3395310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b3a91e8b6b1713ce4559a45b9043be70a152cdd","datavalue":{"value":{"amount":"+0.7797144651412964","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":"Q2942884$922D3634-BD1C-4181-95B2-6CCB4D1C2C95","rank":"normal"},{"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":"2aaf7fddd78eb362a60edb2079d021ad159b3880","datavalue":{"value":{"amount":"+0.7762505412101746","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":"Q2942884$D4465B3A-83D4-4DC5-BA14-06FD70F8E390","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Canonicity for 2-dimensional type theory","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Canonicity_for_2-dimensional_type_theory"}}}}}