Ordinal Analysis
Ordinal Analysis is a formal method in proof theory that assigns ordinal numbers to theories in order to measure their consistency strength and computational power, thereby enabling the comparison of deductive systems through the ordinal-theoretic characterization of their provably recursive functions and proof-theoretic ordinals.
378
Publications
18.4K
Citations
2.3K
Authors
587
Institutions
Publications per year
2017–2026
94
378
SemEval-2016 Task 4: Sentiment Analysis in Twitter
Preslav Nakov, Alan Ritter, Sara Rosenthal et al. · 2016 · 435 citations · Full text
1–5 of 378
2.3K
9
h-index
6
h-index
5
h-index
4
h-index
4
h-index
1–5 of 2.3K
587
Harvard University
Cambridge, United States
11 h-index
18 publications
1.4K citations
Universitat Politècnica de Catalunya
Barcelona, Spain
10 h-index
28 publications
707 citations
Ludwig-Maximilians-Universität München
Munich, Germany
8 h-index
39 publications
1.2K citations
University of Pennsylvania
Philadelphia, United States
7 h-index
8 publications
1.4K citations

Centre National de la Recherche Scientifique
Paris, France
6 h-index
10 publications
272 citations
Stanford University
Stanford, United States
6 h-index
6 publications
218 citations

Johns Hopkins University
Baltimore, United States
6 h-index
7 publications
1.2K citations

University of Edinburgh
Edinburgh, United Kingdom
5 h-index
1.1K publications
46.6K citations
1–8 of 587
9 publications · 229 citations
9
h-index
8 publications · 188 citations
8
h-index
7 publications · 575 citations
7
h-index
6 publications · 402 citations
6
h-index
5 publications · 119 citations
5
h-index
1–5