Nevertheless, verification of the g

Nevertheless, verification of the global property with observer OBS1 is far longer than verification of the four elementary properties. This latter solution, that is only possible for the reduced model, shall be privileged because it strongly speeds up verification.

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

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

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

อย่างไรก็ตาม การตรวจสอบคุณสมบัติสากลกับนักการ OBS1 จะไกลเกินการตรวจสอบคุณสมบัติระดับประถม 4 วิธีหลังนี้ ที่มีเฉพาะรุ่นลด จะได้รับสิทธิพิเศษ เพราะมันเร็วขึ้นตรวจสอบอย่างยิ่ง

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

อย่างไรก็ตามการตรวจสอบความถูกต้องของที่พักระดับโลกซึ่งมีผู้สังเกตการณ์ 1 OBs Bar - เพลิดเพลินใจอยู่ห่างเกินกว่าการตรวจสอบความถูกต้องของสี่คุณสมบัติขั้นพื้นฐานได้ โซลูชันหลังนี้ว่ามีความเป็นไปได้เท่านั้นสำหรับรุ่นลดลงจะได้รับประโยชน์เพราะมันเป็นอย่างมากความเร็วสูงสุดการตรวจสอบความถูกต้อง