are all the clauses with p in its h

are all the clauses with p in its head that are generated in Step 1 with each Ei of the form
then Comp(II) contains the first order formula

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

có tất cả các điều khoản với p trong đầu của nó được tạo ra ở bước 1 với mỗi Ei của biểu mẫusau đó Comp(II) chứa công thức đặt hàng đầu tiên

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

là tất cả các điều khoản với p trong đầu của nó được tạo ra ở bước 1 với mỗi Ei của các hình thức
sau đó Comp (II) chứa công thức đặt hàng đầu tiên