The first three of these are subsum

The first three of these are subsumed in our third aspect above; the last we see in our fourth aspect, that is in interaction between the problem and the solver. The representation system in which the problem has been presented is also likely to have an influence on the approach to proof

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

สามแรกของเหล่านี้เป็น subsumed ในด้านที่สามของเราข้างบน สุดท้ายเราเห็นของเรากว้างสี่ ที่เป็นปฏิสัมพันธ์ระหว่างปัญหาและจาก solver ระบบตัวแทนซึ่งได้เสนอปัญหาก็น่าจะมีผลต่อวิธีการพิสูจน์

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

ครั้งแรกที่สามเหล่านี้จะวิทยด้านที่สามของเราข้างต้น สุดท้ายที่เราเห็นในด้านที่สี่ของเราที่อยู่ในการปฏิสัมพันธ์ระหว่างปัญหาและการแก้ ระบบการแสดงซึ่งปัญหาที่เกิดขึ้นได้รับการเสนอนอกจากนี้ยังมีแนวโน้มที่จะมีอิทธิพลต่อวิธีการที่พิสูจน์ได้

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

สามตัวแรกของเหล่านี้เป็นวิทยในที่สามของเราด้านข้าง ครั้งสุดท้ายที่เราได้เห็นในด้านที่สี่ของเราที่เป็นปฏิสัมพันธ์ระหว่างปัญหาและการแก้ แทนระบบที่ปัญหาได้รับการเสนอ นอกจากนี้ยังมีแนวโน้มที่จะส่งผลกระทบต่อวิธีการพิสูจน์