{"entities":{"Q5145293":{"pageid":7174864,"ns":120,"title":"Item:Q5145293","lastrevid":58456662,"modified":"2026-04-05T07:30:37Z","type":"item","id":"Q5145293","labels":{"en":{"language":"en","value":"Higher groups in homotopy type theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7298745"}},"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":"Q5145293$6817810E-5EC9-48E0-B073-D44DCD7C2CB7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2826c9f1028a7d5fb0178b956311864f26cc64d7","datavalue":{"value":{"text":"Higher Groups in Homotopy Type Theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5145293$9E0ADACE-D5B8-44A2-A067-CB6A005AEBF1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"22c4494a1c2f7a5b92019d595189a6ff5d87be80","datavalue":{"value":"1452.03034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145293$4CE097C6-F8B1-43DD-9941-67594CA76CF6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"95ece164504fd8c5979565a338fef5c5a94736de","datavalue":{"value":"10.1145/3209108.3209150","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145293$9FA7280C-6E21-4486-A495-8834D2E0FA2B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3e65812be4cd0be55e195a415cc5c72e9a1b4f46","datavalue":{"value":{"entity-type":"item","numeric-id":1687769,"id":"Q1687769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145293$E9474CF9-B300-4A7E-A7D8-A80FA4ED8C44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8dc9f7061148c184d156fce1cd302b98949f36de","datavalue":{"value":{"entity-type":"item","numeric-id":1687767,"id":"Q1687767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145293$F9970AE5-F025-401B-BE19-51C5EBB9DD12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1f0df7e8ab50acf71103a626013759dc1694180c","datavalue":{"value":{"entity-type":"item","numeric-id":2229966,"id":"Q2229966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145293$15B14DCC-3525-499D-BE5E-E132E7BA3753","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":"Q5145293$CD351181-C857-4B4E-9327-4FB250BD7A51","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":"Q5145293$54DDE813-433F-4B71-8678-72C62CD10C32","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"01a9e6e69a61a96e09658ad845ee5fcca11f1012","datavalue":{"value":"https://arxiv.org/abs/1802.04315","type":"string"},"datatype":"url"},"type":"statement","id":"Q5145293$7DBDFC67-027C-4478-8AC5-D23C7CD63684","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9230c8da6e5632ad621620269b7ca185454f9df","datavalue":{"value":"03B38","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145293$F1D90B41-727B-4CE6-AED1-4476FAE34D4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"72047dd175f2df177aa1ddf4f7ca150e0c1e70c2","datavalue":{"value":"55U35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145293$659475BC-8DC2-4FEC-AA79-2E8C9EA9DB1E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7d0eccbbebac4a8a99a43931530af8400556ca96","datavalue":{"value":"7298745","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145293$0E2354E4-B6A4-4CF7-9E8F-E92739418554","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"134623965918ccdb3f05b3d376aa4808cf91f6b9","datavalue":{"value":"higher groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145293$FF2CDAF9-EE15-4942-BA56-9893A8A956E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4ecd2d433c9f863c39fe5a1fa2de24434b6de0d","datavalue":{"value":"homotopy type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145293$2034EB68-18B5-4B7C-A960-CE9EEA0E46DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2b1a6d8526faab7fb68d03e5ec74d5fb9fe3ff04","datavalue":{"value":"Lean proof assistant","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145293$0D7292A4-61A5-49BD-AF88-DFA543CA1FBA","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"39d1d25ae8c00cfad058b188db36fd61dac09925","datavalue":{"value":{"entity-type":"item","numeric-id":27041,"id":"Q27041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145293$923C11AA-44BC-464F-BE7C-B265ACDF0500","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":"Q5145293$8C207817-3BCA-42D0-BD20-CC1E0C65512A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3d2404a65f24128621b8a94ef591ca9815f56777","datavalue":{"value":"W2964185027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145293$6971B847-0723-4701-B3FD-F4B12F3EAEEC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63eb2f0bb0cf372f4dc3b1e93d4dd67c0c3b6462","datavalue":{"value":{"entity-type":"item","numeric-id":5145336,"id":"Q5145336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc6cb5991332a00ee1fc01005afe798adf9104e7","datavalue":{"value":{"amount":"+0.781722366809845","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":"Q5145293$C151CB8A-CDB1-472C-9047-5C986327CDE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65cb7e4ff1e329ad93839294566dd2c1fad83545","datavalue":{"value":{"entity-type":"item","numeric-id":4635651,"id":"Q4635651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a095bbdd849f44854183e6ca7edbe593d7664144","datavalue":{"value":{"amount":"+0.7658193111419678","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":"Q5145293$B43F6C86-197B-4A06-A1A3-9E1E88737619","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c58a42b478ce3b79ea5fc5be5cf0b55cb50e8490","datavalue":{"value":{"entity-type":"item","numeric-id":2957700,"id":"Q2957700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75b6130b4c4e8b577254b28ca0c2d70c5ca1ba54","datavalue":{"value":{"amount":"+0.7615320682525635","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":"Q5145293$C0D0DA05-7542-49AC-AE77-8E5F90862AA4","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":"197115ca8b4653fff634dedf541a521f49c52c17","datavalue":{"value":{"amount":"+0.7492048144340515","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":"Q5145293$4FE0D550-D091-4DFA-A28B-6A292869747A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2acf841d26e9ea58aed4646059df1014d3f65d19","datavalue":{"value":{"entity-type":"item","numeric-id":5271059,"id":"Q5271059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62ab722f47d3e4745c6e70581475113e1fa2f19b","datavalue":{"value":{"amount":"+0.7465073466300964","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":"Q5145293$431A2514-2B52-4D6C-BAFA-B43264BA9AF6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5145293","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5145293"}}}}}