{"entities":{"Q2819787":{"pageid":2830525,"ns":120,"title":"Item:Q2819787","lastrevid":58019313,"modified":"2026-04-03T11:42:40Z","type":"item","id":"Q2819787","labels":{"en":{"language":"en","value":"Higher inductive types as homotopy-initial algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6631288"}},"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":"Q2819787$809667F6-732E-45B4-A864-10692F614ACE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2c2f6b710aceb70bfde6c4304617ec827f2ac982","datavalue":{"value":"1345.03017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819787$3ED54E75-167C-43F1-ABA5-F12FE5EE6711","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1bd97315ef0f8df4e20ec4ff9fcf5d9c6601fbe9","datavalue":{"value":"10.1145/2676726.2676983","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819787$1B2728AA-5B06-4449-B35D-E73F8B4192CE","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":"Q2819787$7D2207CD-4C57-4402-8619-ABA8136270FC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b9100613eb4830bb977ae5cf1435a6c53e940dc2","datavalue":{"value":{"entity-type":"item","numeric-id":2819782,"id":"Q2819782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2819787$E64067A0-6A38-4285-8EFE-A32A989B8DDB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a917957632d8007b9f089349668ca3b6b937a8ba","datavalue":{"value":{"time":"+2016-09-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2819787$38333E9C-C0E6-4874-9BC3-2E8D18A03F18","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5a35d707c55e40e39d8b8b3af667dd17c636189c","datavalue":{"value":"https://arxiv.org/abs/1402.0761","type":"string"},"datatype":"url"},"type":"statement","id":"Q2819787$B56E57B1-19BD-4EBE-ABA0-05B2639B908B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819787$872B8ED0-EE93-43E1-851D-FDAF1A25C52B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819787$30E9EC2C-1D8A-41F2-9A81-95CA0D387750","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c9fdba58e5344e05288d09cbbfa64fc756b9e06c","datavalue":{"value":"55U40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819787$787224C0-D285-4A67-9919-F8FEF7C8F698","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a8d6561243ec0afc0334a3b108344db2dfc29ec3","datavalue":{"value":"6631288","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819787$32DB4906-7FE3-49D7-92D6-5BD15B002B2B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab586850bffcc4762366730ad6f3984c02839e0b","datavalue":{"value":"higher inductive type","type":"string"},"datatype":"string"},"type":"statement","id":"Q2819787$B43D8399-D406-4A40-AE97-B9414F362384","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4ecd2d433c9f863c39fe5a1fa2de24434b6de0d","datavalue":{"value":"homotopy type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2819787$9D15462E-2E93-4D92-9642-CFBEC0277C77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4561100f8b1dff92b4bd4a71de73079e25925208","datavalue":{"value":"homotopy-initial algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2819787$BAF18C57-0CA8-4674-9BA4-B60EAB437653","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"323cf10df7df6c4620406406c72895a0c6624027","datavalue":{"value":"W-suspension","type":"string"},"datatype":"string"},"type":"statement","id":"Q2819787$CC0BBC0B-9E9E-4FC9-B624-E6E8096EF63E","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"9de217e890cc7a6481134a66968a7f4d992ecd5f","datavalue":{"value":"Q56589041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819787$6CD772B9-5986-41FB-BD4C-1617E3C73DFF","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":"Q2819787$5053B75E-8A13-441A-80F7-1AF51E4447CF","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":"Q2819787$B848A22C-3159-4CD9-959D-2156DA339ED9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b5a1081020faa7d15c10fcd4e28ecd8c5bec2b15","datavalue":{"value":"W2052183597","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819787$C6AFA8B5-A34B-4EF0-A7DB-BA7F9FA0CC26","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"7b9cd2bd5b935a87f9f85574177f2e5e284f0d21","datavalue":{"value":"conf/popl/Sojakova15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819787$5ADB46A2-246A-491D-9F45-0C54BB42F7E8","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":"be41c75d60ae3461766e80524e343224ff0e9747","datavalue":{"value":{"amount":"+0.9581078","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2819787$8E747C93-DF9A-4ADE-8A7C-4C435CD3694D","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":"49d6daaa6933f514dbaf8fe0f094c465f7b665ea","datavalue":{"value":{"amount":"+0.94255704","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2819787$20385E18-1089-4C19-B77F-685E159FEFB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67ec9b030401ca7dc1a392d776507f50e8efaae8","datavalue":{"value":{"entity-type":"item","numeric-id":6075425,"id":"Q6075425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4fe5de1396052a967c73a638a3791467218dea0b","datavalue":{"value":{"amount":"+0.9293643","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2819787$59999D88-DC7F-44B7-987D-A0D7F730F032","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d83a2a9413298bdbd467972ad901abda13d46aed","datavalue":{"value":{"entity-type":"item","numeric-id":5428258,"id":"Q5428258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23ff477d0b4314a8544dc71b2c40e908c3ab1c07","datavalue":{"value":{"amount":"+0.9244433","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2819787$0D4883BC-E8A1-49CE-82B2-4FFDE1A0ED79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f341e3b87c29d21db53fddde511a42f7d897194","datavalue":{"value":{"entity-type":"item","numeric-id":5040166,"id":"Q5040166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5f45fc4d9a59d7af64eb61d131d339ec205afdc","datavalue":{"value":{"amount":"+0.9152603","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2819787$3B4E69B4-AB1A-4A0D-9DDB-132CE77F77F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81fd4751c9ac8497d5ed97b554e8d5a721e4341c","datavalue":{"value":{"entity-type":"item","numeric-id":1785779,"id":"Q1785779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c59bcc40450133e1d6245c45ea84ba11fd51d147","datavalue":{"value":{"amount":"+0.91226745","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2819787$019BDCCE-741C-4643-B2D4-6A795B772A30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab256da53b6f40d8b25c5261d228d0c3d615a3d6","datavalue":{"value":{"entity-type":"item","numeric-id":3525978,"id":"Q3525978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d97e5675c40e5f5179749b63d72091c428f9abbb","datavalue":{"value":{"amount":"+0.903697","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2819787$EBE9F6D2-B15F-4830-AAAB-AF13FED23FD7","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":"72a5901beac294d6233039a042447c8c9275f4b5","datavalue":{"value":{"amount":"+0.9026123","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2819787$F5101B7B-7CCB-42B2-9F6C-AD4BE4CDCF5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6e2fa711171a0ac47274caeed4c6108ca6294c1","datavalue":{"value":{"entity-type":"item","numeric-id":2933829,"id":"Q2933829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0017f2caab2d5034f9b314ea9e062378e4407509","datavalue":{"value":{"amount":"+0.9025482","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2819787$4104A8B1-378C-42D4-B9E8-F6C9D3BA7E4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3f3586461a8b1d69e0d9362b0d00a699e59c675","datavalue":{"value":{"entity-type":"item","numeric-id":2969774,"id":"Q2969774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba2b9f4a0be230b5b7513eba50139000acf65a1b","datavalue":{"value":{"amount":"+0.9019687","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2819787$8DAF571C-95C8-4C65-953B-CD64B7FDCBDD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ca2012559d088870aa14f2d6d8004eb7868c8953","datavalue":{"value":{"text":"Higher inductive types as homotopy-initial algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2819787$8DA5B03A-65EE-4E0E-9E2A-9FC8784760F0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2819787","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2819787"}}}}}