a branching temporal logic where hi

a branching temporal logic where histories have a tree structure with branching to alternative successor states

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

ตรรกะแยกชั่วขณะที่ประวัติมีโครงสร้างต้นไม้ที่มีกิ่งก้านที่จะเลือกทายาทฯ

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

ตรรกะขมับโยงหัวข้อที่หากมีโครง มีสาขาการสืบทดแทนอเมริกา

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

ตรรกะ Temporal Key Integrity Protocol ให้เห็นโครงข่ายที่มีโครงสร้างแบบ Tree ทางประวัติศาสตร์ที่มีให้เห็นโครงข่ายในการสืบทอดทางเลือกรัฐ