ensemble-support

· fiche TERMIUM Plus

Désignations

français
  • ensemble-support (correct,masculine noun)
anglais
  • set of support (correct)

    CONT: A set of support deduction is one in which each derived clause is a set of support resolvent. A set of support refutation is a set of support deduction of the entry clause.

Codes : pays ou zone où la désignation a cours (CH, FR, DE, EU = Union européenne, INT = usage international). Une désignation barrée est déconseillée.

Définitions

anglais
A subset g of a set d is called a set of support for d, if and only if g-d is satisfiable. A set of support resolvent is one in which at least one parent is selected from g or is a descendent of g.

Classement

Collections

Domaines

  • Intelligence artificielle

API

curl -H "Authorization: Token VOTRE_CLE" \
  "https://opendata.altius-group.ch/language/terminology/api/v1/concepts/termium-0340595f3368a970/"

Données : TERMIUM Plus, Bureau de la traduction, gouvernement du Canada. Licence du gouvernement ouvert – Canada.

Offrici un caffè Esplora i dati