Anglais ⇄ Allemand Danois Espagnol Finnois Français Grec Italien Langues chinoises Néerlandais Portugais Russe Suédois +

partial correctness contraintes
informat.	частичная правильность
progr.	частичная корректность (свойство программы вычислять желаемый результат при условии, что она завершается ssn)