Computer Science
Models
100%
Semantics
94%
Data Type
80%
Inductive Definition
64%
Parametric Polymorphism
61%
Functions
56%
Container
41%
Reasoning
41%
Extensive Form Game
41%
Recursive Definition
29%
Programs
25%
Functional Programming
25%
Extraction Program
20%
Probabilistic Strategy
20%
Innovations
20%
Integration Pattern
20%
Instantiation
20%
Commutativity
20%
Structure Model
20%
Natural Sciences Computing
20%
Implementation Error
20%
Elimination Rule
16%
Normal Form
15%
Optimization Strategy
13%
Information Measure
10%
Polymorphism
10%
Matrix Operation
10%
Programming Language
10%
Invariants
10%
Measurement Data
10%
Quantitative Data
10%
Lf Type Theory
9%
Formalization
7%
Satisfying Assignment
6%
Computer Science
6%
Propositional Formula
6%
Satisfiability Problem
6%
Conjunctive Normal Form
6%
Binary Relation
6%
Enterprise Application
6%
Petri Net
6%
Transactional Data
6%
Execution Efficiency
6%
Application
6%
Constructors
5%
Set Theory
5%
Cauchy Sequence
5%
Embedding
5%
Sequential Model
5%
Theorem Prover
5%
Mathematics
Type Theory
35%
Theoretic Approach
20%
Ultrafilter
20%
Inductive Type
20%
Ultraproduct
20%
Classical Mathematics
20%
Recursive Definition
20%
Trees
20%
Commutativity
20%
Multiset
20%
Finite Set
20%
Algebraic Structure
20%
Model Structure
20%
Equality
10%
Nash Equilibrium
10%
Data Type
10%
Dependent Type
10%
Idempotent
10%
Homomorphism
10%
Group Isomorphism
10%
Vector Space
10%
Quantitative Data
10%
Algebra
7%
Physical Quantity
6%
Ordered Structure
6%
Indexed Set
5%
Inductive Set
5%
Equilibrium Model
5%
Bimodule
5%
Set Theory
5%
Classical Set
5%
Reflexive Graph
5%
Cauchy Sequence
5%
Metric Completion
5%
Leaf
5%
Complete
5%
Complete Metric Space
5%
Number
5%
Infinite Number
5%
Category Theory
5%
Functions
5%
Programming Language
5%
