However, we flattened this tree int

However, we flattened this tree into a linear presentation which necessitates
the use of pointers as seen in lines 3 and 4 above. These pointers allow
us to recreate the actual proof tree. Throughout this text, we will use the
flattened version of presenting proofs. That way you have to concentrate only
on finding a proof, not on how to fit a growing tree onto a sheet of paper.

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

Tuy nhiên, chúng ta dẹp cây này thành một bài thuyết trình tuyến tính mà đòi hỏi
việc sử dụng con trỏ như trong dòng 3 và 4 ở trên. Những gợi ý cho phép
chúng ta tái tạo lại cây bằng chứng thực tế. Trong suốt văn bản này, chúng tôi sẽ sử dụng
phiên bản phẳng trình bày chứng minh. Bằng cách đó bạn có để chỉ tập trung
vào việc tìm kiếm một bằng chứng, không làm thế nào để phù hợp với một cái cây đang lớn lên một tờ giấy.