{"entities":{"Q5740649":{"pageid":7770201,"ns":120,"title":"Item:Q5740649","lastrevid":58596999,"modified":"2026-04-05T22:33:26Z","type":"item","id":"Q5740649","labels":{"en":{"language":"en","value":"Homotopy limits in type theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6606935"}},"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":"Q5740649$B1A70FB4-D057-4F14-B4ED-3E8840E32F78","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"64676228cdbc10aa514d6f31d0b9db534496e5d5","datavalue":{"value":{"text":"Homotopy limits in type theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5740649$B6B939DD-11DD-4C64-A90A-779BC41A59AA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3964743c0051e61ed347af710ef497379bad3dd4","datavalue":{"value":"1362.18004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5740649$D8B86EB1-8DB8-417B-9D16-57038FF570B5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"84026344a4974ff8804f93b1699cd45acdfd5cd7","datavalue":{"value":"10.1017/S0960129514000498","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5740649$D97386AE-6E06-4FCB-91F7-71AA6D0E83A1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"834b9908deaa5f43ae5b55e2029a1dd9a50ccc06","datavalue":{"value":{"entity-type":"item","numeric-id":287376,"id":"Q287376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740649$DBD786DB-E571-4F45-AD7B-CE447AD7C809","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"848ba680bc4beb5e419f7a7def7b1448b789467a","datavalue":{"value":{"entity-type":"item","numeric-id":1785777,"id":"Q1785777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740649$C58792F5-FA60-466C-BE7F-53C79C50277B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"49e0837564dfa9a6596ab14ab5ec88f3e83b3911","datavalue":{"value":{"entity-type":"item","numeric-id":1785778,"id":"Q1785778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740649$2D247C16-6509-4388-9F56-64F3383BA462","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740649$25923397-2283-484B-972C-12AC97C61542","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f8fcfc88af95aea3cd67fc84c40dc96dff0f00ab","datavalue":{"value":{"time":"+2016-07-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5740649$E830E3D8-231C-4965-BEF6-D167125DDE90","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"98b23d8086fb4de17b1aae3d85edde373d5be8b6","datavalue":{"value":"https://arxiv.org/abs/1304.0680","type":"string"},"datatype":"url"},"type":"statement","id":"Q5740649$1310297F-4036-46E0-AA07-9067D13F8C7B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"aa2d311bfebadfc58292672011b7418c359f6a26","datavalue":{"value":"18A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5740649$6E5CA1B8-6F1D-49F7-92DF-BAAE16E3B267","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5740649$DF377069-B1D6-4C78-94A2-F0BE1793D711","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c9fdba58e5344e05288d09cbbfa64fc756b9e06c","datavalue":{"value":"55U40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5740649$E85DBCB7-CDE6-455F-AD23-4942B0FAC331","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5740649$5EF36AEA-7A28-4905-9AE0-C817BCFBC709","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fd8460f0b96b45f74aa50674d0f9092debbbcd52","datavalue":{"value":"6606935","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5740649$42AFC702-A437-4C14-89EE-B89CECC33C3F","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":"Q5740649$380B0F0B-DCDC-42CD-99EA-2E1005F5AFA6","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":"Q5740649$CCD12A94-2100-4ED5-B0EF-3392156188BB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"71e334f51175391aa489ad19ee69f9b684c7888f","datavalue":{"value":{"entity-type":"item","numeric-id":3079518,"id":"Q3079518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740649$246BDD0E-BCF7-49DB-8E05-7FD638270EB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e82b1878adb750555f15a80d08f147c60e0fbb1d","datavalue":{"value":{"entity-type":"item","numeric-id":959823,"id":"Q959823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740649$9B4D493A-E501-4904-87A4-FE02BCB1BE30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7dac16af6cf1adb18d0516e2c8db27f45fc424e6","datavalue":{"value":{"entity-type":"item","numeric-id":5327343,"id":"Q5327343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740649$A6423334-A0AC-4CD9-AA70-0BA2761D1831","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"703f24f0ddf8e9723982d67cc6c8ac78262ad4b9","datavalue":{"value":{"entity-type":"item","numeric-id":5657402,"id":"Q5657402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740649$04651474-12F8-4475-8045-45A5E43C858E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb59eb9944ce8d4d551cb0335492e66377b829d2","datavalue":{"value":{"entity-type":"item","numeric-id":2559986,"id":"Q2559986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740649$C0E3EF8E-0ED7-4FAD-9212-F22BF5D01E1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c34dc9717227ed50fdd0b6e42a87e0894e10ce04","datavalue":{"value":{"entity-type":"item","numeric-id":4121191,"id":"Q4121191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740649$0BFB87EA-94F9-4C6A-9309-D176CA19CB33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ecdac14a6d1f0425c3e321b73a201f6c904fd9b","datavalue":{"value":{"entity-type":"item","numeric-id":3598111,"id":"Q3598111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740649$313D03BE-E9DC-4768-A313-AD9A4388A41C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2773479012cc272f13c09b49bba269aa6bb02405","datavalue":{"value":{"entity-type":"item","numeric-id":3637194,"id":"Q3637194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740649$7DBCFDF4-39BD-4A59-866A-B83C4B44F296","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f8c9eca3b10085781f8bf8193076d1ba4bfd275","datavalue":{"value":{"entity-type":"item","numeric-id":5145685,"id":"Q5145685"},"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":"Q5740649$224AF451-2274-443D-A91C-7D42277E4572","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":"da5b6ad0d12cc068c8dfdc285f94627e81984ed7","datavalue":{"value":{"amount":"+0.7760207653045654","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":"Q5740649$605F107F-D0F1-4813-AB24-BF1940B72A36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a611ae37cd77e81d821a59e1af5afe2303c597fc","datavalue":{"value":{"entity-type":"item","numeric-id":1687770,"id":"Q1687770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"941e746c8ef22edb4149b1f9ce0b9011ffad82b2","datavalue":{"value":{"amount":"+0.7729111313819885","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":"Q5740649$5A6878DB-23D0-4EFA-A917-278CB1FED99B","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":"dcebc6052e275583ed6f94f0db5a44c1cd6da00c","datavalue":{"value":{"amount":"+0.7591096758842468","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":"Q5740649$C2CB43B8-471C-42B1-B3CC-3302C029D5B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"410566d40c2f897f3c50a2cadfe6b25634280b28","datavalue":{"value":{"entity-type":"item","numeric-id":2207273,"id":"Q2207273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f24076df81b8d5812717e4963a589635c122bab0","datavalue":{"value":{"amount":"+0.7580634355545044","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":"Q5740649$CB8654E1-2963-4708-8836-F59DEA0A5C34","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5740649","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5740649"}}}}}