typing discipline

Deductions

• Wikidata property related to computing is for example typing discipline ⇐ (typing discipline is a Wikidata property related to computing), (is a is inverse of is for example)
• Wikibase property is for example typing discipline ⇐ (typing discipline is a Wikibase property), (is a is inverse of is for example)
• -> is for example typing discipline ⇐ (typing discipline is a ->), (is a is inverse of is for example)
• typing discipline is a Wikibase property ⇐ (-> is subclass of Wikibase property), (typing discipline is a ->)