{"entities":{"Q5145692":{"pageid":7175263,"ns":120,"title":"Item:Q5145692","lastrevid":53912978,"modified":"2026-01-25T22:25:01Z","type":"item","id":"Q5145692","labels":{"en":{"language":"en","value":"Constructing higher inductive types as groupoid quotients"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7299523"}},"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":"Q5145692$32582A44-8F17-46B6-88F5-B28738E3781B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"81bd6ecf314b29dba3a079762b6eff95abc5aef0","datavalue":{"value":{"text":"Constructing Higher Inductive Types as Groupoid Quotients","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5145692$29D4BBA2-524C-4263-A1B9-EC4C5CCD4CC9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"523ebd219057e746ccf465c56ee1ecc80c847862","datavalue":{"value":"1498.03036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145692$0378E1EA-8EE0-43D7-B11C-EEF9F418A4E5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7dfce91537c8a31f0f7a86a3a90cdad35eaf59d0","datavalue":{"value":"10.1145/3373718.3394803","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145692$166A9BD4-8DDE-4CB2-AB27-6A2E70BEB6D3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7621c274c256d2c46ce77f2004ae28ad57e4e062","datavalue":{"value":{"entity-type":"item","numeric-id":2133177,"id":"Q2133177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145692$E2DF07FE-47DC-4E42-AB5A-546F16445B85","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d6acabd1d03c7bf4038f1fe09f6b50384b32deb5","datavalue":{"value":{"entity-type":"item","numeric-id":5145612,"id":"Q5145612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145692$CAA471AA-DC95-4DEB-9BCF-EC0BCBDF407D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2be4cfc06a63d907ae95fa44423b78da0f5c0eb3","datavalue":{"value":{"time":"+2021-01-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5145692$68BE30D7-9F12-4580-96B1-A5BE90E23D74","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9230c8da6e5632ad621620269b7ca185454f9df","datavalue":{"value":"03B38","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145692$A7189686-758D-4974-A8E8-45EE327F3A8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"15b254b0244ba14eae8134dd4e521a82fc9f57e2","datavalue":{"value":"18N10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145692$A95FACE6-4CE0-4850-8E31-E560BF67A9D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"72047dd175f2df177aa1ddf4f7ca150e0c1e70c2","datavalue":{"value":"55U35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145692$C0ABC709-6B42-4461-8F3E-B01D6B0D11A4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"05465dc6b513f9836e24ff5fd82f0835d1102f5d","datavalue":{"value":"7299523","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145692$798A4241-2D95-46AE-8BD0-86A097AC4E83","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09e5b68927baf737cf4d5adadb4664c931aae1c2","datavalue":{"value":"Coq","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145692$5B994286-FB49-4BAA-95EB-095FA527A79A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb334cd29cfc90e840a6380261c560edc6a49f02","datavalue":{"value":"bicategories","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145692$7DC9E950-DA7A-490A-AFDE-499490A891B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6886acc9bb720e6ad7ca13e49d3bd87570dc950","datavalue":{"value":"higher inductive types","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145692$F95BAE30-032C-4A2A-B232-C169CC86480D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4ecd2d433c9f863c39fe5a1fa2de24434b6de0d","datavalue":{"value":"homotopy type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145692$698C2207-6440-430D-A937-E2AC8CEFC0F3","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145692$165B6786-B0E9-43EF-BF10-7DACA3CDC3BF","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":"Q5145692$A86C1DFC-2748-48EE-96B8-BE2BDE569834","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2d624b88ed7dc467c188bab1d96b8ac16b26c458","datavalue":{"value":"https://doi.org/10.1145/3373718.3394803","type":"string"},"datatype":"url"},"type":"statement","id":"Q5145692$7EE4B49F-2390-4C59-A96A-E6E314CE6E22","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d9c9268e6ab00369609ea25812afa3caa5833687","datavalue":{"value":"W3032100515","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145692$A1F80EB4-6E67-4791-BBCD-C82BB4CD6FE2","rank":"normal"}],"P1643":[{"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":"0fb14ed107fd6193d96e7a31108a4ae2d8f7ccdb","datavalue":{"value":{"amount":"+0.9792101979255676","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":"Q5145692$CD985330-52C0-43A2-81B3-A22843B5D072","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aac67a273a6ae0afefb612f1d3784f5bcff8aa55","datavalue":{"value":{"entity-type":"item","numeric-id":1652995,"id":"Q1652995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad115586c2847ed9ed21c56d53c540c28553725a","datavalue":{"value":{"amount":"+0.7858433723449707","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":"Q5145692$3261DBE4-CDA7-4011-890A-D78005C33337","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e001309006a43b2c682ba66be212a39e7be2b26a","datavalue":{"value":{"entity-type":"item","numeric-id":4958656,"id":"Q4958656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66f8930ac7c0ad059991ff1a1313ceb30c48dce2","datavalue":{"value":{"amount":"+0.785820484161377","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":"Q5145692$E1024153-10C0-456C-95D4-4CE7BE86AC5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f96a820e5c47e2953e18031df9f9fd72c084a01","datavalue":{"value":{"entity-type":"item","numeric-id":2819787,"id":"Q2819787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6a327f71aab673c2b0cfb3192dd53aa563d145b","datavalue":{"value":{"amount":"+0.7783238887786865","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":"Q5145692$E4F9E782-7A32-43A6-A51E-BF2E71FA72AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80eee57571fdbb56a12fbb8fc8ab44a57cfd5c63","datavalue":{"value":{"entity-type":"item","numeric-id":5094144,"id":"Q5094144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a17bb116531ff51daa8b4db8ef90534d07beef42","datavalue":{"value":{"amount":"+0.7776839137077332","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":"Q5145692$40975DE7-DD50-425A-A87C-BC1F50AF4971","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5145692","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5145692"}}}}}