TERMIUM Plus^®

Fiche 1,  Justifications,  Français

Fiche 1,  Justifications,  Espagnol

Fiche 2,  Justifications,  Anglais

Record number: 2, Textual support number: 1 OBS

A sequence of arcs where the terminal point of one arc is the initial point of the subsequent one, is called a course. If we consider lines rather than arcs, the analogue of a course is a chain.  2, fiche 2, Anglais, - chain

Fiche 2,  Justifications,  Français

Record number: 2, Textual support number: 1 DEF

Séquence d'arcs dans un graphe.  2, fiche 2, Français, - cha%C3%AEne

Fiche 2,  Justifications,  Espagnol

Fiche 3,  Justifications,  Anglais

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, fiche 3, Anglais, - ancestry%2Dfiltered%20resolution

Fiche 3,  Justifications,  Français

Fiche 3,  Justifications,  Espagnol