uninstantiated

uninstantiated
Not instantiated.

Wikipedia foundation.

Игры ⚽ Поможем написать курсовую

Look at other dictionaries:

  • Unification — In mathematical logic, in particular as applied to computer science, a unification of two terms is a join (in the lattice sense) with respect to a specialisation order. That is, we suppose a preorder on a set of terms, for which t * ≤ t means… …   Wikipedia

  • Unification (computer science) — Unification, in computer science and logic, is an algorithmic process by which one attempts to solve the satisfiability problem. The goal of unification is to find a substitution which demonstrates that two seemingly different terms are in fact… …   Wikipedia

  • Aristotle — For other uses, see Aristotle (disambiguation). Ἀριστοτέλης, Aristotélēs Marble bust of Aristotle. Roman copy after a Gree …   Wikipedia

  • Metaphysics — This article is about the branch of philosophy dealing with theories of existence and knowledge. For the work of Aristotle, see Metaphysics (Aristotle). For the occult field, see Metaphysics (supernatural). Philosophy …   Wikipedia

  • Napier88 — is an orthogonally persistent programming language. Napier88 was designed and implemented at the University of St Andrews, Scotland. The primary designer was Ron Morrison, whose initial designs were extended and implemented by Fred Brown, Richard …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”