{"entities":{"Q3193040":{"pageid":3203748,"ns":120,"title":"Item:Q3193040","lastrevid":58144200,"modified":"2026-04-03T23:57:13Z","type":"item","id":"Q3193040","labels":{"en":{"language":"en","value":"Voevodsky\u2019s Univalence Axiom in Homotopy Type Theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6494360"}},"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":"Q3193040$0A845FB2-FC75-46D8-AD00-74BCA811DEA5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"36b121286b7c3300b49f9035b59d6d6ad69b155a","datavalue":{"value":{"text":"Voevodsky\u2019s Univalence Axiom in Homotopy Type Theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3193040$F552DA3A-C55F-4BF9-90F6-B71A85EA111E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"06d352bd863a0c90fddc1e6462e049d14bbe0b89","datavalue":{"value":"1337.03014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3193040$A194F1E9-5734-4B9C-BFF8-52D2154D99BF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"40eb1a83c641bbc11636ab2aa4ca6b718091c3a6","datavalue":{"value":{"entity-type":"item","numeric-id":261444,"id":"Q261444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3193040$A894DC3D-7DDD-4442-9E10-3661908A0612","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d66395a61e36954022b73f8489c75bb54138f1cc","datavalue":{"value":{"entity-type":"item","numeric-id":385802,"id":"Q385802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3193040$6CF98345-0C55-4079-A609-47CE51C836EF","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":"Q3193040$3EDE170D-E6B1-4C77-BD5B-40DF83F39020","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"bdae145ecfb71d226d6b4bd74c06a5b992e49347","datavalue":{"value":{"entity-type":"item","numeric-id":2813083,"id":"Q2813083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3193040$24ACB5D7-F071-4A8A-A9AB-FED6C43A05D0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a6da9e42eaa58730e2d307270239a6044be72e45","datavalue":{"value":{"time":"+2015-10-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3193040$3BFF328B-5619-41D1-8C3B-0D9589E8C47B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e720737b732ea2ab2a978fb05d7b39990b82e7fd","datavalue":{"value":"https://arxiv.org/abs/1302.4731","type":"string"},"datatype":"url"},"type":"statement","id":"Q3193040$B88B4BEF-6E3E-49D5-8141-D1B61BF84223","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3193040$EBFEF7BA-2CED-40F5-8A41-629DC940FC72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c9fdba58e5344e05288d09cbbfa64fc756b9e06c","datavalue":{"value":"55U40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3193040$93E4783F-AE64-4410-A61A-A4B8859924D1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4923798d57a79097e77233cd36d79c9c02895993","datavalue":{"value":"6494360","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3193040$4E005AD9-103F-44B5-AD46-2BF391AC6F68","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":"Q3193040$2774E97D-8373-446F-8E76-18B2678D8688","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e59f3e8ecfaca37ff3615f7b38146343c29693d0","datavalue":{"value":"W2963991919","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3193040$061D1751-010D-42E3-8B21-42A63E11F800","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"04ed5411327ebd02fba53dcf76ca17e75eb359ee","datavalue":{"value":"Q114009917","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3193040$AF0ACB1C-5488-4BBB-93AD-596D2B0092C6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"82ebc39394e456a9527b8b411c72c6b52026b7e1","datavalue":{"value":"10.1090/NOTI1043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3193040$92900DBB-2AA1-47FC-8E88-6A9CAAD89B5D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3193040","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3193040"}}}}}