{"entities":{"Q5740651":{"pageid":7770203,"ns":120,"title":"Item:Q5740651","lastrevid":101732591,"modified":"2026-06-06T02:40:14Z","type":"item","id":"Q5740651","labels":{"en":{"language":"en","value":"W-types in homotopy type theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6606937"}},"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":"Q5740651$997BD67E-A760-4733-92C5-76224120641C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"74791a8c171d1c3b9634069cb8bb5daa2ac35dc8","datavalue":{"value":{"text":"W-types in homotopy type theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5740651$6D9C6F49-F261-4A03-A922-7BDB8164FAFD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"aa3298b9447039491c312998cb71aec1166d696f","datavalue":{"value":"1362.03009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5740651$7A1BE354-2510-464F-A7C0-E52D87161B76","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f7d1b87f0c08e9ca39035993470c9ce9a8d96b13","datavalue":{"value":"10.1017/S0960129514000516","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5740651$3160EA49-A445-41DF-B000-FDBFB5160854","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e9d5b6d9c706120e3546cda282e0bf75898c459f","datavalue":{"value":{"entity-type":"item","numeric-id":448332,"id":"Q448332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740651$57EBB28C-905D-4224-907F-7F1D42780FA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5d27f35d8b8d36daa01c278530444ad70355c66c","datavalue":{"value":{"entity-type":"item","numeric-id":169786,"id":"Q169786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740651$C50DAC82-E750-4FE0-BDFF-15DB4C1C204D","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":"Q5740651$80D95CC3-A2C1-43B9-A060-D77426AABE76","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":"Q5740651$8C417D2A-89AA-4FE4-8E93-F8494CEFB4E4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"359421bcf3f8ac3f5388db27024a11406d3133f5","datavalue":{"value":"https://arxiv.org/abs/1307.2765","type":"string"},"datatype":"url"},"type":"statement","id":"Q5740651$EF1D5DCD-92E2-4C6B-9E7C-24AF97549D9D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5740651$A8996B04-0239-4B60-8B19-CF5583E56769","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5740651$893A8EEF-0537-4720-BECE-D792D58F7897","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b71e15d3a17f1ae7a1c0239050ee3b6d6009a74c","datavalue":{"value":"18F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5740651$1395495C-B6D5-4577-A8B8-AF5D6CD4AB30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3643431a725e554c54598cd9777f2e5a7f105dfb","datavalue":{"value":"18G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5740651$8B4A02E2-10D4-4B6C-9B8B-45018D0A0036","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c9fdba58e5344e05288d09cbbfa64fc756b9e06c","datavalue":{"value":"55U40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5740651$DB1A4FB6-0F6E-4C6D-B2B9-3C95D34089C8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"932d1eb55d014b461b0975f789a2eebd3714d18c","datavalue":{"value":"6606937","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5740651$EF76672A-D4A0-4817-B131-EBF65F5C6BA5","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":"Q5740651$992814F7-47DF-4514-86C7-78775567020D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2f743a02b93ba8a7aa10f804a87a9e4e302de06","datavalue":{"value":{"entity-type":"item","numeric-id":5906407,"id":"Q5906407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740651$C02F4897-F028-4304-AE49-1FEE96F7EC23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75fbf88ad4b38bd2537051ad7d167bb814dd65eb","datavalue":{"value":{"entity-type":"item","numeric-id":1577483,"id":"Q1577483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740651$F25376BD-F053-4821-8F51-71F821401DDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b922f86164ec53ebebd54c2fd6306ff8129ffc0e","datavalue":{"value":{"entity-type":"item","numeric-id":3822156,"id":"Q3822156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740651$C10187DC-AF5A-48CF-9792-34B53AE9B74F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c474289dd9e25ee23fc3092151775a30e7a4f9c3","datavalue":{"value":{"entity-type":"item","numeric-id":1903677,"id":"Q1903677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740651$60C706EC-2522-4769-AD65-436867E26867","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4db902e9f20ea5851df36ed5589546165ed55035","datavalue":{"value":{"entity-type":"item","numeric-id":1955710,"id":"Q1955710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740651$340D6BDA-2A9C-473A-BEDF-67D26DCBA30A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"938d37d30756e94b9162a22aedccc9ec290ec59f","datavalue":{"value":{"entity-type":"item","numeric-id":658322,"id":"Q658322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740651$BD64CB80-E7A4-465B-BA0F-D4BE55191150","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9138e5647c5e4a4cd052315fa647cc80a1d5e9a7","datavalue":{"value":{"entity-type":"item","numeric-id":5404123,"id":"Q5404123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740651$030ED846-86F1-4A69-8712-AA071B2D89F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f32d68962ab886e92e44b6ca8cc3a34c8f7b357","datavalue":{"value":{"entity-type":"item","numeric-id":876383,"id":"Q876383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740651$9576111D-9D53-44E3-A879-C17FBBEFC87B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46647a1b1c0ace5f68320ac3333d55769fd925f3","datavalue":{"value":{"entity-type":"item","numeric-id":5422303,"id":"Q5422303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740651$7E042A47-684A-49F1-8136-7F860429428E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d8ce1ab7cbc344458f6c5f69920718926ea1d05","datavalue":{"value":{"entity-type":"item","numeric-id":2566024,"id":"Q2566024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740651$ECA131EE-9DE9-4536-B185-67EBAC976CD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c68388d820ad42a56f5f05b9da169beb91d101f5","datavalue":{"value":{"entity-type":"item","numeric-id":1845239,"id":"Q1845239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740651$F57993A6-2527-4734-8751-AB146F5319F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4694734445e6313155272b10e65b43d8a87f1d42","datavalue":{"value":{"entity-type":"item","numeric-id":2538084,"id":"Q2538084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740651$21077237-FAB5-4FF8-A856-6F8A8C674128","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c32137845c073e84e544eba4c17c52212773e889","datavalue":{"value":{"entity-type":"item","numeric-id":5957856,"id":"Q5957856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740651$74E6C418-35C6-479F-9FB9-00C041A80158","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3cdcd1e153b2e36eaa5f0e532fc7f02f5b81a32d","datavalue":{"value":"W2963457218","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5740651$064DE09B-4CD8-4BEB-B5CD-514E195171BC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4dfa1d33d551d229eacbcd44b0ecc9b32ecbf7cb","datavalue":{"value":{"entity-type":"item","numeric-id":280837,"id":"Q280837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"170bd088e4be7d358a5676fb1ce55ab605718c18","datavalue":{"value":{"amount":"+0.841716468334198","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":"Q5740651$702749DE-C8C9-4206-B35E-2083D95F292F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c583d83c0dde3f48c30b9294a438797118f984ee","datavalue":{"value":{"entity-type":"item","numeric-id":2031691,"id":"Q2031691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e422c8b5fca145d94b52db3f0c00b4a7009fa956","datavalue":{"value":{"amount":"+0.8378995060920715","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":"Q5740651$92A9AE38-315D-4B9C-810D-9F96E09C824C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9cc95a9db8503e1aedd8406828bf3b48bc83fa1","datavalue":{"value":{"entity-type":"item","numeric-id":4692084,"id":"Q4692084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c74a45a6b1917931b55c480a865b13e4f6014461","datavalue":{"value":{"amount":"+0.8182224631309509","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":"Q5740651$85381B71-12D7-45F3-A629-626103E85C52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"936c250e6df014634a63438944ed866ecc7a9168","datavalue":{"value":{"entity-type":"item","numeric-id":5963045,"id":"Q5963045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"acc5b542b669e2d0be99acd7365d637d16780203","datavalue":{"value":{"amount":"+0.7975488305091858","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":"Q5740651$3EC5A6C5-4399-4DCF-91F4-0E709B2712C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d72af8d80e3297e09a8c3f557bfaa214a7ef431e","datavalue":{"value":{"entity-type":"item","numeric-id":2319981,"id":"Q2319981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83bd9f87c0a48c73f31e064cd3d1cd2d7371ec77","datavalue":{"value":{"amount":"+0.7834641337394714","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":"Q5740651$CD866EF8-6751-475D-9434-34BE7A97D8C8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"W-types in homotopy type theory","badges":[]}}}}}