Edit Profile (opens in new tab) Awodey, Steve Co-Author Distance Author ID: awodey.steve Published as: Awodey, Steve; Awodey, S.; Awodey, Steven more...less Further Spellings: Awodey, Steven M. Homepage: http://www.andrew.cmu.edu/user/awodey/ External Links: MGP · Wikidata · Google Scholar · GND · IdRef Documents Indexed: 51 Publications since 1996, including 2 Books 2 Contributions as Editor · 2 Further Contributions Reviewing Activity: 2 Reviews Co-Authors: 26 Co-Authors with 34 Joint Publications 419 Co-Co-Authors all top 5 Co-Authors 21 single-authored 6 Warren, Michael Alton 5 Gambino, Nicola 3 Bauer, Andrej 3 Birkedal, Lars 3 Butz, Carsten 3 Carus, A. W. 3 Kishida, Kohei 3 Reck, Erich H. 3 Scott, Dana Stewart 3 Sojakova, Kristina 2 Forssell, Henrik 2 Garner, Richard 2 Hofstra, Pieter J. W. 2 Lumsdaine, Peter LeFanu 2 Martin-Löf, Per 2 Palmgren, Erik 2 Pelayo, Alvaro 2 Rabe, Florian 2 Simpson, Alex K. 2 Streicher, Thomas 2 Voevodskiĭ, Vladimir Aleksandrovich 1 Aczel, Peter 1 Ahrens, Benedikt 1 Altenkirch, Thorsten 1 Angiuli, Carlo 1 Avigad, Jeremy 1 Barras, Bruno 1 Bertot, Yves 1 Bezem, Marc 1 Bordg, Anthony 1 Brunerie, Guillaume 1 Cohen, Cyril 1 Constable, Robert Lee 1 Coquand, Thierry 1 Curien, Pierre-Louis 1 Dybjer, Peter 1 Eliasson, Jonas 1 Finster, Eric 1 Frege, Gottlob 1 Frey, Jonas 1 Gabriel, Gottfried 1 Gonthier, Georges 1 Grayson, Daniel Richard 1 Hales, Thomas Callister 1 Harper, Robert 1 Herbelin, Hugo 1 Hofmann, Martin 1 Hötzel Escardó, Martín 1 Hou (Favonia), Kuen-Bang 1 Hughes, Jesse 1 Joyal, André 1 Kapulkin, Krzysztof 1 Kock, Joachim 1 Kotzsch, Hans-Christoph 1 Kraus, Nicolai 1 Li, Nuo 1 Licata, Dan 1 Luo, Zhaohui 1 Mahboubi, Assia 1 Melikhov, Sergey Aleksandrovich 1 Nahas, Michael 1 Polonsky, Andrew 1 Riehl, Emily 1 Rijke, Egbert 1 Scott, Philip J. 1 Shulman, Michael A. 1 Solov’ëv, Sergeĭ Vladimirovich 1 Sozeau, Matthieu 1 Speight, Sam 1 Spitters, Bas 1 1 Van den Berg, Benno 1 Zeilberger, Noam all top 5 Serials 5 MSCS. Mathematical Structures in Computer Science 4 Annals of Pure and Applied Logic 3 The Bulletin of Symbolic Logic 2 Journal of Pure and Applied Algebra 2 The Journal of Symbolic Logic 2 Synthese 2 History and Philosophy of Logic 2 Theory and Applications of Categories 2 Philosophia Mathematica. Series III 2 Oxford Logic Guides 1 Mathematical Proceedings of the Cambridge Philosophical Society 1 Logique et Analyse. Nouvelle Série 1 Notre Dame Journal of Formal Logic 1 Journal of Logic and Computation 1 Notices of the American Mathematical Society 1 Archive for Mathematical Logic 1 Indagationes Mathematicae. New Series 1 Philosophia Mathematica. Series III 1 Journal of the ACM 1 Erkenntnis 1 Oberwolfach Reports 1 Logical Methods in Computer Science 1 The Review of Symbolic Logic all top 5 Fields 53 Mathematical logic and foundations (03-XX) 33 Category theory; homological algebra (18-XX) 16 Algebraic topology (55-XX) 8 History and biography (01-XX) 4 General and overarching topics; collections (00-XX) 2 Computer science (68-XX) 1 General algebraic systems (08-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 49 Publications have been cited 470 times in 365 Documents Cited by ▼ Year ▼ Homotopy type theory. Univalent foundations of mathematics. Zbl 1298.03002The Univalent Foundations Program 122 2013 Category theory. 2nd ed. Zbl 1194.18001Awodey, Steve 63 2010 Homotopy theoretic models of identity types. Zbl 1205.03065Awodey, Steve; Warren, Michael A. 61 2009 Category theory. Zbl 1100.18001Awodey, Steve 58 2006 Completeness and categoricity. I: Nineteenth-century axiomatics to twentieth-century metalogic. Zbl 1031.03002Awodey, Steve; Reck, Erich H. 26 2002 Propositions as [types]. Zbl 1050.03016Awodey, Steven; Bauer, Andrej 23 2004 Carnap, completeness, and categoricity: The Gabelbarkeitssatz of 1928. Zbl 0988.03007Awodey, S.; Carus, A. W. 17 2001 An answer to Hellman’s question: “Does category theory provide a framework for mathematical structuralism?”. Zbl 1065.18002Awodey, Steve 15 2004 Topology and modality: the topological interpretation of first-order modal logic. Zbl 1204.03023Awodey, Steve; Kishida, Kohei 12 2008 Natural models of homotopy type theory. Zbl 1456.03023Awodey, Steve 11 2018 First-order logical duality. Zbl 1275.03169Awodey, Steve; Forssell, Henrik 11 2013 Structure in mathematics and logic: A categorical perspective. Zbl 0874.00012Awodey, S. 11 1996 Structuralism, invariance, and univalence. Zbl 1310.03021Awodey, Steve 11 2014 Relating first-order set theories, toposes and categories of classes. Zbl 1323.03073Awodey, Steve; Butz, Carsten; Simpson, Alex; Streicher, Thomas 10 2014 A cubical model of homotopy type theory. Zbl 06958068Awodey, Steve 10 2018 Type theory and homotopy. Zbl 1314.03013Awodey, Steve 9 2012 Completeness and categoricity. II: Twentieth-century metalogic to twenty-first-century semantics. Zbl 1038.03003Awodey, Steve; Reck, Erich H. 8 2002 Inductive types in homotopy type theory. Zbl 1364.03014Awodey, Steve; Gambino, Nicola; Sojakova, Kristina 8 2012 Relating first-order set theories and elementary toposes. Zbl 1152.03043Awodey, Steve; Butz, Carsten; Simpson, Alex; Streicher, Thomas 7 2007 Modal operators and the formal dual of Birkhoff’s completeness theorem. Zbl 1040.18001Awodey, Steve; Hughes, Jesse 7 2003 Predicative algebraic set theory. Zbl 1072.18004Awodey, Steve; Warren, Michael A. 7 2005 Carnap’s dream: Gödel, Wittgenstein, and Logical Syntax. Zbl 1126.03004Awodey, S.; Carus, A. W. 6 2007 Local realizability toposes and a modal logic for computability. Zbl 1007.03057Awodey, Steven; Birkedal, Lars; Scott, Dana S. 6 2002 Elementary axioms for local maps of toposes. Zbl 1011.18002Awodey, Steven; Birkedal, Lars 5 2003 A brief introduction to algebraic set theory. Zbl 1222.03056Awodey, Steve 5 2008 Topos semantics for higher-order modal logic. Zbl 1364.03092Awodey, Steve; Kishida, Kohei; Kotzsch, Hans-Christoph 5 2014 Voevodsky’s univalence axiom in homotopy type theory. Zbl 1337.03014Awodey, Steve; Pelayo, Álvaro; Warren, Michael A. 5 2013 Ultrasheaves and double negation. Zbl 1093.03041Awodey, Steve; Eliasson, Jonas 4 2004 Local realizability toposes and a modal logic for computability. (Extended abstract). Zbl 0959.03504Awodey, Steven; Birkedal, Lars; Scott, Dana S. 4 1999 Topological completeness of first-order modal logic. Zbl 1291.03030Awodey, Steve; Kishida, Kohei 4 2012 Homotopy-initial algebras in type theory. Zbl 1426.03016Awodey, Steve; Gambino, Nicola; Sojakova, Kristina 4 2017 Gödel and Carnap. Zbl 1221.03002Awodey, Steve; Carus, A. W. 3 2010 Topological representation of the \(\lambda\)-calculus. Zbl 0942.03015Awodey, Steven 3 2000 Algebraic models of intuitionistic theories of sets and classes. Zbl 1085.18004Awodey, S.; Forssell, H. 3 2005 Topological completeness for higher-order logic. Zbl 0977.03010Awodey, S.; Butz, C. 3 2000 Impredicative encodings of (higher) inductive types. Zbl 1452.03030Awodey, Steve; Frey, Jonas; Speight, Sam 3 2018 Lawvere-Tierney sheaves in algebraic set theory. Zbl 1183.03068Awodey, S.; Gambino, N.; Lumsdaine, P. L.; Warren, M. A. 2 2009 Mini-workshop: The homotopy interpretation of constructive type theory. Abstracts from the mini-workshop held February 27th-March 05th, 2011. Zbl 1242.00037 2 2011 Kripke semantics for Martin-Löf’s extensional type theory. Zbl 1246.03022Awodey, Steve; Rabe, Florian 2 2009 Kripke semantics for Martin-Löf’s extensional type theory. Zbl 1237.03007Awodey, Steve; Rabe, Florian 2 2011 Continuity and logical completeness: an application of sheaf theory and topoi. Zbl 1129.03037Awodey, Steve 2 2006 Sheaf representation for topoi. Zbl 0944.18003Awodey, S. 2 2000 Homotopy type theory. Zbl 1304.03043Awodey, Steve 2 2015 Martin-Löf complexes. Zbl 1323.03012Awodey, Steve; Hofstra, Pieter; Warren, Michael A. 2 2013 Univalence as a principle of logic. Zbl 1437.03168Awodey, Steve 2 2018 Sheaf toposes for realizability. Zbl 1161.03036Awodey, Steven; Bauer, Andrej 1 2008 Structuralism, invariance, and univalence. Zbl 1496.18002Awodey, Steve 1 2017 Sheaf representations and duality in logic. Zbl 07440903Awodey, Steve 1 2021 From sets to types, to categories, to sets. Zbl 1317.03016Awodey, Steve 1 2011 Sheaf representations and duality in logic. Zbl 07440903Awodey, Steve 1 2021 Natural models of homotopy type theory. Zbl 1456.03023Awodey, Steve 11 2018 A cubical model of homotopy type theory. Zbl 06958068Awodey, Steve 10 2018 Impredicative encodings of (higher) inductive types. Zbl 1452.03030Awodey, Steve; Frey, Jonas; Speight, Sam 3 2018 Univalence as a principle of logic. Zbl 1437.03168Awodey, Steve 2 2018 Homotopy-initial algebras in type theory. Zbl 1426.03016Awodey, Steve; Gambino, Nicola; Sojakova, Kristina 4 2017 Structuralism, invariance, and univalence. Zbl 1496.18002Awodey, Steve 1 2017 Homotopy type theory. Zbl 1304.03043Awodey, Steve 2 2015 Structuralism, invariance, and univalence. Zbl 1310.03021Awodey, Steve 11 2014 Relating first-order set theories, toposes and categories of classes. Zbl 1323.03073Awodey, Steve; Butz, Carsten; Simpson, Alex; Streicher, Thomas 10 2014 Topos semantics for higher-order modal logic. Zbl 1364.03092Awodey, Steve; Kishida, Kohei; Kotzsch, Hans-Christoph 5 2014 Homotopy type theory. Univalent foundations of mathematics. Zbl 1298.03002The Univalent Foundations Program 122 2013 First-order logical duality. Zbl 1275.03169Awodey, Steve; Forssell, Henrik 11 2013 Voevodsky’s univalence axiom in homotopy type theory. Zbl 1337.03014Awodey, Steve; Pelayo, Álvaro; Warren, Michael A. 5 2013 Martin-Löf complexes. Zbl 1323.03012Awodey, Steve; Hofstra, Pieter; Warren, Michael A. 2 2013 Type theory and homotopy. Zbl 1314.03013Awodey, Steve 9 2012 Inductive types in homotopy type theory. Zbl 1364.03014Awodey, Steve; Gambino, Nicola; Sojakova, Kristina 8 2012 Topological completeness of first-order modal logic. Zbl 1291.03030Awodey, Steve; Kishida, Kohei 4 2012 Mini-workshop: The homotopy interpretation of constructive type theory. Abstracts from the mini-workshop held February 27th-March 05th, 2011. Zbl 1242.00037 2 2011 Kripke semantics for Martin-Löf’s extensional type theory. Zbl 1237.03007Awodey, Steve; Rabe, Florian 2 2011 From sets to types, to categories, to sets. Zbl 1317.03016Awodey, Steve 1 2011 Category theory. 2nd ed. Zbl 1194.18001Awodey, Steve 63 2010 Gödel and Carnap. Zbl 1221.03002Awodey, Steve; Carus, A. W. 3 2010 Homotopy theoretic models of identity types. Zbl 1205.03065Awodey, Steve; Warren, Michael A. 61 2009 Lawvere-Tierney sheaves in algebraic set theory. Zbl 1183.03068Awodey, S.; Gambino, N.; Lumsdaine, P. L.; Warren, M. A. 2 2009 Kripke semantics for Martin-Löf’s extensional type theory. Zbl 1246.03022Awodey, Steve; Rabe, Florian 2 2009 Topology and modality: the topological interpretation of first-order modal logic. Zbl 1204.03023Awodey, Steve; Kishida, Kohei 12 2008 A brief introduction to algebraic set theory. Zbl 1222.03056Awodey, Steve 5 2008 Sheaf toposes for realizability. Zbl 1161.03036Awodey, Steven; Bauer, Andrej 1 2008 Relating first-order set theories and elementary toposes. Zbl 1152.03043Awodey, Steve; Butz, Carsten; Simpson, Alex; Streicher, Thomas 7 2007 Carnap’s dream: Gödel, Wittgenstein, and Logical Syntax. Zbl 1126.03004Awodey, S.; Carus, A. W. 6 2007 Category theory. Zbl 1100.18001Awodey, Steve 58 2006 Continuity and logical completeness: an application of sheaf theory and topoi. Zbl 1129.03037Awodey, Steve 2 2006 Predicative algebraic set theory. Zbl 1072.18004Awodey, Steve; Warren, Michael A. 7 2005 Algebraic models of intuitionistic theories of sets and classes. Zbl 1085.18004Awodey, S.; Forssell, H. 3 2005 Propositions as [types]. Zbl 1050.03016Awodey, Steven; Bauer, Andrej 23 2004 An answer to Hellman’s question: “Does category theory provide a framework for mathematical structuralism?”. Zbl 1065.18002Awodey, Steve 15 2004 Ultrasheaves and double negation. Zbl 1093.03041Awodey, Steve; Eliasson, Jonas 4 2004 Modal operators and the formal dual of Birkhoff’s completeness theorem. Zbl 1040.18001Awodey, Steve; Hughes, Jesse 7 2003 Elementary axioms for local maps of toposes. Zbl 1011.18002Awodey, Steven; Birkedal, Lars 5 2003 Completeness and categoricity. I: Nineteenth-century axiomatics to twentieth-century metalogic. Zbl 1031.03002Awodey, Steve; Reck, Erich H. 26 2002 Completeness and categoricity. II: Twentieth-century metalogic to twenty-first-century semantics. Zbl 1038.03003Awodey, Steve; Reck, Erich H. 8 2002 Local realizability toposes and a modal logic for computability. Zbl 1007.03057Awodey, Steven; Birkedal, Lars; Scott, Dana S. 6 2002 Carnap, completeness, and categoricity: The Gabelbarkeitssatz of 1928. Zbl 0988.03007Awodey, S.; Carus, A. W. 17 2001 Topological representation of the \(\lambda\)-calculus. Zbl 0942.03015Awodey, Steven 3 2000 Topological completeness for higher-order logic. Zbl 0977.03010Awodey, S.; Butz, C. 3 2000 Sheaf representation for topoi. Zbl 0944.18003Awodey, S. 2 2000 Local realizability toposes and a modal logic for computability. (Extended abstract). Zbl 0959.03504Awodey, Steven; Birkedal, Lars; Scott, Dana S. 4 1999 Structure in mathematics and logic: A categorical perspective. Zbl 0874.00012Awodey, S. 11 1996 all cited Publications top 5 cited Publications all top 5 Cited by 429 Authors 18 Awodey, Steve 8 Gambino, Nicola 7 Coquand, Thierry 7 Shulman, Michael A. 6 Angiuli, Carlo 6 Garner, Richard 6 Harper, Robert 6 Warren, Michael Alton 5 Ahrens, Benedikt 5 Birkedal, Lars 5 Jacobs, Bart 5 Li, Qingguo 5 Lumsdaine, Peter LeFanu 5 Schiemer, Georg 5 Van den Berg, Benno 4 Gratzer, Daniel 4 Hofstra, Pieter J. W. 4 Kishida, Kohei 4 Møgelberg, Rasmus Ejlers 4 Reck, Erich H. 4 van der Weide, Niels 4 Wang, Longchun 3 Abramsky, Samson 3 Bauer, Andrej 3 Bimbó, Katalin 3 Bonsangue, Marcello Maria 3 Buchholtz, Ulrik 3 Butz, Carsten 3 Ellerman, David P. 3 Endrullis, Jörg 3 Frumin, Dan 3 Hötzel Escardó, Martín 3 Kapulkin, Krzysztof 3 Karakostas, Vassilios 3 Kavvos, G. A. 3 Kock, Joachim 3 Kraus, Nicolai 3 Kudryavtseva, Ganna 3 Licata, Daniel R. 3 Marquis, Jean-Pierre 3 Moerdijk, Ieke 3 Mörtberg, Anders 3 Palmgren, Erik 3 Pitts, Andrew M. 3 Rijke, Egbert 3 Rosolini, Giuseppe 3 Rosset, Aloïs 3 Silva, Alexandra 3 Spitters, Bas 3 Sterling, Jonathan 3 Streicher, Thomas 3 Swan, Andrew W. 3 Tsementzis, Dimitris 3 Uemura, Taichi 3 Veltri, Niccolò 3 Wißmann, Thorsten 3 Zafiris, Elias 2 Adámek, Jiří 2 Altenkirch, Thorsten 2 Ameri, Reza 2 Aranda, Víctor 2 Bezem, Marc 2 Bizjak, Aleš 2 Bourke, John 2 Buldt, Bernd 2 Carter, Jessica 2 Corfield, David 2 Danielsson, Nils Anders 2 Dougherty, John J. III 2 Dunn, Jon Michael 2 Dutilh Novaes, Catarina 2 Dybjer, Peter 2 Eder, Günther 2 Emmenegger, Jacopo 2 Estrada-González, Luis 2 Grattan-Guinness, Ivor 2 Graversen, Eva 2 Hellman, Geoffrey 2 Henry, Simon 2 Heunen, Chris 2 Hou (Favonia), Kuen-Bang 2 Huber, Simon 2 Hughes, Jesse 2 Jagadeesan, Radha 2 Kosiol, Jens 2 Kreinovich, Vladik Yakovlevich 2 Krídlo, Ondrej 2 Landry, Elaine 2 Maggesi, Marco 2 Mannaa, Bassel 2 Maruyama, Yoshihiro 2 McDonald, Joseph 2 Milius, Stefan 2 Moraschini, Tommaso 2 North, Paige Randall 2 Ojeda-Aciego, Manuel 2 Orton, Ian 2 Overbeek, Roy 2 Pelayo, Alvaro 2 Petrakis, Iosif ...and 329 more Authors all top 5 Cited in 89 Serials 28 MSCS. Mathematical Structures in Computer Science 26 Annals of Pure and Applied Logic 25 Synthese 16 Logical Methods in Computer Science 12 The Bulletin of Symbolic Logic 12 The Review of Symbolic Logic 9 Journal of Pure and Applied Algebra 9 Theoretical Computer Science 8 Logica Universalis 7 The Journal of Symbolic Logic 6 Mathematical Logic Quarterly (MLQ) 6 Journal of Logical and Algebraic Methods in Programming 5 History and Philosophy of Logic 5 Journal of Functional Programming 4 Notre Dame Journal of Formal Logic 4 Studia Logica 4 Information and Computation 4 Erkenntnis 4 Foundations of Physics 4 Studies in History and Philosophy of Science. Part B. Studies in History and Philosophy of Modern Physics 3 Communications in Mathematical Physics 3 Algebra Universalis 3 Topology and its Applications 3 International Journal of Approximate Reasoning 3 Bulletin of the American Mathematical Society. New Series 3 Indagationes Mathematicae. New Series 3 Theory and Applications of Categories 2 Mathematical Proceedings of the Cambridge Philosophical Society 2 Semigroup Forum 2 Bulletin of the Section of Logic 2 Journal of Automated Reasoning 2 Archive for Mathematical Logic 2 Applied Categorical Structures 2 Applied and Computational Harmonic Analysis 2 Journal of Applied Logic 1 International Journal of Theoretical Physics 1 Information Processing Letters 1 Mathematische Semesterberichte 1 Russian Mathematical Surveys 1 Reviews in Mathematical Physics 1 Journal of Geometry and Physics 1 The Mathematical Intelligencer 1 Advances in Mathematics 1 Fuzzy Sets and Systems 1 Information Sciences 1 Journal of Computer and System Sciences 1 Journal of the London Mathematical Society. Second Series 1 Journal of Philosophical Logic 1 Mathematica Scandinavica 1 Mathematica Slovaca 1 Mathematische Zeitschrift 1 Quaestiones Mathematicae 1 Rendiconti del Circolo Matemàtico di Palermo. Serie II 1 Transactions of the American Mathematical Society 1 European Journal of Combinatorics 1 Mathematical Social Sciences 1 Order 1 Journal of Symbolic Computation 1 Discrete & Computational Geometry 1 Forum Mathematicum 1 Formal Aspects of Computing 1 Games and Economic Behavior 1 Annales de la Faculté des Sciences de Toulouse. Mathématiques. Série VI 1 Journal of Applied Non-Classical Logics 1 Filomat 1 Selecta Mathematica. New Series 1 Annals of Mathematics and Artificial Intelligence 1 Constraints 1 Topoi 1 Journal of the European Mathematical Society (JEMS) 1 Journal of the Australian Mathematical Society 1 Logic and Logical Philosophy 1 Central European Journal of Mathematics 1 ACM Transactions on Computational Logic 1 Journal of Algebra and its Applications 1 Mediterranean Journal of Mathematics 1 Journal of Mathematics and Music 1 Operators and Matrices 1 Journal of Logic and Analysis 1 Eurasian Mathematical Journal 1 Axiomathes 1 Forum of Mathematics, Sigma 1 Axioms 1 International Journal of Analysis and Applications 1 Journal of Linear and Topological Algebra 1 Categories and General Algebraic Structures with Applications 1 Journal of Applied Mathematics and Computational Mechanics 1 Journal of Applied and Computational Topology 1 Higher Structures all top 5 Cited in 37 Fields 240 Mathematical logic and foundations (03-XX) 153 Category theory; homological algebra (18-XX) 83 Computer science (68-XX) 51 Algebraic topology (55-XX) 41 General and overarching topics; collections (00-XX) 28 History and biography (01-XX) 25 Order, lattices, ordered algebraic structures (06-XX) 15 Quantum theory (81-XX) 9 General topology (54-XX) 8 Associative rings and algebras (16-XX) 8 Group theory and generalizations (20-XX) 6 General algebraic systems (08-XX) 5 Combinatorics (05-XX) 5 Functional analysis (46-XX) 5 Geometry (51-XX) 4 Algebraic geometry (14-XX) 4 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 3 Relativity and gravitational theory (83-XX) 2 Number theory (11-XX) 2 Nonassociative rings and algebras (17-XX) 2 Real functions (26-XX) 2 Differential geometry (53-XX) 2 Global analysis, analysis on manifolds (58-XX) 2 Probability theory and stochastic processes (60-XX) 2 Operations research, mathematical programming (90-XX) 1 Field theory and polynomials (12-XX) 1 Linear and multilinear algebra; matrix theory (15-XX) 1 Measure and integration (28-XX) 1 Functions of a complex variable (30-XX) 1 Dynamical systems and ergodic theory (37-XX) 1 Harmonic analysis on Euclidean spaces (42-XX) 1 Abstract harmonic analysis (43-XX) 1 Operator theory (47-XX) 1 Convex and discrete geometry (52-XX) 1 Manifolds and cell complexes (57-XX) 1 Mechanics of particles and systems (70-XX) 1 Systems theory; control (93-XX) Citations by Year Wikidata Timeline The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.