Deductions
- topic's main template has quality cardinality ⇐ (topic's main template has quality truth value), (truth value has quality cardinality), (has quality is a transitive relation)
- topic's main template has quality expression ⇐ (topic's main template has quality property constraint), (property constraint has quality expression), (has quality is a transitive relation)
- topic's main template has quality number of entities ⇐ (topic's main template has quality property constraint), (property constraint has quality number of entities), (has quality is a transitive relation)
- topic's main template has quality set ⇐ (topic's main template has quality property constraint), (property constraint has quality set), (has quality is a transitive relation)
- topic's main template has quality arity ⇐ (topic's main template has quality property constraint), (property constraint has quality arity), (has quality is a transitive relation)
- topic's main template has quality truth value ⇐ (topic's main template has quality property constraint), (property constraint has quality truth value), (has quality is a transitive relation)
- topic's main template has quality computer science term ⇐ (topic's main template has quality property constraint), (property constraint has quality computer science term), (has quality is a transitive relation)
- topic's main template has quality value ⇐ (topic's main template has quality property constraint), (property constraint has quality value), (has quality is a transitive relation)
- topic's main template has quality relation ⇐ (topic's main template has quality property constraint), (property constraint has quality relation), (has quality is a transitive relation)
- topic's main template has quality mathematical property ⇐ (topic's main template has quality property constraint), (property constraint has quality mathematical property), (has quality is a transitive relation)
- topic's main template has quality mathematical object ⇐ (topic's main template has quality property constraint), (property constraint has quality mathematical object), (has quality is a transitive relation)
- topic's main template has quality abstract entity ⇐ (type is a abstract entity), (topic's main template has quality type)
- topic's main template has quality value-requires-statement constraint ⇐ (topic's main template is a Wikibase property), (Wikibase property has quality value-requires-statement constraint)
- topic's main template has quality property constraint ⇐ (topic's main template is a Wikibase property), (Wikibase property has quality property constraint)
- topic's main template has quality entity ⇐ (taxonomic rank is a entity), (topic's main template has quality taxonomic rank)
- topic's main template has quality class ⇐ (type of property is subclass of class), (topic's main template has quality type of property)
- Wikibase entity is for example topic's main template ⇐ (topic's main template is a Wikibase entity), (is a is inverse of is for example)
- topic's main template has quality source type ⇐ (topic's main template is a Wikibase entity), (Wikibase entity has quality source type)
- topic's main template has quality class ⇐ (topic's main template is a Wikibase entity), (Wikibase entity has quality class)
- topic's main template has quality property ⇐ (topic's main template is a Wikibase entity), (Wikibase entity has quality property)
- topic's main template has quality type of property ⇐ (topic's main template is a Wikibase entity), (Wikibase entity has quality type of property)
- topic's main template has quality probability ⇐ (topic's main template is a Wikibase entity), (Wikibase entity has quality probability)
- topic's main template has quality type ⇐ (topic's main template is a Wikibase entity), (Wikibase entity has quality type)
- topic's main template has quality quality ⇐ (topic's main template is a Wikibase entity), (Wikibase entity has quality quality)
- topic's main template has quality existence ⇐ (topic's main template is a Wikibase entity), (Wikibase entity has quality existence)
- topic's main template has quality taxonomic rank ⇐ (topic's main template is a Wikibase entity), (Wikibase entity has quality taxonomic rank)
- topic's main template has quality criterion ⇐ (topic's main template is a Wikibase entity), (Wikibase entity has quality criterion)
- topic's main template has quality superclass ⇐ (topic's main template is a Wikibase entity), (Wikibase entity has quality superclass)
- topic's main template has quality type of object ⇐ (topic's main template is a Wikibase entity), (Wikibase entity has quality type of object)
- topic's main template has quality credibility ⇐ (topic's main template is a Wikibase entity), (Wikibase entity has quality credibility)
- topic's main template is a Wikibase entity ⇐ (Wikidata property about Wikimedia templates is subclass of Wikibase entity), (topic's main template is a Wikidata property about Wikimedia templates)
- Wikibase property is for example topic's main template ⇐ (topic's main template is a Wikibase property), (is a is inverse of is for example)
- Wikidata property about Wikimedia entities is for example topic's main template ⇐ (topic's main template is a Wikidata property about Wikimedia entities), (is a is inverse of is for example)
- Wikidata property about Wikimedia templates is for example topic's main template ⇐ (topic's main template is a Wikidata property about Wikimedia templates), (is a is inverse of is for example)
- -> is for example topic's main template ⇐ (topic's main template is a ->), (is a is inverse of is for example)
- topic's main template is a Wikidata property about Wikimedia entities ⇐ (Wikidata property about Wikimedia templates is subclass of Wikidata property about Wikimedia entities), (topic's main template is a Wikidata property about Wikimedia templates)
- topic's main template is a Wikibase property ⇐ (-> is subclass of Wikibase property), (topic's main template is a ->)