Computer Science
Mathematical Theory
100%
Instantiation
80%
Proof Obligation
80%
Theorem Prover
60%
Higher Order Logic
60%
Inductive Proof
60%
Automated Tool
60%
Theory Formation
60%
Invariants
40%
User
40%
Synthesis
40%
Domains
30%
Ordered Rewriting
20%
Computer Algebra System
20%
Design
20%
Software Verification
20%
Application
20%
Classification
20%
for Loop
10%
Equivalence Relation
10%
Generalization
10%
Model Generation
10%
Computer
10%
Reasoning Technique
10%
Automated Reasoning
10%
Theorem Proving
10%
Complexity
10%
Classes
10%
Mathematics
Isotopy
40%
Number
40%
Mathematics
40%
Invariant
30%
Algebra
30%
Isotopic
20%
Classification
20%
Mathematical Theory
20%
Largest Number
13%
Isotopism
10%
Equivalence Relation
10%
Algebraic Domain
10%
Isotopy Class
10%
Generation Model
10%
Arts and Humanities
Conjecture
26%
Procedure
26%
Tower
13%
Enterprise
13%
Intrinsic
13%
Novelty
13%
MeRIT
13%
Engineering Process
13%
System
13%