{"senses": [{"examples": [{"text": "The result of substituting a term a for all free occurrences of the variable x in the formula Q is denoted by Q(a/x).", "ref": "1972, Alonzo Church, Introduction to Mathematical Logic, Princeton University Press, page 78:", "type": "quotation"}], "topics": ["human-sciences", "logic", "mathematics", "philosophy", "sciences"], "categories": ["English countable nouns", "English entries with incorrect language header", "English lemmas", "English multiword terms", "English nouns", "English terms with quotations", "Pages with 1 entry", "Pages with entries", "en:Logic"], "links": [["logic", "logic"]], "raw_glosses": ["(logic) A well-formed formula (wff) that has a constant term in place of a variable; expressed as Q(a/x), where the resulting wff is identical to Q except that the constant a takes the place of every free occurrence of the variable x."], "glosses": ["A well-formed formula (wff) that has a constant term in place of a variable; expressed as Q(a/x), where the resulting wff is identical to Q except that the constant a takes the place of every free occurrence of the variable x."]}], "pos": "noun", "head_templates": [{"name": "en-noun", "args": {"head": "substitution instance"}, "expansion": "substitution instance (plural substitution instances)"}], "forms": [{"form": "substitution instances", "tags": ["plural"]}], "antonyms": [{"word": "generalization"}], "word": "substitution instance", "lang": "English", "lang_code": "en"}