رشته
برابر انگلیک (انگلیسی): sequent


تاربرگ‌های پیموده‌شده در این نشست: بایستگی‌گرایی ⟩ بنداشت جداسازی ⟩ بَرخه‌شمار ⟩ گویایی‌های پیوند ⟩ بنداشت جایگزینی ⟩ پارادخش اسکولم