Mathematics
Abstraction
13%
Alternation
9%
Axiom
10%
Axiomatization
14%
Bounded Arithmetic
15%
Branching Programs
29%
Closure
8%
Compression
10%
Constructive Logic
16%
Dags
24%
Determinacy
11%
Dynamic Logic
11%
Encoding
9%
Fixed point
7%
Fragment
27%
Implicit Computational Complexity
9%
Intuitionistic Logic
12%
Invertible
8%
Kleene Algebra
26%
Language
12%
Linear Systems
7%
Logic
31%
Modal Logic
23%
Monadic Second-order Logic
18%
Monotone
17%
Monotone Boolean Function
7%
Monotone Systems
14%
Parity
9%
Peano Arithmetic
7%
Polynomial
14%
Polynomial Hierarchy
21%
Presentation
12%
Proof by induction
13%
Proof Complexity
96%
Proof Search
55%
Proof System
26%
Proof Theory
14%
Propositional Logic
21%
Quantifiers
14%
Recursion
15%
Reverse Mathematics
8%
Rewriting Systems
13%
Second Order Arithmetic
11%
Sequent Calculus
15%
Simulation
12%
Sound
8%
Standards
7%
Strombus or kite or diamond
12%
Syntax
8%
Transitive Closure
16%
Engineering & Materials Science
Acoustic waves
42%
Algebra
78%
Atoms
5%
Boolean algebra
20%
Boolean functions
17%
Chemical analysis
16%
Computability and decidability
14%
Computational complexity
15%
Decision trees
24%
Diamonds
16%
Graph theory
12%
Inspection
8%
Linear systems
9%
Polynomials
100%
Recursive functions
5%
Religious buildings
15%
Semantics
14%
Stars
11%
Switches
15%
Syntactics
11%