{"entities":{"Q2319982":{"pageid":2330725,"ns":120,"title":"Item:Q2319982","lastrevid":57855570,"modified":"2026-04-02T19:57:17Z","type":"item","id":"Q2319982","labels":{"en":{"language":"en","value":"Canonicity for cubical type theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7096713"}},"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":"Q2319982$02765D03-BDEB-4866-A760-652122DF5422","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ffaa4914edaac54825767e468cd5c71750292e51","datavalue":{"value":{"text":"Canonicity for cubical type theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2319982$A2A55DA3-A760-4F89-8B42-0470AE034FA2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"621189f0720798e7bdb16440b853f46c66f20240","datavalue":{"value":"1477.03036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2319982$6597BCF9-17B2-45B0-B4C5-26D3B650DE71","rank":"normal"}],"P16":[{"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":"Q2319982$15ED1010-789B-4885-9327-DEFEA202DB9C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2319982$A0279839-0D13-4DE8-B1C1-1A1F3FDB952A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a464f6c7eab966071a88066cc0d05cf39328258e","datavalue":{"value":{"time":"+2019-08-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2319982$5E4CD25D-EA1A-4764-9820-0294283898AB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ca8588bd993402ae59f455b0ef9f5575cf3ef092","datavalue":{"value":"https://arxiv.org/abs/1607.04156","type":"string"},"datatype":"url"},"type":"statement","id":"Q2319982$EF656CD9-92A5-4C6C-9547-B7337AAF98A6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9230c8da6e5632ad621620269b7ca185454f9df","datavalue":{"value":"03B38","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2319982$2D2BE593-E341-45AA-A2BC-7735136B8F1B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"78038d474cf309d861ba3e171ec8cafea865827a","datavalue":{"value":"7096713","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2319982$F6CD2F77-CDBE-45DF-947C-D3A9E3AC2DDD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"516ee24864c48e6908b48c62ca0b2afbb3a5986f","datavalue":{"value":"cubical type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2319982$5A39F7BF-2E10-423C-AFD8-9CC30BBCBD94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"13fd823fa813aa32375d6c4605d9195c2318674c","datavalue":{"value":"dependent type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2319982$1D29FF17-D0B4-4EC1-A4EE-62B6180E22EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e76da76122f5ca32c5c633ce8b9c54e05634dfc","datavalue":{"value":"canonicity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2319982$DB2BC964-337D-455A-8EFC-8A66DBE22196","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":"Q2319982$B14D7F94-6CBF-44F8-80FF-651F3470B2D5","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":"Q2319982$19D66A6F-C142-4634-BA75-867256FE3743","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b8b4b6e16f2dbcdf3358ba43a304833641dc17a5","datavalue":{"value":"W2963955593","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2319982$353547D6-BF44-4DBA-8F96-0EF0CA5A5306","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b00b5895e99d191ea2985b1dac8cd0296ccfe42b","datavalue":{"value":{"entity-type":"item","numeric-id":5369482,"id":"Q5369482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2319982$C82D19DA-4B95-4342-A8DA-267CF462B344","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"833079337a3c2f303ddbc3fe894c26799c99160e","datavalue":{"value":{"entity-type":"item","numeric-id":2881097,"id":"Q2881097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2319982$6C747AD9-EA45-4CBC-86F8-B91923AB03C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"264956f36982175453c070f2d8f8f60b18172d34","datavalue":{"value":{"entity-type":"item","numeric-id":5370902,"id":"Q5370902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2319982$6AC761B1-0092-4304-96B0-20E706575E90","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":"Q2319982$745E3D39-7BFF-4A34-AB81-AF4F4564AFF8","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":"Q2319982$A954DBE2-4824-432F-B076-EF07C2B89A86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"364525b70d80e5ad032dd4bcb752b39f36195669","datavalue":{"value":{"entity-type":"item","numeric-id":4508246,"id":"Q4508246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2319982$5F690D30-0A6D-4F8D-92E0-24DA13309791","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d91a6fc5a255cbadfa617ce94146193166c4f9ed","datavalue":{"value":{"entity-type":"item","numeric-id":4247306,"id":"Q4247306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2319982$331002EC-3539-49E0-9FA1-F5488D2E6720","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":"Q2319982$383382A0-7C9F-4626-B7FD-CE9D8CA10F62","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":"Q2319982$4296A4EB-7489-4776-96CA-EEE7C4402C68","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"136091367e40be51fcbe98d0dc367943360bd25b","datavalue":{"value":"Q129724373","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2319982$80E4C16B-C098-4386-93D8-843FDCFBB518","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1c2bb1f265a40830885defe00d7ab8fa5750de5c","datavalue":{"value":"10.1007/S10817-018-9469-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2319982$48BC2875-53B8-4029-907E-905C9DA88111","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":"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":"Q2319982$8D0792BC-6C3B-4E43-B314-5504122DFB8C","rank":"normal"},{"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":"d2fe55d38e96eff220abcca73668f719660a1faa","datavalue":{"value":{"amount":"+0.869006872177124","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":"Q2319982$A937DA18-318D-4CDE-B829-98BEE285EDA3","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":"2701f122fb0bad9e4495617d98ac0448c7d1b8e0","datavalue":{"value":{"amount":"+0.8483767509460449","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":"Q2319982$2EC39BC5-3F70-4F48-8A8C-231F6DD5355C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"516a087ce6888e89c27346063181cdf526639e94","datavalue":{"value":{"entity-type":"item","numeric-id":4580226,"id":"Q4580226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12fce80e7b81650698a5f675ac7a4069a1f297df","datavalue":{"value":{"amount":"+0.8346960544586182","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":"Q2319982$8DE678F2-36B0-4A0E-A8A7-B5E79A47D92E","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":"37e7b8caf34d8f52f654a1e40b5f1ff2a9538cab","datavalue":{"value":{"amount":"+0.8248127698898315","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":"Q2319982$5560C280-1064-453B-8D88-85ADFD788CD7","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":"Q2319982$7984478F-D51F-4AD1-9439-94C5122D9BD4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2319982","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2319982"}}}}}