Klausel

disjonction logique- fonction booléenne formée exclusivement par la disjonction de littéraux

Boolesche Funktion, die ausschließlich durch die disjunktive Verknüpfung von Literalen gebildet wird

clause contractuelle- disposition particulière précisément définie dans des contrats ou plus rarement aussi dans des lois ou règlements

genau definierte Einzelbestimmung in Vertragswerken oder seltener auch in Gesetzen oder Verordnungen

formule exécutoire- mention apposée sur l'expédition exécutoire d'un titre comme condition de l'exécution forcée par la justice

Vermerk auf der vollstreckbaren Ausfertigung eines Titels als Voraussetzung für die Zwangsvollstreckung durch die Justiz