{"entities":{"Q4580226":{"pageid":6609812,"ns":120,"title":"Item:Q4580226","lastrevid":58278522,"modified":"2026-04-04T13:16:17Z","type":"item","id":"Q4580226","labels":{"en":{"language":"en","value":"Cubical type theory: a constructive interpretation of the univalence axiom"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6917245"}},"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":"Q4580226$E69C0BD5-95E6-42AC-97D7-9F3BAF918AE1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"eb3ab0b22f5070983cca563bdfe89833306eda8c","datavalue":{"value":"1434.03036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4580226$629B6A5F-EE63-4492-A13A-7DF7801803DB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"110c9b9e0e852b5bffe2fcd42275bf67a9f49ee7","datavalue":{"value":{"entity-type":"item","numeric-id":375195,"id":"Q375195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4580226$A6A74386-61C1-4F38-BACD-D46D058AFBDC","rank":"normal"},{"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":"Q4580226$C5A42C5F-2749-4F18-9E30-BE8F14928253","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":"Q4580226$02D9B513-D66B-41AB-B42E-7A180FC2CBAB","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":"Q4580226$47DD40E3-FE2A-4A3B-961F-0DF4EFF70B74","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"30feba6170f0dd078cec0568a6ba1b353248bccc","datavalue":{"value":{"time":"+2018-08-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4580226$7F88DBBE-111D-45C9-875F-AFD511D5533A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"03aa3198e2d6e059efb31ea1b2d1bd0109394c16","datavalue":{"value":"https://arxiv.org/abs/1611.02108","type":"string"},"datatype":"url"},"type":"statement","id":"Q4580226$A45B70C6-4085-4C5A-ABC0-EB3F4871D5D2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9230c8da6e5632ad621620269b7ca185454f9df","datavalue":{"value":"03B38","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4580226$C877D3A9-670A-47CF-B748-14DCA9341512","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4580226$8D75A5AB-1007-4418-979B-06716D4163F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"72047dd175f2df177aa1ddf4f7ca150e0c1e70c2","datavalue":{"value":"55U35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4580226$E566E4A2-F52D-4D55-A23A-CE637AE2710C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cf173b17cb29f39acd7ecc1fdf48aa6cf6900643","datavalue":{"value":"18C50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4580226$CA2DEB54-DF9F-40F2-8E13-1F0FE7CB4ACA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"35f706f4a0356039fee122ad88464b4932a1a6c4","datavalue":{"value":"6917245","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4580226$88D16B92-ECC8-40FB-9588-DFB5813ED640","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3fe3f5ce79cef43b16740889fd3395c13c03fc1","datavalue":{"value":"univalence axiom","type":"string"},"datatype":"string"},"type":"statement","id":"Q4580226$8F293DF6-B31A-4F51-8BE9-3989EAFDE709","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"13fd823fa813aa32375d6c4605d9195c2318674c","datavalue":{"value":"dependent type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4580226$04FB63E9-0844-4180-B63C-60E6BF0192E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2bc006ff6c858158529f0c8fea632be308d5c4ab","datavalue":{"value":"cubical sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q4580226$F0D13511-0ACC-4F26-AC19-B214B9BA0D37","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":"Q4580226$8571EE5F-1CC9-4782-8A61-88F23B913787","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":"Q4580226$1D08CAA6-D633-40C1-9CF6-B8264DFEEBB3","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":"Q4580226$FF352BAF-78A7-4051-86BC-2739E986CD09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ce47aaa57ed062610df59dbf8e315e80f656a8e","datavalue":{"value":{"entity-type":"item","numeric-id":4083730,"id":"Q4083730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4580226$C7D75D74-30DD-4345-B1E2-2363A57CFD48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a24fad2ff9db69533d40041ceeea69bfdb0cd26","datavalue":{"value":{"entity-type":"item","numeric-id":5971392,"id":"Q5971392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4580226$2D525E4D-8B0E-4F06-B8A6-23A5C4168958","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e26be07e1b0f74693961d9bc40d199ed44b0c024","datavalue":{"value":{"entity-type":"item","numeric-id":5244789,"id":"Q5244789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4580226$0FE0BD5B-CAA3-4B6D-828A-25577CB002CC","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":"Q4580226$DB954431-F33D-4399-9D4A-50890CB26F94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38c59c4f1c099bf3aa105699227af5848a751ebc","datavalue":{"value":{"entity-type":"item","numeric-id":636218,"id":"Q636218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4580226$00E61011-ECAE-495E-BA9A-977375853736","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":"Q4580226$6D6CE938-627E-431C-9439-9E03236028C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1829d57a79fdec03bcb9e543ae58b9bda3fa26be","datavalue":{"value":{"entity-type":"item","numeric-id":3050433,"id":"Q3050433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4580226$E1D38CB0-0AB5-43BE-A9CD-E56F1C11E240","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":"Q4580226$B930A875-5334-4676-AFB4-1FA9DD604075","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":"Q4580226$64964207-D0F4-4228-97A0-EBB2E8A419C4","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":"Q4580226$CFC22939-F9FB-46E4-A6F8-47300A27E738","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"803c5ab38bb7fdc3e72ec717398acec4eff00b41","datavalue":{"value":{"entity-type":"item","numeric-id":5635480,"id":"Q5635480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4580226$AAA52EDB-F061-4FB1-8322-FD304CB266A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f5ff024eb03013723e59a7d51bba6f058f3d2fb","datavalue":{"value":{"entity-type":"item","numeric-id":5850160,"id":"Q5850160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4580226$F47DA5A1-81C6-4869-A002-45B35D79BCE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb11ca869a89cccb65ea9cceb6fc53bca68454eb","datavalue":{"value":{"entity-type":"item","numeric-id":1785779,"id":"Q1785779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4580226$6AD1A21B-A21E-4E28-9D63-41D9DC0FD53D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f985e5e7c8a7887023cac4b87587be4a01f9a98","datavalue":{"value":{"entity-type":"item","numeric-id":4635794,"id":"Q4635794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4580226$09C13917-2166-4ADB-858F-4B21C5549563","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae94f828af67e50fecbc9e4b645ed6964977b9db","datavalue":{"value":{"entity-type":"item","numeric-id":4099613,"id":"Q4099613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4580226$BF87119D-CADB-459F-9D6C-D2CEDB640511","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":"Q4580226$FE0B27D4-E472-4808-925C-D2AAD42A709A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d7c974da2fbdfbb494f4ddce13bd1f1e2231832","datavalue":{"value":{"entity-type":"item","numeric-id":2849600,"id":"Q2849600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4580226$1503F0C6-37C7-4B15-A457-CA2DA39A48CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94a01c36ed475cf0041d2907e03c6fdd066dd430","datavalue":{"value":{"entity-type":"item","numeric-id":5277978,"id":"Q5277978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4580226$53FAE0C9-ED08-4A48-9391-3D30DEF467A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15383d7fdca144a01746f6e53f0a7f1fd400fd89","datavalue":{"value":{"entity-type":"item","numeric-id":5277979,"id":"Q5277979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4580226$8C6FA3B4-A8D1-4FCE-8A5E-1FC9DF28C315","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":"Q4580226$2064925D-B796-49DA-98BC-D24CED594C51","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":"Q4580226$89BE0746-087F-4F63-9BB7-53462B47877F","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":"Q4580226$8D35187F-715A-4C82-9AD0-5FA0A25B691C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e2d363ec3a517a5d0633aef80811a463b5d1c56d","datavalue":{"value":"W2550513301","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4580226$7FF98629-F061-46A0-9304-AF2CC1E42A06","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"eb69b94312ac57b3f3946ccf4d7f0970b540b55a","datavalue":{"value":{"text":"Cubical Type Theory: a constructive interpretation of the univalence axiom","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4580226$D2A443E3-CE46-46F7-A651-7533C8FE5BB1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"58a12ccc0f56112170c22de49a666a769df7c876","datavalue":{"value":"10.4230/LIPICS.TYPES.2015.5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4580226$C42587E0-FD26-49E9-AFE9-F2C890608EB1","rank":"normal"}],"P1643":[{"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":"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":"Q4580226$24D31A6A-6A47-4880-9F71-394CB943133C","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":"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":"Q4580226$EA5E25A8-28D1-4B65-A62B-D4FBCEBC8E6A","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":"4d8dfffb9a78969bbd05abe36d3aade868a2a5e5","datavalue":{"value":{"amount":"+0.8264080286026001","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":"Q4580226$F1866884-757E-452D-98C1-25A25E63967E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27e06515956bdf64098be5a872edb3320002254f","datavalue":{"value":{"entity-type":"item","numeric-id":5016211,"id":"Q5016211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0a52b83bbb4e0ab61d5280821c7e91c09c9e307","datavalue":{"value":{"amount":"+0.8112626075744629","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":"Q4580226$5796B3FD-F956-4C45-B61F-EE46BC563E6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d72af8d80e3297e09a8c3f557bfaa214a7ef431e","datavalue":{"value":{"entity-type":"item","numeric-id":2319981,"id":"Q2319981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2cd3c324f6dd0b8d5e086455c3c13fcac14c2bc","datavalue":{"value":{"amount":"+0.798042893409729","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":"Q4580226$F94181AF-9478-4434-B5FB-7D760F87C1C5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4580226","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4580226"}}}}}