Mathematics
Logic
82%
Applicable mathematics
82%
Transitive Closure
59%
Framework
55%
First-order Logic
53%
Closure Operator
52%
Intuitionistic Logic
47%
Reasoning
43%
Proof System
40%
Inductive Definitions
34%
Constructivism
33%
Proof by induction
32%
Automated Reasoning
32%
Proof Theory
30%
Coinduction
28%
Semantics
27%
Set Theory
26%
Programming Languages
24%
Realizability
23%
Computability
22%
Turing
22%
Completeness
21%
Type Theory
19%
Computer Science
19%
Sound
19%
Countable
16%
Style
15%
Discourse
14%
Cycle
14%
Term
12%
Nondeterminism
12%
Demonstrate
10%
Model
9%
Restriction
9%
Interpretation
9%
First-order
9%
Closed
8%
Approximation
7%
Essential Component
7%
Form
7%
Object
6%
Rule Induction
6%
Mathematical reasoning
6%
Peano Arithmetic
5%
Uniformity
5%
Descent
5%
Incompleteness
5%
Engineering & Materials Science
Computer science
100%
Acoustic waves
78%
Semantics
74%
Syntactics
61%
Computer programming languages
38%
Set theory
38%
Religious buildings
27%
Logic programming
23%
Algebra
23%
Mathematical operators
18%
Concretes
17%
Data structures
16%
Automation
15%
Specifications
12%
Uncertainty
12%
Formal verification
11%
Calibration
5%
Arts & Humanities
Logic
38%
Automated Reasoning
35%
Middle Ground
24%
Deduction
21%
First-order Logic
16%
Approximation
10%
Transitive
9%
Sound
8%
Completeness
8%
Closure
7%
Induction
7%
Second-order Logic
6%
Constructive Type Theory
5%
Operator
5%