# ontodag store v1
abelian-group mathematical-group
acceptance-sampling activity statistical-method
act '*'
activity '*'
acute-triangle triangle
additive-inverse number
adjacency-matrix matrix
aes block-cipher
affine-geometry geometry
affine-transformation bijection transformation
age-norm average
algebra mathematics
algebra-over-a-field mathematical-ring vector-space
algebraic-magma algebraic-structure
algebraic-number complex-number
algebraic-structure mathematical-structure
algebraic-transposition procedure
algorithm procedure
analysis-of-variance multivariate-analysis
analytic-geometry geometry
angle '*'
angle-of-inclination angle
antichain subset
antiderivative mathematical-expression
antisymmetric-relation binary-relation
arc-cosecant trigonometric-function
arc-cosine trigonometric-function
arc-cotangent trigonometric-function
arc-secant trigonometric-function
arc-sine trigonometric-function
arc-tangent trigonometric-function
arithmetic mathematics
arithmetic-mean mean
arithmetic-operation mathematical-operation
arithmetic-progression concept
arity number
asymmetry attribute
attribute '*'
attribute-exploration algorithm
attribute-implication implication
authenticated-encryption encryption
automorphism endomorphism isomorphism
average '*'
axiom proposition
banach-space mathematical-structure
'bayes'"'"'-postulate' postulate
'bayes'"'"'-theorem' theorem
'bernoulli'"'"'s-law' theorem
big-o-notation mathematical-relation
bijection surjective-function
binary-relation mathematical-relation
binary-tree data-structure rooted-tree tree-graph
binomial polynomial quantity
binomial-coefficient number
binomial-distribution statistical-distribution
binomial-theorem theorem
bipartite-graph undirected-graph
biquadratic polynomial
biquadratic-equation equation
biserial-correlation-coefficient correlation-coefficient
bit concept
bit-string data-structure
block-cipher cipher
blockchain hash-chain
bloom-filter data-structure
boolean-algebra heyting-algebra
boolean-function function
boolean-satisfiability-problem attribute decision-problem
boundary-condition mathematical-statement
bounded-lattice mathematical-lattice
brute-force-attack cryptanalysis procedure
calculation '*'
calculus mathematical-analysis
calculus-of-variations calculus
cardinal-number number
cardinality invariant number
catalan-number natural-number
cipher algorithm
ciphertext information
classical-logic formal-system mathematical-logic
closed-interval mathematical-interval
closure-operator mathematical-operator monotone-function
closure-system mathematical-set
coding-theory discrete-mathematics
coefficient-of-concordance kendall-test
cognition '*'
collection '*'
combinatorial-combination mathematical-operation
combinatorics discrete-mathematics
commitment-scheme cryptographic-protocol
commutative-ring mathematical-ring
complete-graph connected-graph
complete-lattice mathematical-lattice
complex-number number
complexity-class mathematical-set
composite-number natural-number
computability-theory mathematical-logic
computational-complexity-theory computability-theory computer-science
computer-science '*'
concave-polygon polygon
concept '*'
concept-extent mathematical-set
concept-intent mathematical-set
concept-lattice complete-lattice
condition '*'
conditional-probability probability
conic-section locus shape
conjecture proposition
connected-component connected-graph subgraph
connected-graph undirected-graph
content-addressable-storage concept
convex-polygon polygon
coordinate-origin geometric-intersection
corollary thinking
correlation-coefficient parametric-statistic
correlational-analysis multivariate-analysis
cosecant trigonometric-function
cosine trigonometric-function
cotangent trigonometric-function
countable-set mathematical-set
covariance statistic
covariation statistical-correlation
covering-relation binary-relation
cross-section sample
cryptanalysis cryptography
cryptographic-hash-function cryptographic-primitive function
cryptographic-key concept information
cryptographic-padding concept
cryptographic-primitive algorithm
cryptographic-protocol concept procedure
cryptography computer-science mathematics
curve '*'
curve-osculation mathematical-relation
curved-shape '*'
curvilinear-correlation statistical-correlation
curvilinear-regression statistical-regression
cyclic-graph undirected-graph
cyclic-group abelian-group
data-structure concept
decagon polygon
decidability attribute
decile statistic
decision-problem problem
decryption mathematical-operation
dedekind-macneille-completion complete-lattice
deductive-reasoning thinking
definition '*'
degree-of-freedom variable
demographic statistic
dependent-variable variable
derivation-operator function
description-logic formal-system mathematical-logic
design-theory combinatorics
diagonal-line shape
diagram '*'
differential-calculus calculus
differential-equation equation mathematical-statement
differentiation mathematical-operation
diffie-hellman key-exchange
digital-certificate document
digital-signature cryptographic-primitive
directed-acyclic-graph directed-graph
directed-graph mathematical-graph
directed-set partially-ordered-set
discrete-logarithm decision-problem
discrete-mathematics mathematics
distributive-lattice mathematical-lattice
divergent-series mathematical-series
division arithmetic-operation
division-ring mathematical-ring
document '*'
dodecagon polygon
drawn-box rectangle
eccentricity ratio real-number
ecdsa signature-scheme
elementary-geometry geometry
elliptic-curve-cryptography public-key-cryptography
elliptic-geometry non-euclidean-geometry
empty-set finite-set
encryption mathematical-operation
endomorphism homomorphism
equation '*'
equation-root mathematical-set
equidistribution statistical-distribution
equilateral-triangle regular-polygon triangle
equivalence-relation preorder symmetric-relation
error-correcting-code concept
'euclid'"'"'s-axiom' axiom
euclidean-algorithm algorithm
euclidean-space metric-space
euclidean-vector concept
eulerian-path graph-path
even-number integer
evenness parity
event '*'
exceedance probability
existential-quantifier quantifier
expert '*'
exponential function
exponential-equation equation
exponential-expression mathematical-expression
exponential-series mathematical-series
exponentiation mathematical-operation
extrapolation calculation
factor-analysis correlational-analysis
factorization mathematical-operation
feature '*'
fibonacci-sequence concept
finite-automaton formal-system
finite-field finite-set mathematical-field
finite-group mathematical-group
finite-set countable-set
first-order-correlation partial-correlation
first-order-logic mathematical-logic
fixed-point concept
flow-network directed-graph weighted-graph
forest-graph undirected-graph
formal-concept concept
formal-concept-analysis order-theory
formal-context binary-relation
formal-grammar formal-system
formal-proof '*'
formal-system concept
formula '*'
fourier-series mathematical-series
fractal shape
fractal-geometry geometry
fraction complex-number
frequency-distribution statistical-distribution
function binary-relation
function-domain mathematical-set
fuzzy-logic mathematical-logic
galois-connection concept
galois-theory group-theory
generating-function function
geodesic shape
geometric-construction mathematical-operation
geometric-intersection locus
geometric-mean mean
geometric-plane geometric-shape
geometric-progression concept
geometric-ray shape
geometric-reflection transformation
geometric-rotation transformation
geometric-series mathematical-series
geometric-shape locus shape
geometric-superposition locating
geometry mathematics
godel-incompleteness-theorem theorem
grab-sample sample
graph-clique complete-graph induced-subgraph
graph-colouring concept
graph-cycle subgraph
graph-homomorphism homomorphism
graph-isomorphism graph-homomorphism isomorphism
graph-matching subgraph
graph-path subgraph
graph-vertex concept
greatest-common-divisor natural-number
greatest-element concept
group-theory mathematics
hamiltonian-path graph-path
hamming-distance metric-function
harmonic-mean mean
harmonic-progression concept
hash-chain data-structure
hash-table data-structure
hasse-diagram diagram
heap-data-structure data-structure
heptagon polygon
hexagon polygon
heyting-algebra bounded-lattice distributive-lattice
hilbert-space banach-space metric-space vector-space
hmac message-authentication-code
homogeneous-polynomial polynomial
homomorphic-encryption encryption
homomorphism function
hyperbolic-geometry non-euclidean-geometry
hypergraph mathematical-structure
identity-element concept
imaginary-number complex-number
implication logical-relation
inclusion-exclusion-principle theorem
independent-set induced-subgraph
independent-variable variable
induced-subgraph subgraph
inductive-reasoning thinking
inference-rule rule
infimum concept lower-bound
infinite-set mathematical-set
infinitesimal number variable
information '*'
information-theory concept mathematics
initialization-vector concept information
injective-function function
integer rational-number
integer-partition concept
integral-calculus calculus
integral-domain commutative-ring
interpolation algorithm calculation
interval-order partial-order
intuitionistic-logic mathematical-logic
invariance attribute
invariant feature
inverse-function function
irrational-number real-number
isogon polygon
isometry bijection
isomorphism homomorphism
isosceles-triangle polygon triangle
join-semilattice partially-ordered-set semilattice
joint-probability probability
k-combination concept
keccak cryptographic-hash-function
kendall-partial-rank-correlation kendall-test
kendall-test nonparametric-statistic
key-derivation-function cryptographic-primitive function
key-exchange cryptographic-protocol
knaster-tarski-theorem theorem
kronecker-delta function
lambda-calculus formal-system
latin-square matrix
least-element concept
least-squares statistical-method
lemma theorem
lie-algebra algebra-over-a-field
linear-algebra algebra
linear-equation equation
linear-extension total-order
linear-map homomorphism
linear-operator linear-map mathematical-operator
linear-regression statistical-regression
linked-list data-structure
locating '*'
locus mathematical-set
logic '*'
logical-completeness attribute
logical-conjunction logical-connective
logical-connective logical-operation
logical-consequence logical-relation
logical-consistency attribute
logical-disjunction logical-connective
logical-negation logical-connective proposition
logical-operation mathematical-operation
logical-predicate information
logical-relation mathematical-relation
logical-soundness attribute
logical-subject information
long-division division
lower-bound number
lower-set subset
mandelbrot-set mathematical-set
manifold mathematical-space topological-space
material-implication logical-connective
mathematical-analysis mathematics
mathematical-category mathematical-structure
mathematical-expression concept information
mathematical-field commutative-ring division-ring mathematical-set
mathematical-graph mathematical-structure
mathematical-group mathematical-set monoid quasigroup
mathematical-induction formal-proof
mathematical-integration mathematical-operation
mathematical-interval mathematical-set
mathematical-lattice join-semilattice meet-semilattice
mathematical-logic logic mathematics
mathematical-module algebraic-structure
mathematical-operation function procedure
mathematical-operator function
mathematical-relation concept
mathematical-ring algebraic-structure
mathematical-series function
mathematical-set concept
mathematical-space mathematical-set
mathematical-statement information
mathematical-structure concept
mathematical-subgroup mathematical-group
mathematician scientist
mathematics '*'
matrix mathematical-structure
matrix-addition matrix-operation
matrix-algebra algebra
matrix-diagonal subset
matrix-inversion matrix-operation
matrix-multiplication matrix-operation multiplication
matrix-operation mathematical-operation
matrix-transposition matrix-operation
matroid mathematical-structure
maximal-element concept
maximization mathematical-operation
'maxwell'"'"'s-equations' differential-equation
mean average
mean-deviation statistical-deviation
median average
meet-semilattice partially-ordered-set semilattice
merkle-tree data-structure tree-graph
message-authentication-code cryptographic-primitive
metamathematics mathematics
method '*'
metric-function function
metric-space mathematical-space topological-space
minimal-element concept
minimum-spanning-tree spanning-tree weighted-graph
modal-logic formal-system mathematical-logic
model-theory mathematical-logic
modular-arithmetic arithmetic
modular-lattice mathematical-lattice
monic-polynomial polynomial
monoid semigroup
monotone-function function
multicollinearity condition
multigraph mathematical-graph
multiple-correlation-coefficient correlation-coefficient
multiple-regression multivariate-analysis
multiplication arithmetic-operation
multiplicative-inverse number
multivariate-analysis statistical-method
natural-number integer
negative-correlation statistical-correlation
non-euclidean-geometry geometry
non-sequitur proposition
nonagon polygon
nonce concept information
nonparametric-statistic statistic
normal-curve curved-shape
normal-distribution statistical-distribution
np-completeness attribute complexity-class
null-space mathematical-space
number '*'
number-theory mathematics
numerical-accuracy attribute
numerical-analysis mathematics
oblique-triangle triangle
obtuse-triangle triangle
octagon polygon
odd-number integer
oddness parity
one-way-function function
open-interval mathematical-interval
order-chain totally-ordered-set
order-dimension number
order-embedding monotone-function
order-filter upper-set
order-ideal lower-set
order-isomorphism isomorphism monotone-function
order-theory mathematics
ordinal-number number
outlier statistical-deviation
parallel-line shape
parallelogram quadrilateral
parametric-statistic statistic
parity mathematical-relation
partial-correlation statistical-correlation
partial-differential-equation differential-equation
partial-order antisymmetric-relation preorder
partially-ordered-set mathematical-structure
particular-proposition proposition
pencil-of-lines shape
pentagon polygon
percentile statistic
permutation bijection mathematical-operation
phi-coefficient nonparametric-statistic
pigeonhole-principle theorem
plaintext information
planar-graph mathematical-graph
plane-geometry geometry
plane-section shape
poisson-distribution statistical-distribution
polygon geometric-shape
polynomial function
polytree directed-acyclic-graph
positive-correlation statistical-correlation
postulate proposition
power-series mathematical-series
power-set mathematical-set
predictor-variable variable
preorder reflexive-relation transitive-relation
prime-factorization mathematical-operation
prime-number natural-number
private-key cryptographic-key
probability statistic
probability-theory mathematics
problem '*'
procedure '*'
product-moment-correlation-coefficient correlation-coefficient
projective-duality attribute
projective-geometry geometry
proof-of-work cryptographic-protocol
proof-theory mathematical-logic
proposition '*'
propositional-logic formal-system mathematical-logic
pseudorandom-generator algorithm
public-key cryptographic-key
public-key-cryptography cryptography
public-key-infrastructure concept
quadratic polynomial
quadratic-equation equation
quadratics algebra
quadrature geometric-construction
quadrilateral polygon
quantic homogeneous-polynomial
quantifier logical-operation
quantity '*'
quartile statistic
quasigroup algebraic-magma
quaternion number
radical-expression mathematical-expression
random-oracle concept
random-sample sample
range-of-a-function mathematical-set
rank-order-correlation-coefficient nonparametric-statistic
ratio '*'
rational-number algebraic-number real-number
rationalization mathematical-operation
reachability binary-relation
real-number complex-number
rectangle parallelogram
recurrence-relation mathematical-relation
recursion procedure
recursive-definition definition
recursive-function function
reentrant-polygon concave-polygon
reflexive-relation binary-relation logical-relation
regression-analysis multivariate-analysis
regression-coefficient parametric-statistic
regression-equation equation
regression-line curve
regular-expression mathematical-expression
regular-hexagon hexagon
regular-polygon isogon
relaxation-method mathematical-operation
rhomboid parallelogram
rhombus parallelogram
right-triangle polygon triangle
rooted-tree polytree
rounding mathematical-operation
rsa-cryptosystem public-key-cryptography
rule '*'
sample '*'
sample-distribution statistical-distribution
scalar number
scalar-field function mathematical-field
scalene-triangle triangle
schrodinger-equation differential-equation
scientist '*'
secant trigonometric-function
second-moment statistical-moment
secp256k1 concept elliptic-curve-cryptography
secret-sharing cryptographic-protocol
semigroup algebraic-magma
semilattice semigroup
sentential-function mathematical-expression
series-convergence attribute
series-expansion function
set-theory mathematics
sha-2 cryptographic-hash-function
shape '*'
short-division division
shortest-path graph-path
signature-scheme cryptographic-protocol
simultaneous-equations equation formula
sine trigonometric-function
singleton-set finite-set
solid-geometry geometry
spanning-tree subgraph tree-graph
spherical-geometry geometry
spherical-polygon polygon
spherical-triangle spherical-polygon
spherical-trigonometry trigonometry
split-half-correlation correlation-coefficient
spurious-correlation statistical-correlation
standard-deviation statistic
statistic cognition
statistical-correlation statistic
statistical-deviation statistic
statistical-distribution cognition
statistical-method method
statistical-mode average
statistical-moment statistic
statistical-population collection
statistical-regression statistical-method
statistical-sampling act
statistical-weight number
statistician expert
stratified-sample sample-distribution
stream-cipher cipher
strict-order antisymmetric-relation transitive-relation
strongly-connected-component connected-component directed-graph
sub-interval mathematical-interval
subgraph mathematical-graph
subpopulation statistical-population
subset mathematical-set
subspace mathematical-space
subsumption logical-relation
subtraction arithmetic-operation
summation arithmetic-operation
supremum concept upper-bound
surjective-function function
syllogism deductive-reasoning
symmetric-key-cryptography cryptography
symmetric-relation binary-relation
symmetry attribute
tangent trigonometric-function
tau-coefficient-of-correlation kendall-test
tautology truth
tensor concept
tetrachoric-correlation-coefficient correlation-coefficient
theorem proposition
thinking '*'
threshold-function function
time-series statistic
topological-ordering total-order
topological-space mathematical-structure
topology mathematics
total-order partial-order weak-order
totally-ordered-set mathematical-lattice
transcendental-number irrational-number
transformation function
transitive-closure mathematical-operation transitive-relation
transitive-reduction mathematical-operation
transitive-relation binary-relation logical-relation
translation isometry transformation
trapezium quadrilateral
trapezoid quadrilateral
tree-graph bipartite-graph connected-graph forest-graph
triangle '*'
trie data-structure tree-graph
trigonometric-function function
trigonometry geometry
truncation-error event
truth '*'
truth-table concept
truth-value concept
turing-machine concept
type-theory formal-system mathematical-logic
uncountable-set infinite-set
undecagon polygon
undirected-graph mathematical-graph
universal-proposition proposition
universal-quantifier quantifier
universal-set mathematical-set
upper-bound number
upper-set subset
variable '*'
variance statistical-moment
vector-algebra algebra
vector-space mathematical-module
vital-statistics statistic
wave-equation differential-equation
weak-order preorder
wedge-shape shape
weighted-graph mathematical-graph
well-formed-formula mathematical-expression
well-order total-order
zero-knowledge-proof cryptographic-protocol
'zorn'"'"'s-lemma' theorem