Mathematics
Reachability
59%
Unordered
56%
Branching
53%
Parity
47%
One Dimension
45%
Vector addition
45%
Optimal Strategy
43%
Polynomial-time Algorithm
42%
Linear Combination
40%
Countable
38%
Simulation
29%
Preorder
27%
Strategy
27%
Finite Automata
24%
Non-negative
20%
Hierarchy
19%
Integer
18%
Dichotomy
16%
Zero
12%
Colored Petri Nets
9%
Permutation
9%
Safety
8%
Decidability
8%
Generalise
7%
Reversibility
7%
Multiset
6%
Completeness
6%
Color
6%
State Equation
6%
Requirements
6%
Boundedness
6%
Linear Constraints
6%
Configuration
6%
Roots
5%
Monoid
5%
Finitely Generated
5%
Engineering & Materials Science
Markov processes
100%
Petri nets
93%
Computability and decidability
64%
Data storage equipment
57%
Finite automata
51%
Controllers
51%
Hardness
37%
Towers
21%
Energy storage
20%
Clocks
20%
Polynomials
18%
Set theory
15%
Communication
11%