Search Results for ""
61 - 70 of 316 for linkSearch Results
![](/common/images/search/spacer.gif)
A compactum (plural: compacta) is a compact metric space. An example of a compactum is any finite discrete metric space. Also, the space [0,1] union [2,3] is a compactum, ...
A continuum is a decomposable continuum if and only if it is the union of two of its proper subcontinua. A continuum that is not decomposable is an indecomposable continuum.
A schematic mathematical illustration showing the relationships between or properties of mathematical objects.
Edge splitting is the reverse of edge contraction.
Consider a clause (disjunction of literals) obtained from those of a first-order logic formula Phi in Skolemized form forall x_1... forall x_nS. Then an atomic statement ...
Consider a clause (disjunction of literals) obtained from those of a first-order logic sentential formula Phi in Skolemized form forall x_1... forall x_nS, then a clause ...
Consider a clause (disjunction of literals) obtained from those of a first-order logic formula Phi in Skolemized form forall x_1... forall x_nS. Then a literal obtained from ...
The set of all ground atoms that can be formed from predicate symbols from a clause in Skolemized form S and terms from the Herbrand universe H of S.
Let X be a continuum (i.e., a compact connected metric space). Then X is hereditarily unicoherent provided that every subcontinuum of X is unicoherent. Any hereditarily ...
A knot that secures a rope to a post, ring, another rope, etc., but does not keep its shape by itself.
![](/common/images/search/spacer.gif)
...