{"entities":{"Q5145685":{"pageid":7175256,"ns":120,"title":"Item:Q5145685","lastrevid":53912975,"modified":"2026-01-25T22:25:01Z","type":"item","id":"Q5145685","labels":{"en":{"language":"en","value":"Sequential colimits in homotopy type theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7299517"}},"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":"Q5145685$889526FD-E9A0-401C-BD23-7BDE36648123","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"32d7c54c8e5c3ca8662b002cb9d4f420731d43f2","datavalue":{"value":{"text":"Sequential Colimits in Homotopy Type Theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5145685$D89D19D6-ABA8-48E5-B8EB-E46A8EC76D92","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e5b26b3c06697bcf2547c1151d078ea5d1a609bc","datavalue":{"value":"1498.03035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145685$808AFEE1-50BC-4E1D-855D-40C24F335249","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"db5c702c934453d6f331166f42d04411acf94f0e","datavalue":{"value":"10.1145/3373718.3394801","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145685$D64CB281-36C9-456E-9048-582A08D9B1F9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0e45709691c61609c144c84378482681438ba385","datavalue":{"value":{"entity-type":"item","numeric-id":2819786,"id":"Q2819786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145685$7D36C43F-42C8-44CA-99B5-D8C819AF617C","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":"Q5145685$1650237B-1630-41F8-AFC5-92DDC4D1FEC6","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":"Q5145685$D820848F-0725-4255-B494-6CFE5EEEFD3E","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":"Q5145685$8E5CA7F0-5FB9-4BE0-89D6-B27D360C8D54","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":"Q5145685$CC52AF56-C890-4BD6-AD09-1104FDD3C56B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9230c8da6e5632ad621620269b7ca185454f9df","datavalue":{"value":"03B38","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145685$33210EF4-23CD-42E5-85AC-39BBEDEF7B7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"72047dd175f2df177aa1ddf4f7ca150e0c1e70c2","datavalue":{"value":"55U35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145685$493B1FDF-369A-4C8E-AE92-206D75B4C56A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dc9a4660f4497e5f1d0102b9481bc1c28d08d790","datavalue":{"value":"18N45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145685$FCFFA968-8F1F-4EFF-9E3E-339C7D914D14","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5e7a2f224e5ae9eaa6be684863403b6e970cf569","datavalue":{"value":"7299517","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145685$4AB52364-11E7-4034-B3F3-E1C4B807559D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6886acc9bb720e6ad7ca13e49d3bd87570dc950","datavalue":{"value":"higher inductive types","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145685$CD9CAEC4-6963-45EA-993B-1EC3750C343E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4ecd2d433c9f863c39fe5a1fa2de24434b6de0d","datavalue":{"value":"homotopy type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145685$C47C60A3-4712-4F0D-AC3A-ACA507035D65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc5ec1eeeeca0034ff41918dd79603fb448d6f70","datavalue":{"value":"sequential colimits","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145685$185D5581-E5D8-4287-A3E7-7599BBFC84E4","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":"Q5145685$1DD18FA2-0EFE-4AD3-9434-6EDB051F3F62","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1cce7a8067ef2bae7d334731b4114523a734210f","datavalue":{"value":"https://doi.org/10.1145/3373718.3394801","type":"string"},"datatype":"url"},"type":"statement","id":"Q5145685$FD73186A-7D0D-4E8F-B4F3-79C198D081E7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"65341cb9c75d06d73cc1c5d814cd9287a3265c33","datavalue":{"value":"W3029044157","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145685$193AF55E-32BC-458A-BD9C-17464583645E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfc9b9330d1f5c66f120be434f09d27704326a4c","datavalue":{"value":{"entity-type":"item","numeric-id":5740649,"id":"Q5740649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3bef772a02e582d22d226e6a1c6085c1bde60893","datavalue":{"value":{"amount":"+0.7994248867034912","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":"Q5145685$812BC136-8299-4E5C-B9DA-8E8F9D9AAB48","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":"766e34e7f285dd372ba408d5778d7c9283eab54f","datavalue":{"value":{"amount":"+0.756187379360199","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":"Q5145685$FD774600-D38B-418D-85A4-39D4902434D3","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":"d3c93e0a674866e5b347853b8a7bceedbe3dcffb","datavalue":{"value":{"amount":"+0.755136251449585","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":"Q5145685$2D778CD4-E30D-4A82-BD1B-AA39A16793A4","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":"a4c2bcb790c9562556fbe1b9da7cf6220b87a175","datavalue":{"value":{"amount":"+0.7489163279533386","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":"Q5145685$C41604DC-D154-4747-9000-7AB697615B45","rank":"normal"},{"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":"f4d1ece88031d3223380001bc277d3e4479e3552","datavalue":{"value":{"amount":"+0.7466093897819519","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":"Q5145685$8721F891-DABA-40F7-9C59-766A11218359","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5145685","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5145685"}}}}}