Sequent (значения) - Sequent (disambiguation)
А последовательный - формализованное утверждение доказуемости, используемое в секвенциальном исчислении.
Секвент может также относиться к:
- Последовательность (MUD), текстовые онлайн-игры
- Sequent Computer Systems, несуществующая компания по производству компьютерного оборудования
Если внутренняя ссылка привел вас сюда, вы можете изменить ссылку, чтобы она указывала прямо на предполагаемую статью. | Эта устранение неоднозначности на странице перечислены статьи, связанные с заголовком Секвент.