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.

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

Johnson solid J_(10).