C and θ is the substitution [F1:=T1

C and θ is the substitution [F1:=T1,...,Fn:=Tn].

ผลลัพธ์ (ไทย) 1:

C และθคือ การแทนที่ [F1: = T1,..., Fn: = Tn]

ผลลัพธ์ (ไทย) 2:

C และθคือทดแทน [F1 = T1, ... , Fn = Tn]