(computer science) A study of formal semantics of computer languages, such as denotational semantics.

The study of the semantics, or interpretations, of formal languages. / (computer science) the rigorous mathematical study of the meaning of programming languages

(computational linguistics) The study of estimation of the meanings of words by looking at patterns of words in huge collections of texts, using statistical methods.

(linguistics, computing) Having no semantic content.

A bifurcation of the meaning along with time into two separate meanings of two separate resulting expressions. / A diachronic differentiation or change in meaning.

(linguistics) A graph whose vertices represent concepts and edges represent semantic relations, such as synonymy—having very similar meaning, hyponymy—being a subclass, or meronymy—being a part of a whole.

A subcategory of declarative memory, semantic memory stores general information such as names and facts. / A system of the brain where logical concepts relating to the outside world are stored.

plural of semantic differentiation

(linguistics) The process of relating syntactic structures, from the levels of phrases, clauses, sentences and paragraphs to the level of the writing as a whole, to their language-independent meanings, removing features specific to particular linguistic and cultural contexts, to the extent that such a project is possible.

(logic) A truth tree.