A sequent is a formalized statement of provability used within sequent calculus. Sequent may also refer to: Sequent (MUD), text-based online game software Sequent…
A sequent is a formalized statement of provability used within sequent calculus.
Sequent may also refer to:
Sequent (MUD), text-based online game software Sequent Computer Systems, a defunct computer hardware company Sequent calculus
See also Sequence (disambiguation) Sequential Sequentional Sequention Sequentor
Gebaseerd op: Wikipedia — Sequent (disambiguation) · auteursgeschiedenis.
Tekst: CC BY-SA 4.0.
Wikisyntaxis en sjablonen zijn verwijderd; langere teksten zijn ingekort.