Has Statement Form

Connects a theorem to the concept naming the form of statement it takes, such as an existence theorem, a uniqueness theorem, a classification theorem, an inequality, an identity or equation, a characterization or an impossibility theorem. The inverse reading, Statement Form Of, names the same link from the statement form toward each theorem grouped under it. The compound label Identity or Equation is linked to both of its named components.