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