Talk:Q1522579

From Wikidata
Jump to navigation Jump to search

Autodescription — substitution (Q1522579)

description: concept in logic; syntactic transformation on formal expressions
Useful links:
Classification of the class substitution (Q1522579)  View with Reasonator View with SQID
For help about classification, see Wikidata:Classification.
Parent classes (classes of items which contain this one item)
Subclasses (classes which contain special kinds of items of this class)
substitution⟩ on wikidata tree visualisation (external tool)(depth=1)
Generic queries for classes
See also


Start a discussion about Q1522579

Start a discussion