implementation of Deductions Wikidata property related to software is for example implementation of ⇐ (implementation of is a Wikidata property related to software), (is a is inverse of is for example) -> is for example implementation of ⇐ (implementation of is a ->), (is a is inverse of is for example)