|
"a formalization of the statement contains a bound variable in this class"@en
"formalisation de la formule ou du théorème contient une variable close du type du sujet"@fr
"formalizace tohoto vědeckého tvrzení obsahuje vázanou proměnnou pro uvedenou třídu"@cs
"formalización de la fórmula o del teorema contiene una variable determinada en esta clase"@es
"formül veya teoremin resmileştirilmesi konu türünün kapalı bir değişkenini içerir"@tr
"hormalización dela fórmula o del teorema retieni una variabli determiná nesta crassi"@ext
"nhazi ọkwa nke nkwupụta ahụ nwere mgbanwe dị iche iche na klaasị a"@ig
"формализация утверждения содержит связанную переменную, пробегающую данное множество значений"@ru
"формалізація твердження містить зв'язану змінну, що пробігає цю множину значень"@uk
"이 명제의 한 형식화에 다음 종류에 국한된 제한 변수가 등장함"@ko
|