Mathematics
Automated Reasoning
17%
Branching Programs
43%
Calculus
10%
Closure
25%
Completeness
10%
Computability
7%
Correctness
12%
Counting Function
9%
Dags
11%
Decision tree
10%
Dynamic Logic
35%
Fixed point
22%
Fixed point theorem
5%
Form
5%
Function Algebra
10%
Implicit Computational Complexity
28%
Intuitionistic Logic
7%
Kleene Algebra
35%
Language
5%
Logic
50%
Monotone
6%
Monotone Boolean Function
11%
Normal Function
10%
Paradigm
6%
Peano Arithmetic
8%
Polynomial
12%
Polynomial time
6%
Proof Complexity
46%
Proof Search
17%
Proof System
23%
Propositional Logic
28%
Reasoning
15%
Recursion
15%
Reverse Mathematics
17%
Second Order Arithmetic
9%
Sequent Calculus
26%
Simulation
5%
Soundness
14%
Standards
10%
Subsystem
6%
Syntax
7%
Trace
10%
Transitive Closure
48%
Type Systems
8%
Engineering & Materials Science
Algebra
100%
Boolean functions
13%
Chemical analysis
10%
Computational complexity
32%
Decision trees
10%
Diamonds
15%
Networks (circuits)
10%
Polynomials
49%
Religious buildings
44%
Semantics
21%