Mathematics
Formalization
100%
Chebyshev
36%
Benchmark
33%
Mechanization
30%
Prime number
30%
Theorem
29%
Postulate
28%
Number theory
27%
Repository
26%
Query
26%
Syntax
25%
Language
23%
Calculus
22%
Programming Languages
22%
Distribution of Primes
22%
Prime number theorem
21%
Complexity Theory
21%
Turing Machine
20%
Knowledge Base
20%
Axiomatization
19%
Encoding
18%
Reverse
17%
Reasoning
17%
Substitution
17%
Null
16%
Software
16%
Specification
16%
Trivial
16%
Refinement
16%
Strong Theorems
15%
Summation
14%
Term
14%
Higher Order
14%
Choice Function
12%
Canonical Representation
11%
Formal Semantics
11%
Corollary
11%
Semantics
11%
Psi Function
11%
Theta Functions
9%
Categorical or nominal
9%
Sound
8%
Inversion
8%
Isomorphism
7%
Distinct
6%
First-order
6%
Lateral
5%
Type Inference
5%
Join
5%
Factorization
5%
Engineering & Materials Science
Semantics
81%
Turing machines
51%
Computer programming languages
36%
Query languages
31%
Acoustic waves
29%
Transparency
28%
Mechanization
27%
Substitution reactions
27%
Abstract data types
26%
Inspection
20%
Finite automata
20%
Tapes
18%
Concretes
18%
Machinery
17%
Binders
14%
Number theory
13%
Specifications
11%
Syntactics
9%
XML
8%
Theorem proving
6%
Equivalence classes
5%