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