A showing of something — such as a variable, term, or object — in terms of the specific process or set of validation tests used to determine its presence and quantity.

(uncountable) Enhanced picture quality on a TV or any other display. / (countable) A television or display device displaying images in an enhanced picture quality format or such images.

(semantics) A process of binding the meaning to the defined term by pointing out examples and counterexamples.

(semantics) A definition of a term within which the term itself appears, and that is well-founded, avoiding an infinite regress.

(semantics) A definition of a term that specifies its extension, that is, every object that falls under the definition.

(semantics) A definition that gives the meaning of a term by specifying all the properties of the things to which the term applies.

(semantics) A definition that exhaustively lists all the objects that fall under the defined term.

(semantics) A recursive definition.

plural of definite integral

(logic) A Horn clause with exactly one positive literal.