{"entities":{"Q4580224":{"pageid":6609810,"ns":120,"title":"Item:Q4580224","lastrevid":53167310,"modified":"2026-01-24T09:03:49Z","type":"item","id":"Q4580224","labels":{"en":{"language":"en","value":"Towards a cubical type theory without an interval"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6917243"}},"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":"Q4580224$45967632-F754-4534-9B29-F81BBF66B10B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"429ede07a4594b86181fee275ac7de33aabfd1aa","datavalue":{"value":"1434.03035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4580224$76BE4056-4D0F-4B15-8EEF-851E4449872A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6801a503eb1bea2102d1e59832005afa5cab1cee","datavalue":{"value":{"entity-type":"item","numeric-id":1652991,"id":"Q1652991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4580224$85617552-7487-408D-9E6B-630DE65A6A3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a7cbc48b481a6b830ab14eacad20738b43bab2e0","datavalue":{"value":{"entity-type":"item","numeric-id":2176676,"id":"Q2176676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4580224$462F7A1A-8871-426A-99C9-9B68410FEC96","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":"Q4580224$04B987DA-8CA2-4612-A1ED-0D20F62BEAAE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9230c8da6e5632ad621620269b7ca185454f9df","datavalue":{"value":"03B38","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4580224$D53B93E5-D630-4B4C-B903-0D5C149F07D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"72047dd175f2df177aa1ddf4f7ca150e0c1e70c2","datavalue":{"value":"55U35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4580224$A749F5C6-A3CD-43E3-BC50-31510ACAF257","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"65700d5b9fe75d08520ac6e9f1e8c529c2a80cca","datavalue":{"value":"6917243","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4580224$96064430-2124-4787-AC13-9F276D013845","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4ecd2d433c9f863c39fe5a1fa2de24434b6de0d","datavalue":{"value":"homotopy type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4580224$0B1083B6-3734-422B-B8EE-09FC66E6AB74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8fe810434f585fa0203aea78467c3725c30107f8","datavalue":{"value":"parametricity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4580224$64DD56B7-C11F-4A82-93AF-3C971F1A2141","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a8388859765d437448f22dabfcf407925aaddb93","datavalue":{"value":"univalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q4580224$DAF5201D-7F81-4996-803A-1FA2CA929D9D","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":"Q4580224$B25DB903-E4B0-4ADF-8D4A-A8FA9115E518","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":"Q4580224$7555BBC9-6AEB-41CF-9E8A-916EBF24EDCA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6a7b7dc6a9f59a652773f7691dce2041bd9a4e1","datavalue":{"value":{"entity-type":"item","numeric-id":3638919,"id":"Q3638919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4580224$52A4F3FE-B7C0-48E6-9387-7FB8E944E088","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34a544eff9bd65de4592fa7b247517554bcdddd5","datavalue":{"value":{"entity-type":"item","numeric-id":2828239,"id":"Q2828239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4580224$8AE987E8-80BC-4C50-AD0E-81AAB0C3762F","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":"Q4580224$5B58C0EA-1FC5-4177-8C42-E04C7DF6E88A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e739d4e358cfe0bff089251671b51e298177305f","datavalue":{"value":{"entity-type":"item","numeric-id":5408445,"id":"Q5408445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4580224$2F851A5D-FB16-421F-9355-FD65EEEC699D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bfa3fee9904ef2d514238b07722c21a5047ba696","datavalue":{"value":{"entity-type":"item","numeric-id":2986790,"id":"Q2986790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4580224$9E2E06B9-6E6E-431D-A92A-09A8AFCD2443","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":"Q4580224$88CB38D7-1CB2-49C8-9D3D-D154FA690725","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":"Q4580224$9D2BC3A9-4CCA-47BE-8311-2676FB8D2742","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":"Q4580224$C9FA3338-425A-4550-A686-5FB7EFAFC4B1","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":"Q4580224$54D79B7B-1CBC-4E82-AF4C-EBB1A702CBBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0960af88a219be75a74665ab7538b65eed52d581","datavalue":{"value":{"entity-type":"item","numeric-id":280200,"id":"Q280200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4580224$BC4413C5-7AEF-404E-A562-4480C9CFD28A","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":"Q4580224$6742E2A6-4397-4189-8407-8D9E39297D83","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":"Q4580224$EBBDAF2F-BA37-4F54-BEA4-DEF04DB2C445","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"32b57fcd2e69b9b9cd65834ceb4765d45cb3a3ee","datavalue":{"value":"https://drops.dagstuhl.de/opus/volltexte/2018/8473/pdf/LIPIcs-TYPES-2015-3.pdf/","type":"string"},"datatype":"url"},"type":"statement","id":"Q4580224$6F464C66-7D3D-40C9-919C-0BAA969460ED","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"44d628c68b9ddfaa30bef349ebb26c4a0c4e9512","datavalue":{"value":"W2949164661","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4580224$F9859865-3A9F-48CA-9438-145F00EE57DB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b9f91f7d94480de2efd49593d3b25b3c783b4da0","datavalue":{"value":{"text":"Towards a Cubical Type Theory without an Interval","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4580224$1DB988BD-1F82-4086-A6DA-805B43B1459A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"84a8bf473966e5ea80d8d57ddb72c42baab39fb6","datavalue":{"value":"10.4230/LIPICS.TYPES.2015.3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4580224$C11558D0-A86C-40B7-8497-8E488E9744F9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"645ad25b577ad22d25dff575938608584a841b56","datavalue":{"value":{"entity-type":"item","numeric-id":5028425,"id":"Q5028425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b202a593ada96f49a1db61190df9d18fadb781d4","datavalue":{"value":{"amount":"+0.8585731983184814","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":"Q4580224$ED1D377B-ED42-4CBC-98FC-30C511BE0372","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e0526d2de6ea50db5116bfab90728355ff84bb1","datavalue":{"value":{"entity-type":"item","numeric-id":4961720,"id":"Q4961720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd33229757f56b20312d0f013453c62465504e56","datavalue":{"value":{"amount":"+0.8318729400634766","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":"Q4580224$A13896A0-B55A-471D-BC1C-BDFFDACEF68B","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":"76b0264309212e6bdc8a52fb2d2f0807db1b2af8","datavalue":{"value":{"amount":"+0.7815105319023132","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":"Q4580224$99FA217B-BD5F-47F1-AB7D-EEDF769976D3","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":"2b140402b3b6515c060ad78c898012f98a23130d","datavalue":{"value":{"amount":"+0.7772122025489807","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":"Q4580224$14589BC0-F5A6-4AD7-8462-BBC79E848DB1","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":"036feaf361ed2437f0392effe0a20ae880558d3e","datavalue":{"value":{"amount":"+0.7599319815635681","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":"Q4580224$A00B22D1-3195-4E07-8087-6217DF8F7829","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4580224","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4580224"}}}}}