skolémiser

Désignations

français	skolémiser (correct) CONT: On doit skolémiser la variable 'y' qui est sous le quantificateur [...] On pourrait introduire n'importe quelle fonction de Skolem [...]
anglais	skolemize (proposal) OBS: See record ""skolemization.""

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.

Classement

Collections

Électronique et informatique informatics

Domaines

Intelligence artificielle

API

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

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