TERMIUM Plus^®

Record 1,  Textual support,  English

Record number: 1, Textual support number: 1 OBS

INITIAL clause : term standardized by the American National Standards Institute(ANSI).  2, record 1, English, - INITIAL%20clause

Record 1,  Textual support,  French

Record number: 1, Textual support number: 1 OBS

clause INITIAL : terme normalisé par l'AFNOR.  2, record 1, French, - clause%20INITIAL

Record 1,  Textual support,  Spanish

Record 2,  Textual support,  English

Record number: 2, Textual support number: 1 DEF

... policy clause under which goods are covered from the time they leave the consignor's warehouse(initial point of shipment) until the time they reach the consignee's warehouse(final point of shipment).  3, record 2, English, - warehouse%20to%20warehouse%20clause

Record 2,  Textual support,  French

Record number: 2, Textual support number: 1 DEF

Clause de la police garantissant les marchandises depuis leur sortie du magasin de l'expéditeur jusqu'à leur entrée dans le magasin du destinataire.  2, record 2, French, - clause%20de%20magasin%20%C3%A0%20magasin

Record 2,  Textual support,  Spanish

Record 3,  Textual support,  English

Record number: 3, Textual support number: 1 CONT

Linear resolution(also called ancestry-filtered resolution) is a slight generalization of input resolution. A linear resolvent is one in which at least one of the parents is either in the initial database or is an ancestor of the other parent. A linear deduction is one in which each derived clause is a linear resolvent. A linear refutation is a linear deduction of the empty clause(). Linear resolution takes its name from the linear shape of the proofs it generates. A linear deduction starts with a clause in the initial database(called the top clause) and produces a linear chain of resolutions.  1, record 3, English, - ancestry%2Dfiltered%20resolution

Record 3,  Textual support,  French

Record 3,  Textual support,  Spanish

Record 4,  Textual support,  English

Record number: 4, Textual support number: 1 CONT

Compulsive reflection is one way of ensuring that the higher-level axioms in a multilevel database are use in determining the course of lower-level inference. Although compulsive reflection is more expensive than universal subgoaling is, it is more reliable. Our definition of compulsive reflection assumes that, in addition to the metalevel axioms defining the desired baselevel behavior, the initial database contains an appropriate clause to seed its metalevel reasoning. The clause is obtained by applying the function newmeta to the initial baselevel database.  1, record 4, English, - compulsive%20reflection

Record 4,  Textual support,  French

Record number: 4, Textual support number: 1 OBS

Voir "réflexion" en mathématique et "compulsif" en psychologie.  1, record 4, French, - r%C3%A9flexion%20compulsive

Record 4,  Textual support,  Spanish