TERMIUM Plus®
The Government of Canada’s terminology and linguistic data bank.
INITIAL CHAIN [2 records]
Record 1 - internal organization data 2012-03-06
Record 1, English
Record 1, Subject field(s)
- Operations Research and Management
- Mathematics
Record 1, Main entry term, English
- chain
1, record 1, English, chain
correct
Record 1, Abbreviations, English
Record 1, Synonyms, English
Record 1, Textual support, English
Record number: 1, 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, record 1, English, - chain
Record 1, French
Record 1, Domaine(s)
- Recherche et gestion opérationnelles
- Mathématiques
Record 1, Main entry term, French
- chaîne
1, record 1, French, cha%C3%AEne
correct, feminine noun
Record 1, Abbreviations, French
Record 1, Synonyms, French
Record 1, Textual support, French
Record number: 1, Textual support number: 1 DEF
Séquence d'arcs dans un graphe. 2, record 1, French, - cha%C3%AEne
Record 1, Spanish
Record 1, Textual support, Spanish
Record 2 - internal organization data 1988-11-03
Record 2, English
Record 2, Subject field(s)
- Artificial Intelligence
Record 2, Main entry term, English
- ancestry-filtered resolution
1, record 2, English, ancestry%2Dfiltered%20resolution
correct
Record 2, Abbreviations, English
Record 2, Synonyms, English
- linear resolution 1, record 2, English, linear%20resolution
correct
Record 2, Textual support, English
Record number: 2, 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 2, English, - ancestry%2Dfiltered%20resolution
Record 2, French
Record 2, Domaine(s)
- Intelligence artificielle
Record 2, Main entry term, French
- résolution linéaire
1, record 2, French, r%C3%A9solution%20lin%C3%A9aire
correct, feminine noun
Record 2, Abbreviations, French
Record 2, Synonyms, French
- résolution par filiation 1, record 2, French, r%C3%A9solution%20par%20filiation
correct, feminine noun
Record 2, Textual support, French
Record 2, Spanish
Record 2, Textual support, Spanish
Copyright notice for the TERMIUM Plus® data bank
© Public Services and Procurement Canada, 2025
TERMIUM Plus®, the Government of Canada's terminology and linguistic data bank
A product of the Translation Bureau
Features
Language Portal of Canada
Access a collection of Canadian resources on all aspects of English and French, including quizzes.
Writing tools
The Language Portal’s writing tools have a new look! Easy to consult, they give you access to a wealth of information that will help you write better in English and French.
Glossaries and vocabularies
Access Translation Bureau glossaries and vocabularies.
- Date Modified: