{"entities":{"Q2289082":{"pageid":2299825,"ns":120,"title":"Item:Q2289082","lastrevid":57343293,"modified":"2026-03-30T14:02:19Z","type":"item","id":"Q2289082","labels":{"en":{"language":"en","value":"Constructing inductive-inductive types in cubical type theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7158704"}},"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":"Q2289082$38A22533-53B5-4A0A-AB0E-D099C6E981C4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d5a8bd6141234266546349b0e417615be50b5631","datavalue":{"value":{"text":"Constructing inductive-inductive types in cubical type theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2289082$FAC579D9-3EF9-4E63-9F4E-46A1F4EA0CE5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b59e2df306a3ea2c36b021626c3bd03bd324b731","datavalue":{"value":"10.1007/978-3-030-17127-8_17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2289082$BF82F038-1561-43E3-990C-3530B5BF2D62","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"176c8d3c6dc12180b672296a89d7fb15b439dadd","datavalue":{"value":{"entity-type":"item","numeric-id":2289081,"id":"Q2289081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2289082$ECF6B026-3814-4B8D-A208-30A2576EB4D3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c3667234f64e059790aacf6846d4478bb70e09b7","datavalue":{"value":{"time":"+2020-01-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2289082$655F8C5B-9292-4647-879C-C1D413FD121F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1a86519cb3571ebce07f2774b2a00a0f17e12c3e","datavalue":{"value":"68Nxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2289082$5FDE696C-3490-4BAF-A0A7-5201406966D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2289082$879B30A3-F612-4C3D-9425-CC0756545F63","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3a1b6baff7cf709344e00348ebafa60ddb24e8b5","datavalue":{"value":"7158704","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2289082$99356157-6EE0-49DC-BE92-9097B05C3720","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":"Q2289082$05786309-ECFF-4BBB-81BA-CF004D376472","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"28bf0bf027e2bf5bae1bf9376e2912eadc8bd2f1","datavalue":{"value":"https://doi.org/10.1007/978-3-030-17127-8_17","type":"string"},"datatype":"url"},"type":"statement","id":"Q2289082$6F1A5975-AED0-445A-A628-766C9A4B8714","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1e43f0ad4d28bd8e29df7136fa5098ce6b823026","datavalue":{"value":"W2932790846","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2289082$125C639F-CF05-4BA0-BE1A-C3898C267CD2","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":"7ee8ba5e2d78a5077a8d6d7d1505b0db29b3527a","datavalue":{"value":{"amount":"+0.7960157990455627","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":"Q2289082$5625E34C-24E1-408C-84C6-37577FD27CEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7481824813bc88cada60c52a3086eccbcdeacdae","datavalue":{"value":{"entity-type":"item","numeric-id":6079233,"id":"Q6079233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c3d02a524567d4b242f701ee3ac02bbeab5ad3d","datavalue":{"value":{"amount":"+0.7925888299942017","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":"Q2289082$A75C581F-1E43-46CA-9BAE-638097B3746E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eceaac39afb5b5bf6071ca0d9d41e6a0697cba8e","datavalue":{"value":{"entity-type":"item","numeric-id":2986785,"id":"Q2986785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95451d07aad8bd33747cb06a9c51f0a6619b319e","datavalue":{"value":{"amount":"+0.7759771347045898","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":"Q2289082$BF513B0E-D29C-4560-84AA-392F5728E702","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7fef228a353cc07d2c1654ce9e3f29b1224dff3b","datavalue":{"value":{"entity-type":"item","numeric-id":3586059,"id":"Q3586059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b53d50a47a758196b22a9729bb6cdab3e3cf5be","datavalue":{"value":{"amount":"+0.7697081565856934","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":"Q2289082$808BE6EC-6936-4506-B48D-BCA9F76F6F5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"821053c5a3a8c175a7e21446a81201ad4a83da98","datavalue":{"value":{"entity-type":"item","numeric-id":5277827,"id":"Q5277827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd45e6c990f1dc65cc30140bafaf9138f83a472d","datavalue":{"value":{"amount":"+0.7617009282112122","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":"Q2289082$31AA3384-3272-400A-A171-796B5A4FAF6D","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":"Q2289082$86F5AFB7-A944-4BA5-9B35-8F52AA97D43C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2289082","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2289082"}}}}}