{"entities":{"Q5145298":{"pageid":7174869,"ns":120,"title":"Item:Q5145298","lastrevid":58447647,"modified":"2026-04-05T06:34:30Z","type":"item","id":"Q5145298","labels":{"en":{"language":"en","value":"On higher inductive types in cubical type theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7298750"}},"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":"Q5145298$CC30A3E0-6FBB-4613-AF12-605AA1130514","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e71a0961c3b01c904ad2481c22bf3864fb7aac3e","datavalue":{"value":{"text":"On Higher Inductive Types in Cubical Type Theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5145298$43B5EFD3-DB38-44A1-A4C9-B09DD2FD5F72","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"86c63e0b71dd8e59462fbdca661969f1284ff766","datavalue":{"value":"1452.03036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145298$BDE87318-1CE0-4027-B127-ACF1B09A21AA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ff8b3fbf2762f1f310de6c7fd38e2f67e8d3de76","datavalue":{"value":"10.1145/3209108.3209197","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145298$F586F0B8-9D0B-446B-95CA-C009CD72B641","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":"Q5145298$00B340A9-AE61-4C51-93DB-C0A3F4436948","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":"Q5145298$6F3E8671-5002-4E03-A03B-69D29C29EA48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"37b6655ff0c1854542b6f28c9af39f0877a44635","datavalue":{"value":{"entity-type":"item","numeric-id":2319989,"id":"Q2319989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145298$765ADDF8-1868-4EE3-8FD5-8E2E236517FD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ee82b0c640d35f6663be3f8a5187d8cc540da0b3","datavalue":{"value":{"entity-type":"item","numeric-id":5145269,"id":"Q5145269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145298$28EC5F81-B2F7-43DD-801C-28932F840DDC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"233394734482eba32ed4ee15da745b1ac2b96149","datavalue":{"value":{"time":"+2021-01-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5145298$2B08C1BE-626E-494C-BAC7-C932FC5F7579","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a2dfe35513b46a47c4d917108b7fe060b51d818b","datavalue":{"value":"https://arxiv.org/abs/1802.01170","type":"string"},"datatype":"url"},"type":"statement","id":"Q5145298$E94DD7D2-1EFC-481F-B76C-337A896E42C0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9230c8da6e5632ad621620269b7ca185454f9df","datavalue":{"value":"03B38","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145298$6EE78DC9-55F9-4F20-92A7-08A0F97857FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"72047dd175f2df177aa1ddf4f7ca150e0c1e70c2","datavalue":{"value":"55U35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145298$D7422431-5B9E-41BA-B3DA-65C586F1C066","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5f39770feb701f506b3a641e31f780d4e92b2311","datavalue":{"value":"7298750","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145298$AFA47573-6962-4D1E-B2CF-11E89AD279D5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"516ee24864c48e6908b48c62ca0b2afbb3a5986f","datavalue":{"value":"cubical type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145298$3264DB83-A635-4B84-B888-3D8102B0BE45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6886acc9bb720e6ad7ca13e49d3bd87570dc950","datavalue":{"value":"higher inductive types","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145298$9ADAE63E-B341-427E-8168-3BD15CC6E281","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4ecd2d433c9f863c39fe5a1fa2de24434b6de0d","datavalue":{"value":"homotopy type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145298$909C880B-BC65-42C8-BB1E-2E5ED1160727","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cbc29d347a2fb5ab12fe5de5ba7a30a9fdf2916f","datavalue":{"value":"univalent foundations","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145298$E6F4DB93-1339-462E-84C1-ED0F8ED22212","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":"Q5145298$DE5936CF-EC2E-40CF-BD81-2945804C1305","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e592ce18b106d8b9fde31f2d40c200dcaab75e6e","datavalue":{"value":"W2964029175","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145298$34657E6C-F74E-4E50-BCF9-41C203A11C57","rank":"normal"}],"P1643":[{"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":"4afad691aebd3f787fb159b8ad621fefe6854036","datavalue":{"value":{"amount":"+0.8686522245407104","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":"Q5145298$784D4905-1D4A-4783-9D0A-C4F264077E28","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":"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":"Q5145298$7662C14F-9C36-46D4-BBE0-17305B1CE17B","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":"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":"Q5145298$92A50AC3-E316-43B8-BF54-B7C006D3BAD5","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":"020a1159516c4e63dcc4c23d1d458be872b3d285","datavalue":{"value":{"amount":"+0.8107244372367859","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":"Q5145298$6544F311-0B14-4557-9AB4-4A4AD3731E34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7be9f0bb3e23e9ef4020847e600b42c1a56f4949","datavalue":{"value":{"entity-type":"item","numeric-id":2938036,"id":"Q2938036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a4c914d5aac61f86625fe755d871d6b11c28fac","datavalue":{"value":{"amount":"+0.8101308345794678","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":"Q5145298$A4DD58FD-9699-47B8-9EC2-D2299635C44B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5145298","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5145298"}}}}}