forme clausale

Désignations

français	forme clausale (correct,feminine noun) CONT: On peut représenter une formule en forme normale conjonctive par un ensemble de clauses, on parle alors de forme clausale.
anglais	clausal form (correct) CONT: The logic used to represent knowledge in logic programming is clausal form which is a subset of first-order predicate logic.

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 normal form for predicate calculus formulae borrowed from mathematical logic, and much used in automatic theorem proving.

Classement

Collections

Électronique et informatique informatics

Domaines

Langages de programmation

API

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

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