For which they give a proof of the

For which they give a proof of the convergence that is, termination and confluence .

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

ที่จะให้หลักฐานบรรจบกันที่ สิ้นสุด และบรรจบ

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

ที่พวกเขาให้หลักฐานของการบรรจบกันนั่นคือการเลิกจ้างและบรรจบกัน

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

ที่พวกเขาได้ให้หลักฐานของการบรรจบกันคือ การเลิกจ้าง และบรรจบกัน