form removing
1Prenex normal form — A formula of the predicate calculus is in prenex[1] normal form if it is written as a string of quantifiers followed by a quantifier free part (referred to as the matrix). Every formula in classical logic is equivalent to a formula in prenex… …
2Skolem 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… …
3Re|form — «rih FRM», verb, noun, adjective. –v.t. 1. to make better: »Some prisons try to reform criminals instead of just punishing them. 2. to improve by removing faults or abuses: »to reform a city administration. 3. to crack and refine (petroleum or… …
4re|form — «rih FRM», verb, noun, adjective. –v.t. 1. to make better: »Some prisons try to reform criminals instead of just punishing them. 2. to improve by removing faults or abuses: »to reform a city administration. 3. to crack and refine (petroleum or… …
5Chomsky normal form — In computer science, a context free grammar is said to be in Chomsky normal form if all of its production rules are of the form: or or where A, B and C are nonterminal symbols, α is a terminal symbol (a symbol that represents a constant value), S …
6Case report form — A Case Report Form (or CRF) is a paper or electronic questionnaire specifically used in clinical trial research. The Case Report Form is the tool used by the sponsor of the clinical trial to collect data from each participating site. All data on… …
7short form — noun a) A word with the same meaning as another formed by removing one or more of the syllables of the longer word, and considered a word in its own right rather than an abbreviation. Tux is a short form of tuxedo . b) Particularly in Slavonic… …
8back-form — 1. noun A back formation; a word formed by removing a perceived morpheme from an older word. 2. verb To form a word by a back formation process …
92005 English cricket season (1-14 May) — See also: 2005 English cricket season The period of the 2005 English cricket season between 1 and 14 May started with one day games played on the 1 and 2 May. Middlesex established themselves at the top of Division One after winning their first… …
102005 English cricket season (1–14 May) — See also: 2005 English cricket season The period of the 2005 English cricket season between 1 and 14 May started with one day games played on 1 and 2 May. Middlesex established themselves at the top of Division One after winning their first three …
