CONTRADICTION CHECKING

Computing

Source: compiled by the editor from various references; see credits.

Danish

konsistenskontrol (consistency checking, integrity checking), konsistensafprøvning (consistency checking, integrity checking). (various references)

Dutch

consistentiecontrole (consistency checking, integrity checking). (various references)

Finnish

eheysvarmistus (consistency checking, integrity checking). (various references)

French

outil de validation de la connaissance (consistency checking), maintien de la cohérence (consistency checking), détection de similitude (consistency checking). (various references)

German

Konsistenzüberprüfung (consistency checking, integrity checking). (various references)

Greek 

έλεγχος συνέπειας (consistency checking, integrity checking), έλεγχος ακεραιότητας (consistency checking, integrity checking), έλεγχος αντίφασης (consistency checking, integrity checking). (various references)

Italian

controllo della coerenza (consistency checking, integrity checking). (various references)

Pig Latin

ontradictioncay eckingchay

Portuguese

verificação de consistência (consistency checking, integrity checking). (various references)

Spanish

verificación de integridad (consistency checking, integrity checking), verificación de contradicción (consistency checking, integrity checking), verificación de consistencia (consistency checking, integrity checking). (various references)

Swedish

logisk kontroll (consistency checking, integrity checking). (various references)