{"entities":{"Q3177878":{"pageid":3188588,"ns":120,"title":"Item:Q3177878","lastrevid":58142415,"modified":"2026-04-03T23:47:02Z","type":"item","id":"Q3177878","labels":{"en":{"language":"en","value":"Homotopy-initial algebras in type theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6912752"}},"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":"Q3177878$58F239C5-DC02-4183-90F5-E7E8D44D6EB2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b18f496d14f87f8ca179209a6f46520c4d2bd524","datavalue":{"value":{"text":"Homotopy-Initial Algebras in Type Theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3177878$671CAA21-4FAE-4722-95BA-71E3B071FFD2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2e096bff5a0f8be692e21811049170d50dcb77b4","datavalue":{"value":"1426.03016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3177878$FD819834-4F9C-4808-A5D0-4E649B0F0DA3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c57b7d256985411af7005530b18dff648451a98b","datavalue":{"value":"10.1145/3006383","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3177878$8D2B9F14-3BB2-4E79-93FE-2801A90FFFDB","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":"Q3177878$CCAB9656-07D2-46F9-8E21-C2F3B70B99BE","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":"Q3177878$62E6139D-464B-40FE-8701-838B3235103C","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":"Q3177878$6440EB41-134E-4681-ACA7-BF48218883C7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f12bfc80fe4a431c556e028f5134a217234a7cc4","datavalue":{"value":{"entity-type":"item","numeric-id":63915,"id":"Q63915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3177878$720616B3-5718-4652-A9E2-47CD7BE48527","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a9aa22cb8a96ecb8781adebec8cb26e1601a98e8","datavalue":{"value":{"time":"+2018-08-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3177878$1F5D48C1-8E1E-45A3-8B0A-79DDC6C30148","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4d7f3bc1a3c8ce51ef5f9d6368f5c32d66383cec","datavalue":{"value":"https://arxiv.org/abs/1504.05531","type":"string"},"datatype":"url"},"type":"statement","id":"Q3177878$AA3F9BE6-EA61-4305-96F9-57931437E28B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"986c08f0415d9b4efc5e436ff6f771b7f15c345c","datavalue":{"value":"http://eprints.whiterose.ac.uk/105765/1/gambino-jacm.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q3177878$25C40AFE-0D75-40B8-8C98-56BC69654CBE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9230c8da6e5632ad621620269b7ca185454f9df","datavalue":{"value":"03B38","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3177878$B3E8366B-11E1-4564-9329-3698A339BA05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3177878$4C4BAF95-A9F3-47EE-9E71-6BE4FEA086CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9999005018a5f663d942576865981f299f2781f","datavalue":{"value":"18C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3177878$608C2A3A-BF42-4114-B258-F171D9D0A1F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"72047dd175f2df177aa1ddf4f7ca150e0c1e70c2","datavalue":{"value":"55U35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3177878$F556E0AB-82D1-4C7F-A601-5404E5BEC0B9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"55f90db05a5aa8772fdaa5800a963c43b6cb6706","datavalue":{"value":"6912752","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3177878$49136666-DFCB-4BA1-841B-B0C5EBF4E00E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4ecd2d433c9f863c39fe5a1fa2de24434b6de0d","datavalue":{"value":"homotopy type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3177878$DA4D843F-4BC7-4CDD-9DB8-5584ECBE8428","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7da571dfb1eb320ac35fd416b358d424ee685d75","datavalue":{"value":"W-types","type":"string"},"datatype":"string"},"type":"statement","id":"Q3177878$A001EFED-1F25-420E-A3AF-4F291741FF5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa8a6101ff90bea77f851517b5a991ddcaf7286b","datavalue":{"value":"induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3177878$02E7E4EF-A0BE-421F-AE06-45486FCD7539","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f17ea1aaf292843045de6c8e0fba1afa1d6af9c","datavalue":{"value":"initial algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q3177878$1DA27816-82A4-4E97-902E-EFD6A9E2E8AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f796ed2b460346bbba92264dac0da22a5120d5d","datavalue":{"value":"recursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q3177878$891CE5C5-56A7-4BC4-AFD3-6F3399437657","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"e937bb494f548645981bc3c1dbe61620737bdae4","datavalue":{"value":"Q59890116","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3177878$383F14C7-6A4F-4DD9-A906-208C1999BEF1","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":"Q3177878$2AED7E44-9BC6-4134-B193-0FACB7942B47","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"920587d0cbdf9bef5bef8bbb7018cc42f663fe25","datavalue":{"value":"W2963024429","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3177878$C51F358E-9873-4F8B-A98C-DE597B7BD38A","rank":"normal"}],"P1643":[{"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":"d74ac6ca6f33c73bdcb896d99a829d40cbf4c14d","datavalue":{"value":{"amount":"+0.8360685706138611","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":"Q3177878$BC60300C-8F2A-424F-96A1-401E47DEF291","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":"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":"Q3177878$9FEB5711-EE10-41D7-BCE1-8D364237ACA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50721503aef0079c5f4222b84006844b865b3d45","datavalue":{"value":{"entity-type":"item","numeric-id":5945839,"id":"Q5945839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e5b48859d0934dcfe2a4514df1c4e8051f5ea4a","datavalue":{"value":{"amount":"+0.763069748878479","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":"Q3177878$D9F3A6F1-EFA0-4876-AF20-63D617BD7C4F","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":"1e5b48859d0934dcfe2a4514df1c4e8051f5ea4a","datavalue":{"value":{"amount":"+0.763069748878479","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":"Q3177878$86E9D157-4D45-452C-B529-7889E2C3B6F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94ed348b0a35c2a6bf56c4bce9f1bd324eddbb65","datavalue":{"value":{"entity-type":"item","numeric-id":3090862,"id":"Q3090862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"303e36f89a9203d8137ecb9c7291c9d5c4f23063","datavalue":{"value":{"amount":"+0.7568339705467224","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":"Q3177878$0E1D2F60-21E5-4294-A206-527A43EB2932","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3177878","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3177878"}}}}}