t, is basically a comparison, or ma

t, is basically a comparison, or matching, of terms with each other.
Because the process of proving a subgoal is done through a propositionmatching process, it is sometimes called matching. In some cases, proving a
subgoal is called satisfying that subgoal.

Kết quả (Việt) 1:

t, về cơ bản là một so sánh, hoặc kết hợp, của các điều khoản với nhau.Bởi vì quá trình chứng minh một subgoal được thực hiện thông qua một quá trình propositionmatching, nó đôi khi được gọi là phù hợp với. Trong một số trường hợp, chứng minh mộtsubgoal được gọi là đáp ứng trong đó subgoal.

Kết quả (Việt) 2:

t, về cơ bản là một sự so sánh, hoặc phù hợp, điều kiện với nhau.
Bởi vì quá trình chứng minh một subgoal được thực hiện thông qua một quá trình propositionmatching, đôi khi nó được gọi là phù hợp. Trong một số trường hợp, chứng minh một
subgoal được gọi là đáp ứng subgoal đó.