{"entities":{"Q6079232":{"pageid":13213539,"ns":120,"title":"Item:Q6079232","lastrevid":58673319,"modified":"2026-04-06T06:49:18Z","type":"item","id":"Q6079232","labels":{"en":{"language":"en","value":"From cubes to twisted cubes via graph morphisms in type theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7756110"}},"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":"Q6079232$14863075-02E6-4B8B-A998-6A147923185B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ad177f43addc836984552de78a0f63446be6401b","datavalue":{"value":{"entity-type":"item","numeric-id":6079231,"id":"Q6079231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6079232$0D826624-754F-4AA8-9B1C-3D2EEA6D4B5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc2accd5eaf3e9e7e00366f515bd2165d3c134f6","datavalue":{"value":{"entity-type":"item","numeric-id":1652994,"id":"Q1652994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6079232$840DF199-DC58-4B5F-BAFF-A4B696A68C81","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"85e9fa56e4bc3415a8bc443701bc1ff7ec8b61a3","datavalue":{"value":{"time":"+2023-10-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6079232$B4ED7DE1-3CF2-418A-9CED-30987AC7C860","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c0cc17f72d86e23cf0145ff934f3b93fb0f598c1","datavalue":{"value":"https://arxiv.org/abs/1902.10820","type":"string"},"datatype":"url"},"type":"statement","id":"Q6079232$9F90AEE7-30D0-4095-9D4C-62CE8B2E4CAE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6079232$E6AAF76C-704E-41A9-9F37-558D8641958C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6079232$B417F6FF-47F3-4823-AE37-52B69AD1E1AD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e2ba3035c340bfdb60a660b15c4aaf2d87612010","datavalue":{"value":"7756110","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6079232$4FC027F1-28FF-4D0C-85B0-0BB9292924A6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4ecd2d433c9f863c39fe5a1fa2de24434b6de0d","datavalue":{"value":"homotopy type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q6079232$EAB40A06-D2C7-44BF-810C-088C737946D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2bc006ff6c858158529f0c8fea632be308d5c4ab","datavalue":{"value":"cubical sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q6079232$FE6C5B63-A144-4926-8D2E-022D4DB6F55D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f822cf109143a27760ed2550b765a727b877a5c8","datavalue":{"value":"directed equality","type":"string"},"datatype":"string"},"type":"statement","id":"Q6079232$AE463E52-E5A6-48AA-84AA-ABCCABEAE745","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0812cd01a480ccc9d50d5017c01fea0ffff76bb","datavalue":{"value":"graph morphisms","type":"string"},"datatype":"string"},"type":"statement","id":"Q6079232$FA934AD9-CD78-44B4-B977-F15BB6F895A9","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":"Q6079232$8BB795C9-A472-4E5E-BFD8-015E9239436F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef52093ce11bafb09b533999243646a211bb9fe6","datavalue":{"value":{"entity-type":"item","numeric-id":4580224,"id":"Q4580224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6079232$D2E3A419-1AA3-4AF1-8A21-BC79B0766DC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c6922e49beef8253aaa17703fe94502bae8d59a","datavalue":{"value":{"entity-type":"item","numeric-id":1866042,"id":"Q1866042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6079232$3D3D989E-14B6-4E4F-A7E9-826956C8F091","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd0ef29a899e04b29094c76761a58b7b71ec5b6e","datavalue":{"value":{"entity-type":"item","numeric-id":1799035,"id":"Q1799035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6079232$18BBC785-CC2E-444D-8501-29115F901678","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2f36ae43e7c4e1956df4983dcde1733dc7d2561","datavalue":{"value":{"entity-type":"item","numeric-id":1072633,"id":"Q1072633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6079232$8605AE9B-53F6-43FB-A3A2-A185C64A4988","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":"Q6079232$D0E3FEA2-1A3F-44B9-B91A-D50177B9F97E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e797a69c329b33f562486ada5802c77e44cf06af","datavalue":{"value":{"entity-type":"item","numeric-id":5283204,"id":"Q5283204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6079232$EE2BF65A-1039-4AF5-AA46-A6D97C790C0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dcbad67c372b78d4e89fdcc7d1bf3491d1269881","datavalue":{"value":{"entity-type":"item","numeric-id":5278407,"id":"Q5278407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6079232$A500A5A8-8584-4D14-B1F0-75D7D541ECA2","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":"Q6079232$15FC1F84-AC48-451E-9A0E-DB3556373325","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":"Q6079232$8F83D0EC-F7C1-4A51-9957-F2E1A988955B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fcf27b7a78446b5193e149e1748bf4d4fa28420c","datavalue":{"value":{"entity-type":"item","numeric-id":4790109,"id":"Q4790109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6079232$18EB629B-AE56-46E6-8129-27817D39F20C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"540ed27ea355ebe0450e53de6a86ead29b974567","datavalue":{"value":{"entity-type":"item","numeric-id":5642701,"id":"Q5642701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6079232$E4E9D498-071B-437F-AA55-6CA3C3A6C5F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3ace08aee50aa7ed1e67a219ab235e0e0445c0b","datavalue":{"value":{"entity-type":"item","numeric-id":5739362,"id":"Q5739362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6079232$3B4FCD9C-9989-4A86-9056-3D15EB7643D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"437da1427fa7788f262f4ccb07323b25bc222c3d","datavalue":{"value":{"entity-type":"item","numeric-id":5505172,"id":"Q5505172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6079232$59FF5278-4159-4746-8277-D9CA4B78993A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47918ddb5dc575a0add2074b3778fd668a3f1cea","datavalue":{"value":{"entity-type":"item","numeric-id":2133175,"id":"Q2133175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6079232$DC4B4ABE-DBF0-4EA0-823B-DE42734500CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6b8ae78fa382e84d0f715ab21a503c2ed714d64","datavalue":{"value":{"entity-type":"item","numeric-id":4523176,"id":"Q4523176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6079232$D5143A5F-CD09-4E18-84F6-0D5BF3D3D7CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8eff01d0710054224f955bac4bb082ed40f5e8c8","datavalue":{"value":{"entity-type":"item","numeric-id":3121017,"id":"Q3121017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6079232$CFC5D5CE-BC0D-40ED-AA91-87D21C08C157","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1d13fae8b0edd005619879264a500b259205b13","datavalue":{"value":{"entity-type":"item","numeric-id":5963045,"id":"Q5963045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6079232$A63CBD6F-B6D0-49E2-B262-B987C154F17B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"472fe6e79b503d14429d15ec73a6169d7420ec0b","datavalue":{"value":{"entity-type":"item","numeric-id":5740656,"id":"Q5740656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6079232$70FDAAA6-6C68-4A54-B18F-5B9F2CCBC596","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":"Q6079232$CE4FA816-4927-4538-9576-52A4B3D45C10","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7bdcca940ce3d5eb14533cc270a34a5e455717d8","datavalue":{"value":"10.4230/LIPICS.TYPES.2019.5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6079232$F9913847-1C78-46EB-8699-575B6349A02D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93a52e653143f9f0797fe1aa345f9cd78c96e9e3","datavalue":{"value":{"entity-type":"item","numeric-id":5145691,"id":"Q5145691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"807fc2c466a9b68901852b83d26750843ed16791","datavalue":{"value":{"amount":"+0.7200728058815002","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":"Q6079232$02005570-D009-42CD-A515-FDEFDDC99845","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0734ab6ba3243b859753e27f8481096e62e0da8f","datavalue":{"value":{"entity-type":"item","numeric-id":5055493,"id":"Q5055493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b581951d36381aa923472751397f9d110f508c3","datavalue":{"value":{"amount":"+0.7065579295158386","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":"Q6079232$A761704D-A1AA-4B22-B53D-89190151D81C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5ed756326ed45a4e071b11bdc266f1764f7fc70","datavalue":{"value":{"entity-type":"item","numeric-id":2133175,"id":"Q2133175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"debba19e076b0ae5655939ddd29ed0049a71ae59","datavalue":{"value":{"amount":"+0.7017407417297363","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":"Q6079232$25847231-6189-416E-90E4-8B2FE2CE9D4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67ec9b030401ca7dc1a392d776507f50e8efaae8","datavalue":{"value":{"entity-type":"item","numeric-id":6075425,"id":"Q6075425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22617758b36b60552dc86c719c6ae356b2e52b53","datavalue":{"value":{"amount":"+0.6923300623893738","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":"Q6079232$011BD777-6B50-4D66-8462-195CA107C8C4","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":"08051957ecc83d6673db14a01f1d0a99dac6c0bd","datavalue":{"value":{"amount":"+0.6898242235183716","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":"Q6079232$4A14DCC9-C1A8-4C95-ADCA-A80DDA3DA776","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6079232","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6079232"}}}}}