(contain implicitly)
21Citation signal — Introductory signals are used in legal citations to present authorities and show how the authorities relate to propositions in textual statements. A legal writer uses an introductory signal to tell readers how her citation to legal authority… …
22Burroughs large systems — The Burroughs large systems were the largest of three series of Burroughs Corporation mainframe computers. Founded in the 1880s, Burroughs was the oldest continuously operating entity in computing, but by the late 1950s its computing equipment… …
23Interface (Java) — An interface in the Java programming language is an abstract type that is used to specify an interface (in the generic sense of the term) that classes must implement. Interfaces are declared using the interface keyword, and may only contain… …
24Anonymous function — In computing, an anonymous function is a function (or a subroutine) defined, and possibly called, without being bound to a name. In lambda calculus, all functions are anonymous. The Y combinator can be utilised in these circumstances to provide… …
25Biblical Exegesis — Biblical Exegesis † Catholic Encyclopedia ► Biblical Exegesis Exegesis is the branch of theology which investigates and expresses the true sense of Sacred Scripture. The exegete does not inquire which books constitute Sacred… …
26biblical literature — Introduction four bodies of written works: the Old Testament writings according to the Hebrew canon; intertestamental works, including the Old Testament Apocrypha; the New Testament writings; and the New Testament Apocrypha. The Old… …
27Skolem normal form — A formula of first order logic is in Skolem normal form (named after Thoralf Skolem) if it is in conjunctive prenex normal form with only universal first order quantifiers. Every first order formula can be converted into Skolem normal form while… …
28Comparison of Java and C Sharp — This is a comparison of the C# programming language with the Java programming language. As the two are both garbage collected runtime compiled languages with syntax derived from C and C++, there are many similarities between Java and C#. However …
29Files-11 — Files 11, also known as on disk structure, is the file system used by Hewlett Packard s OpenVMS operating system, and also (in a simpler form) by the older RSX 11. It is a hierarchical file system, with support for access control lists, record… …
30NSA warrantless surveillance controversy — For the related controversy about data mining of domestic call records see NSA call database. National Security Agency logo The NSA warrantless surveillance controversy (AKA Warrantless Wiretapping ) concerns surveillance of persons within the… …
