Mathematics
Context-aware
84%
Probabilistic Logic
65%
Modal Logic
49%
Implicit Computational Complexity
39%
Evidence
37%
Proof System
33%
Fixed point
31%
Language
27%
Reverse Mathematics
25%
Recursion
21%
Reasoning
21%
Normal Function
14%
Function Algebra
14%
Calculus
14%
Second Order Arithmetic
12%
Reasoning under Uncertainty
12%
Peano Arithmetic
11%
Interpretation
11%
Type Systems
11%
Sequent Calculus
10%
Intuitionistic Logic
10%
Computability
10%
Polynomial time
8%
Paradigm
8%
Subsystem
8%
Soundness
8%
Axiomatization
7%
Decidability
7%
Fixed point theorem
7%
Alternatives
6%
Completeness
6%
First-order
6%
Lower bound
5%
Characterization
5%
Upper bound
5%
Engineering & Materials Science
Computational complexity
100%
Algebra
69%
Polynomials
51%
Computability and decidability
20%
Uncertainty
9%
Networks (circuits)
6%