Sequent (disambiguation) — A sequent is a formalized statement of provability that is frequently used when specifying calculi for deduction in proof theory.Sequent may also refer to:* Sequent (MUD), a MU* server * Sequent Computer Systems, a defunct computer hardware… … Wikipedia
MUD trees — The MUD trees below depict hierarchies of derivation among MUD codebases. Solid lines between boxes indicate code relationships, while dotted lines indicate conceptual relationships. Dotted boxes indicate that the codebase is outside the family… … Wikipedia
MUD — This article is about a type of online computer game. For other uses, see Mud (disambiguation) … Wikipedia
MUD client — A MUD client is a computer application used to connect to a MUD, a type of multiplayer online game. Generally, a MUD client is a very basic telnet client that lacks VT100 terminal emulation and the capability to perform telnet negotiations. On… … Wikipedia
Mud Master 2000 — This article is about Mud Master 2000. For Muscle Media 2000, see MM2K (magazine). Mud Master 2000 (MM2K) is a 32 bit text based MUD client designed to run under a Windows GUI. It is configurable with a mouse or keyboard driven interface for use… … Wikipedia
Discworld MUD — Developer(s) David Pinkfish Bennett, Craig Furball Richmond, Sean A. Lynscar Reith, Evan Scott, Derek Ceres Harding, Jake Sojan Greenland, project community … Wikipedia
Nuclear War MUD — Developer(s) Project community Engine MudOS Platform(s) … Wikipedia
Merc (MUD) — Merc is a MUD engine derived from Copper, which in turn was based on DikuMUD. First released in March 1991, DikuMUD served as the basis for many later MUDs. In his book Designing Virtual Worlds,[1] Richard Bartle (co creator of the original MUD)… … Wikipedia
Comparison of MUD clients — Contents 1 Operating systems 2 Protocol support 3 Scripting support 4 Notes Operating systems The operating systems the client … Wikipedia
Consider (MUD) — Consider is, in MUDs (particularly DikuMUDs and EverQuest), a player character capability, usually implemented as a command, for evaluating the likely outcome of engaging in combat with a potential enemy.[1][2][3] It is often abbreviated con.[2] … Wikipedia