Search Results for ""

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 ...

A general term which refers to an increase (or decrease in the case of the oxymoron "negative growth") in a given quantity.

A n-gonal cupola adjoined to a 2n-gonal antiprism.

The gyroelongated pentagonal bicupola is the Johnson solid J_(46), which consists of two pentagonal cupolas, one twisted with respect to the other, adjoined to a decagonal ...

Johnson solid J_(48).

Johnson solid J_(25).

An n-gonal pyramid adjoined to the top of an n-gonal antiprism. In the 3-gonal gyroelongated pyramid, the pyramid and lateral antiprism are coplanar. However, the 4-gonal and ...

Johnson solid J_(45).

One of the eight convex deltahedra built up from 16 equilateral triangles. It consists of two oppositely faced square pyramids rotated 45 degrees to each other and separated ...