{"entities":{"Q433877":{"pageid":435644,"ns":120,"title":"Item:Q433877","lastrevid":51506372,"modified":"2026-01-18T13:34:32Z","type":"item","id":"Q433877","labels":{"en":{"language":"en","value":"Mini-workshop: The homotopy interpretation of constructive type theory. Abstracts from the mini-workshop held February 27th-March 05th, 2011."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6053699"}},"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":"Q433877$37687800-AC0A-4519-BB36-6E9BA2E990CC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"216b9ff5b8d390366f9dc3fce8b159ca3fa6a56c","datavalue":{"value":{"text":"Mini-workshop: The homotopy interpretation of constructive type theory. Abstracts from the mini-workshop held February 27th-March 05th, 2011.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q433877$2D9C2B72-E688-4653-B8FB-F1FC5B24CEFD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2e27eb6a27f268adccb11c0331cbd12b031778ae","datavalue":{"value":"1242.00037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q433877$939787B2-ADDC-4A82-9A6C-C2ED76CAA74E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7aaa8d5f1175e2d2b31bc6f0a496ac3d0e2f302d","datavalue":{"value":"10.4171/OWR/2011/11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q433877$B9FA3DEF-1630-4812-BD7C-BE9A8A281ABB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a9abe280024f1bf6d5dacc0d016ddbaccd65fb63","datavalue":{"value":{"entity-type":"item","numeric-id":269669,"id":"Q269669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q433877$E9A32148-589E-41F5-B7FB-B75A880381D3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"198fbfa941da09cef5e767aea032a902f1a2f220","datavalue":{"value":{"time":"+2012-07-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q433877$C7209122-3B6C-4871-8FF9-28BD17A4AC36","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f6fc3dc3a70bcb48358ebf1e6b29abe544cbd68a","datavalue":{"value":"Summary: Over the past few years it has become apparent that there is a surprising and deep connection between constructive logic and higherdimensional structures in algebraic topology and category theory, in the form of an interpretation of the dependent type theory of Per Martin-L\u00f6f into classical homotopy theory. The interpretation results in a bridge between the worlds of constructive and classical mathematics which promises to shed new light on both. This mini-workshop brought together researchers in logic, topology, and cognate fields in order to explore both theoretical and practical ramifications of this discovery.","type":"string"},"datatype":"string"},"type":"statement","id":"Q433877$94ECF069-62DC-41A3-A9E5-D142B6F60909","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9273ee9d6a850a5b4a9f2fe224e0804dc9e99b1f","datavalue":{"value":"00B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q433877$DE228103-FD5B-4963-A182-2EE7A5A0E056","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f1971b12f93143b2604d15a1750f495d71fae62d","datavalue":{"value":"03-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q433877$6FCBBB36-9CE4-43DA-9CFD-B067850DC6BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7e4738a0374689d316c8dcf7d3223c66882bf729","datavalue":{"value":"55-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q433877$DD8FC574-3353-4BC9-ABA5-ABE79F3E8209","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q433877$4B55CB7D-49E8-4564-BD68-D90832B7AB48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7127eef429442266687847a2318ba13056f2cb92","datavalue":{"value":"55Pxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q433877$68AEE89A-5EBB-47E4-A8C7-AB83076D5EA7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"006dfa82d4cb6505fe2e0875ac537a08a73d10c7","datavalue":{"value":"6053699","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q433877$71C4A842-0C66-4AF1-B3B5-A8C8CFAF2FD9","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":"Q433877$14959144-2529-44B9-9138-E6B42D1F6CDA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7f5518ecedc90bb8142da0adf251f455ca2eca31","datavalue":{"value":"https://doi.org/10.4171/owr/2011/11","type":"string"},"datatype":"url"},"type":"statement","id":"Q433877$C3311DD7-2C05-47EC-9429-405AE6664D16","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9a3a3d10eafdab1a8f98efee64a9652823f8d5c0","datavalue":{"value":"W2016912662","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q433877$4B3BE7F8-0C0C-48AE-A8F3-094E228E0AFB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4f9e8952c90f9ac03a449ed010ba758d7f8e474","datavalue":{"value":{"entity-type":"item","numeric-id":5253928,"id":"Q5253928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e825a169803be5dae446ab865d95fbe9bc395da","datavalue":{"value":{"amount":"+0.8370154500007629","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":"Q433877$D0A3BD62-5FCF-4C3B-B169-6DE3B3065CC5","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":"ed0f6e4d1593b5a54f7e5e5fdf859eb10a3ef2f2","datavalue":{"value":{"amount":"+0.7924535274505615","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":"Q433877$4914594F-F8C0-4E60-8747-79E734B034CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8acc6d6134d5e1076a401cc85988f05106170553","datavalue":{"value":{"entity-type":"item","numeric-id":1731963,"id":"Q1731963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31137e99420edd2da7a0c7f9e3b17e0b477daaab","datavalue":{"value":{"amount":"+0.7688064575195312","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":"Q433877$450B54D0-68A6-474B-9DFD-BC1C77FD03A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"942bdedabae6481b1253a0d9554720a247a8ecde","datavalue":{"value":{"entity-type":"item","numeric-id":3003342,"id":"Q3003342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa536d5050f885161da1e837a716f7cc3e083761","datavalue":{"value":{"amount":"+0.7554200887680054","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":"Q433877$177E6AA0-C3BA-4859-81BA-0624FFB300D0","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":"c745628b2d2a7f4a0b67870ab9c5bd2f94acdcdd","datavalue":{"value":{"amount":"+0.743003785610199","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":"Q433877$4A8765A6-0DE3-4186-A054-7BD48BA198F6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:433877","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:433877"}}}}}