{"entities":{"Q2986785":{"pageid":2997509,"ns":120,"title":"Item:Q2986785","lastrevid":58088589,"modified":"2026-04-03T18:26:00Z","type":"item","id":"Q2986785","labels":{"en":{"language":"en","value":"Inductive types in homotopy type theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6718069"}},"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":"Q2986785$9614D5B7-C6DD-4D63-B597-BBD2ABE009F2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9c60bbc03b3cbc1b9f0bdd321c816a2ef789903c","datavalue":{"value":{"text":"Inductive Types in Homotopy Type Theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2986785$58D0D587-52C0-4D6D-9944-2A5F783107FA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3a9ad860f3ee5c3048e42fc859898495bbcadf58","datavalue":{"value":"1364.03014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986785$517F688C-CC50-4475-8348-3CD6E8300C5F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ebf2cfc1741d8c4cdcd418f114ff3fa9c3b26a82","datavalue":{"value":"10.1109/LICS.2012.21","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986785$34B1465E-637C-4EE4-B4E1-FA56F68DAA53","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e85d980a71ba2f21f2ab5dfb6106cc1a8d5441ea","datavalue":{"value":{"entity-type":"item","numeric-id":531323,"id":"Q531323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986785$6ADB2317-034B-4D34-9938-A89F05FC9713","rank":"normal"},{"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":"Q2986785$A6EA4A77-FAE3-40DE-AF0C-6E1A4B63263B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2009e276a9c17224dc798d13c148c747ba9f7376","datavalue":{"value":{"entity-type":"item","numeric-id":938240,"id":"Q938240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986785$74F0DE81-0F96-4C69-B67E-EAAB45167B41","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"582a6c5adc14cfa6944ab3a3a801ae6337273c99","datavalue":{"value":{"entity-type":"item","numeric-id":2986776,"id":"Q2986776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986785$92BEBE21-DE89-4FD1-82EC-84675F086419","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"daa85c3fca52a36a5bd491b86ad0a10dbad35089","datavalue":{"value":{"time":"+2017-05-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2986785$578ED513-3E07-41B8-9BD7-4A150FFE88A5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2fbd1484dd15f7cf6395db9fa58ec9b8dc5d5a86","datavalue":{"value":"https://arxiv.org/abs/1201.3898","type":"string"},"datatype":"url"},"type":"statement","id":"Q2986785$723B0C91-4896-4FD9-854B-BB9F1391938B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986785$D778BA43-C6C3-4DC7-BBC1-BDEE07FEC891","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986785$FD14F659-37AD-4057-B7D1-308A6282B327","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9999005018a5f663d942576865981f299f2781f","datavalue":{"value":"18C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986785$38B2E32E-B6A0-4D40-A76F-C9EF7A5A3A11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c9fdba58e5344e05288d09cbbfa64fc756b9e06c","datavalue":{"value":"55U40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986785$B52E0A04-4744-41BA-8C8A-BCCE84CC34BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986785$36EF15E0-4BA8-4381-8D9F-610BC2DA2F0B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a94876011ea9543f8a0a57265d613a1ffa90c66b","datavalue":{"value":"6718069","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986785$70F76BD3-5B34-4D7C-A01D-3751308B8C95","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ea0e35eece84bed33461e424b92d07e45bd0c24","datavalue":{"value":"type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2986785$70187B97-3E14-4C8E-BEB0-F0CAE4451169","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2abb1b2dfb8967bf3aa8a1b7494d6eff4c8b2f1f","datavalue":{"value":"homotopy theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2986785$1145E129-6A47-446D-B881-34F79A7C25A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae973dea0bce1781f54a2b7f8606c1e8a434cfdd","datavalue":{"value":"initial algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q2986785$D76F8594-3669-46AA-9FEE-662EAC3655A2","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"71e76d9153a5e9aa0f13d0bfe515109c5fd8336e","datavalue":{"value":"Q61834693","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986785$E0D25EED-137E-4D1A-B2BC-3F5117657A3F","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":"Q2986785$58CFC48D-1387-42EF-8AB3-5D1E5676028F","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":"Q2986785$22C0BB50-6638-4C5D-A99B-CFBFB2AD2B1C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f3298496daa3f7fa2d4055bf5a5a9fe2ac042bd7","datavalue":{"value":"W1978777279","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986785$9551E78A-2BFA-49E8-A1C3-978050403A20","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e6a0e6d7a5650309ee9f2db22aeda2d9a4087d8","datavalue":{"value":{"entity-type":"item","numeric-id":3177878,"id":"Q3177878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8e077f1f77e2ac512f56f2f0bfec8454910eda5","datavalue":{"value":{"amount":"+0.8309647440910339","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":"Q2986785$9C8F249E-B58E-405D-8A3C-6C983DC8FBA6","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":"13841a38c618892c784fff9e2887c86a33935096","datavalue":{"value":{"amount":"+0.8097100257873535","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":"Q2986785$42B68D57-093E-4F0D-B35D-DCDD0EDDEC38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"821053c5a3a8c175a7e21446a81201ad4a83da98","datavalue":{"value":{"entity-type":"item","numeric-id":5277827,"id":"Q5277827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1440a4efafccfc9991c9ce0314cedb13e65267f2","datavalue":{"value":{"amount":"+0.8042272925376892","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":"Q2986785$1A176E93-A79D-4A1D-8C83-47183E2A6697","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7a9ecafa517a489f6c9b034480cb6a1eb4ba61b","datavalue":{"value":{"entity-type":"item","numeric-id":2937385,"id":"Q2937385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1af5ccc9d46b40e3850be6fd5d59bcc29e310a1d","datavalue":{"value":{"amount":"+0.7987546920776367","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":"Q2986785$2EA36621-0E8B-4D15-A0BE-802491D482A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2a1ccb3b200eacff668c56085d8ceadba2ef59b","datavalue":{"value":{"entity-type":"item","numeric-id":5145298,"id":"Q5145298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16a378316764cb57c8fa0ba0c9ba63e477b292a0","datavalue":{"value":{"amount":"+0.7966135144233704","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":"Q2986785$3D4C8057-2D40-448E-B3FE-3A71131D3E20","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2986785","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2986785"}}}}}