theorem

Deductions

biochemistry has quality theorem ⇐ (biochemistry has quality probability), (probability has quality theorem), (has quality is a transitive relation)
physics has quality theorem ⇐ (physics has quality probability), (probability has quality theorem), (has quality is a transitive relation)
Wikidata property change frequency has quality theorem ⇐ (Wikidata property change frequency has quality probability), (probability has quality theorem), (has quality is a transitive relation)
physical sciences has quality theorem ⇐ (physical sciences has quality probability), (probability has quality theorem), (has quality is a transitive relation)
theorem has quality cardinality ⇐ (theorem has quality truth value), (truth value has quality cardinality), (has quality is a transitive relation)
theorem has quality expression ⇐ (theorem is subclass of proposition), (proposition has quality expression)
theorem has quality type ⇐ (theorem is subclass of proposition), (proposition has quality type)
theorem has quality abstract entity ⇐ (theorem is subclass of proposition), (proposition has quality abstract entity)
theorem has quality arity ⇐ (theorem is subclass of proposition), (proposition has quality arity)
theorem has quality taxonomic rank ⇐ (theorem is subclass of proposition), (proposition has quality taxonomic rank)
theorem has quality quality ⇐ (theorem is subclass of proposition), (proposition has quality quality)
theorem has quality superclass ⇐ (theorem is subclass of proposition), (proposition has quality superclass)
theorem has quality mathematical property ⇐ (theorem is subclass of proposition), (proposition has quality mathematical property)
theorem has quality number of entities ⇐ (theorem is subclass of proposition), (proposition has quality number of entities)
theorem has quality truth value ⇐ (theorem is subclass of proposition), (proposition has quality truth value)
theorem has quality set ⇐ (theorem is subclass of proposition), (proposition has quality set)
theorem has quality value ⇐ (theorem is subclass of proposition), (proposition has quality value)
theorem has quality relation ⇐ (theorem is subclass of proposition), (proposition has quality relation)
theorem has quality computer science term ⇐ (theorem is subclass of proposition), (proposition has quality computer science term)
theorem has quality mathematical object ⇐ (theorem is subclass of proposition), (proposition has quality mathematical object)
theorem has quality entity ⇐ (theorem is subclass of proposition), (proposition has quality entity)
theorem has quality type of property ⇐ (theorem is subclass of proposition), (proposition has quality type of property)
theorem has quality class ⇐ (theorem is subclass of proposition), (proposition has quality class)
theorem has quality property ⇐ (theorem is subclass of proposition), (proposition has quality property)
theorem has quality criterion ⇐ (theorem is subclass of proposition), (proposition has quality criterion)
sexual orientation has quality theorem ⇐ (central limit theorem is a theorem), (sexual orientation has quality central limit theorem)
foods traditionally associated has quality theorem ⇐ (central limit theorem is a theorem), (foods traditionally associated has quality central limit theorem)
probability has quality theorem ⇐ (central limit theorem is a theorem), (probability has quality central limit theorem)
business model has quality theorem ⇐ (central limit theorem is a theorem), (business model has quality central limit theorem)
union of has quality theorem ⇐ (central limit theorem is a theorem), (union of has quality central limit theorem)
complex unit has quality theorem ⇐ (complex unit has quality absolute value), (absolute value has quality theorem), (has quality is a transitive relation)
imaginary unit has quality theorem ⇐ (imaginary unit has quality absolute value), (absolute value has quality theorem), (has quality is a transitive relation)
-i has quality theorem ⇐ (-i has quality absolute value), (absolute value has quality theorem), (has quality is a transitive relation)
absolute value has quality theorem ⇐ (triangle inequality is a theorem), (absolute value has quality triangle inequality)
−3 has quality theorem ⇐ (triangle inequality is a theorem), (−3 has quality triangle inequality)
3 has quality theorem ⇐ (triangle inequality is a theorem), (3 has quality triangle inequality)
0 number class has quality theorem ⇐ (triangle inequality is a theorem), (0 number class has quality triangle inequality)
negative real number has quality theorem ⇐ (triangle inequality is a theorem), (negative real number has quality triangle inequality)
theorem is for example triangle inequality ⇐ (triangle inequality is a theorem), (is a is inverse of is for example)
theorem has quality class ⇐ (existence is a class), (theorem has quality existence)
theorem is for example central limit theorem ⇐ (central limit theorem is a theorem), (is a is inverse of is for example)