{"entities":{"Q5740647":{"pageid":7770199,"ns":120,"title":"Item:Q5740647","lastrevid":52582043,"modified":"2026-01-23T00:59:54Z","type":"item","id":"Q5740647","labels":{"en":{"language":"en","value":"Introduction -- from type theory and homotopy theory to univalent foundations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6606933"}},"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":"Q5740647$467FB6F8-222B-435C-AA05-7317724969AE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5b14cb79bcc03ff84a69d0abe711b88feb7d94c4","datavalue":{"value":{"text":"Introduction \u2013 from type theory and homotopy theory to univalent foundations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5740647$7B935AA7-17D1-42E8-A770-723D0CEA653A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0c132aa567ec3dcaabac41211617a35cb58e38d9","datavalue":{"value":"1362.03004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5740647$6524EF66-014C-4DE1-A971-DBA97F42A9EB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a169098a9afbbea9d770a1957459d307beff1ad6","datavalue":{"value":"10.1017/S0960129514000474","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5740647$891F71CD-288C-4347-9DC7-3321066DE0EF","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":"Q5740647$7DC01CA8-277E-41EC-B911-A942E194668F","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":"Q5740647$BB713981-7DEF-4DA1-BAA4-5670768D1FD2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f1971b12f93143b2604d15a1750f495d71fae62d","datavalue":{"value":"03-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5740647$375D0B01-D4C8-4ABA-8205-84EC01A33FDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5740647$DE46F61D-5FDF-4920-9E51-4CA4EB7F0F42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5740647$2338B578-5F30-49C3-865C-A71AA229E4C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"aa2d311bfebadfc58292672011b7418c359f6a26","datavalue":{"value":"18A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5740647$AD8A06AE-D6B1-4D5C-A2B1-7D44F5966683","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c9fdba58e5344e05288d09cbbfa64fc756b9e06c","datavalue":{"value":"55U40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5740647$248655E0-BF23-452B-80F9-CCDBC2792565","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"342a6161f41187e2c595daa41b09cee10ab1ace9","datavalue":{"value":"00B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5740647$F6B4AA0A-E84B-4FE2-869D-4A23ADFC31C4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ac9787c6924d9a57f800d1032fa2826136ef46d5","datavalue":{"value":"6606933","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5740647$0EC34576-9614-432B-BA0D-A7D224CD0D79","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":"Q5740647$905DE4D8-B08C-4B12-8E7F-56026882E024","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"e0e4400708922c06b2e4fc261f2179cb9f13bd46","datavalue":{"value":"Q59897037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5740647$C20C57B6-DF89-49D6-BB2D-371D7AC609D2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a79fad678f967c6528bd2993b5707c57ab0cbd1","datavalue":{"value":{"entity-type":"item","numeric-id":2530658,"id":"Q2530658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740647$D75A26D0-0952-473F-A746-463BA0016212","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":"Q5740647$758BF032-54FF-4F6D-8835-3CB47FC4094E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9c2e62d4b65c73cf0f6d7db33165d70da149755","datavalue":{"value":{"entity-type":"item","numeric-id":555892,"id":"Q555892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740647$F0163D5B-6227-4B9D-BBBB-C27DB7FE153A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"890522dc4e3ecb3007fccfde8c53acf4163b6c1a","datavalue":{"value":{"entity-type":"item","numeric-id":5420262,"id":"Q5420262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740647$880ABFD0-1343-43E3-A056-4E4421423FF8","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":"Q5740647$3C9061A1-6581-48BB-9962-9E4675E05087","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6b8ae78fa382e84d0f715ab21a503c2ed714d64","datavalue":{"value":{"entity-type":"item","numeric-id":4523176,"id":"Q4523176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740647$2900C253-A121-4CC7-BDDE-49A8ABBD6A01","rank":"normal"},{"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":"Q5740647$17782B6F-CEDF-434B-9093-DD203051EAB6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e3f94c265068e8468c549e8a6d213e68ad59fe7c","datavalue":{"value":"https://doi.org/10.1017/s0960129514000474","type":"string"},"datatype":"url"},"type":"statement","id":"Q5740647$9C38C51F-2B26-4D6D-8AF9-398792F1B7BA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a95027e5f78a0c041273553f5241a0ab9dc007cd","datavalue":{"value":"W2043828421","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5740647$3CE321AA-69F6-44C7-A4D8-3BD904EE8F3D","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"78ecfd0272036d7689c8fa38cc7e0420c7e4cd26","datavalue":{"value":"journals/mscs/AwodeyGP15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5740647$B47C6EC5-CFFD-4A43-AD56-B9E71CDF2FE2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af768f593d6918bd557986081069fc9ffd777c8c","datavalue":{"value":{"entity-type":"item","numeric-id":2319980,"id":"Q2319980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"794a751097b0573b42ba673ee771c2ea5acb6d15","datavalue":{"value":{"amount":"+0.8578481078147888","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":"Q5740647$4E8B0A9B-EE17-490F-B557-E6BC228F29D5","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":"eaf0b787a1abfd7b605562a1b736c7cceec12c00","datavalue":{"value":{"amount":"+0.8566010594367981","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":"Q5740647$4DE38CC3-533E-40A1-ACDE-A8585E247B6D","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":"69419d22e4c1bef4e1d3eda2381bdf68686acdc5","datavalue":{"value":{"amount":"+0.8562307357788086","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":"Q5740647$524EBB9A-B449-4318-A0E8-9C636358781F","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":"757965bd94202d5be4da837deb68f259e5095dba","datavalue":{"value":{"amount":"+0.8498430252075195","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":"Q5740647$3FF9C7BD-4B67-403D-AFBC-96AE6A4032C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8007fdc83140d59ac9f7ced75ed32c95f544e27d","datavalue":{"value":{"entity-type":"item","numeric-id":5156766,"id":"Q5156766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"310ced79559e57a6a13a3bc608f4afa7df4b04ee","datavalue":{"value":{"amount":"+0.8351859450340271","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":"Q5740647$EF489909-F542-48E6-BE8D-B592BAC5D48D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5740647","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5740647"}}}}}