{"entities":{"Q5145336":{"pageid":7174907,"ns":120,"title":"Item:Q5145336","lastrevid":58456665,"modified":"2026-04-05T07:30:38Z","type":"item","id":"Q5145336","labels":{"en":{"language":"en","value":"Free higher groups in homotopy type theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7298785"}},"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":"Q5145336$2F49AEEB-A56D-40DA-BDB4-17FDF8E28782","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a733efe7d14a27ff421a74b144bf43dc43872107","datavalue":{"value":{"text":"Free Higher Groups in Homotopy Type Theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5145336$D0C91BE8-4313-42B7-8D8D-5A8D14822727","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"582bbd0e82eca371f3ffa06aa0c6cedb5985b213","datavalue":{"value":"1453.03003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145336$320D973B-57EF-475D-9937-1D2F3B01863E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0a6fe4f670dc910ef989d455532f3ca0a87b9c95","datavalue":{"value":"10.1145/3209108.3209183","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145336$9FBB101F-B3BF-4FEA-B05A-7F3D6D4A8566","rank":"normal"}],"P16":[{"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":"Q5145336$03E83AA6-6375-489C-B4ED-E5A5AF912FF2","rank":"normal"},{"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":"Q5145336$54D589B7-12A1-4E19-94D4-F333AEBCCD84","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":"Q5145336$24B8EF81-559F-4077-BCD8-4419AE00B9DB","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":"Q5145336$D096114C-2310-4FD0-BA2B-2935F068A8D3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"691823b0c702beab83983fde45450c016cd7792d","datavalue":{"value":"https://arxiv.org/abs/1805.02069","type":"string"},"datatype":"url"},"type":"statement","id":"Q5145336$B7B40437-7EB4-44C3-84E0-7D8F37C709E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"c4fc0f63636f6c36c03569009c537f7e4969c76a","datavalue":{"value":"http://pure-oai.bham.ac.uk/ws/files/84880700/Free_Higher_Groups.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q5145336$1BAE5107-34B8-44C5-AF89-8C179252A2D4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9230c8da6e5632ad621620269b7ca185454f9df","datavalue":{"value":"03B38","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145336$7808ECE0-24EA-43EC-8E04-38F517BE6255","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"72047dd175f2df177aa1ddf4f7ca150e0c1e70c2","datavalue":{"value":"55U35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145336$AE1446CF-EF92-4531-A946-C7A5626FBE0E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"41bf24267555d4cc355e3741f96e4f71435b3983","datavalue":{"value":"7298785","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145336$5470167F-4F15-4E6B-9357-85150F96FB1B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ebbf563200d40ea8a06f2edf2d8110b601cd07f","datavalue":{"value":"higher algebraic structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145336$E6902A7A-6A41-4763-815A-E59298092965","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f92177a883f8c5c657b2231d680f22ede6b5f6b4","datavalue":{"value":"homotopy-type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145336$B639C915-21D1-470B-95DA-A763E7EED5E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8330a98118f557cf328a0f5fd8d022b80df98a7c","datavalue":{"value":"truncation levels","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145336$07A14BEF-B31E-4C5D-A959-AE3C616DC1EA","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":"Q5145336$BCA76BDC-376C-427E-8CED-CB7ABC621F64","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"06b5b6bec884aebc1c96ef5e93a0cbabfb61d300","datavalue":{"value":"W3106463532","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145336$0CFC9987-1EEA-4970-99E5-F7FC60040153","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f46f34e4cc650b64ebb003303883a13e97b05d02","datavalue":{"value":{"entity-type":"item","numeric-id":5145293,"id":"Q5145293"},"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":"Q5145336$C787A6EF-D1A9-4A40-A846-44CF9072D657","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45f08de8ac116433111d403d8d42f140b773caca","datavalue":{"value":{"entity-type":"item","numeric-id":4989403,"id":"Q4989403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"771ab2f5f01545ec745c8ede117692d99b05f2ce","datavalue":{"value":{"amount":"+0.7132463455200195","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":"Q5145336$F43A6C34-5854-46FF-AD08-E5C4E02F75BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ad3f7793c966f5800be0bc53668750d78d41f94","datavalue":{"value":{"entity-type":"item","numeric-id":5145692,"id":"Q5145692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36f2b7548091b515a02442888d4f617090cab750","datavalue":{"value":{"amount":"+0.6987279653549194","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":"Q5145336$5B638702-6D2C-4B89-ADCE-8CC937E2EB55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43a3b5777cc7684a005cbcba160e7c897bab2d5e","datavalue":{"value":{"entity-type":"item","numeric-id":5879270,"id":"Q5879270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad32fe625e65549f4d6605a9260051ed9fef832a","datavalue":{"value":{"amount":"+0.6914041638374329","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":"Q5145336$968C20DD-AF51-4E48-996D-8A331FCFA88B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a4d1b0501bc0ca62d393e5b76273a0ea507e928","datavalue":{"value":{"entity-type":"item","numeric-id":5420262,"id":"Q5420262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d0ec673d964686a347a30ebfba0402e55d939b1","datavalue":{"value":{"amount":"+0.6883604526519775","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":"Q5145336$080557D8-39C9-4FAE-9C0B-1E5E8F495BEC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5145336","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5145336"}}}}}