Maintainer
61Automated theorem proving — (ATP) or automated deduction, currently the most well developed subfield of automated reasoning (AR), is the proving of mathematical theorems by a computer program. Decidability of the problem Depending on the underlying logic, the problem of… …
62Bash — Infobox Software name = Bash caption = Screenshot of bash and sh sessions demonstrating some features developer = Chet Ramey latest release version = 3.2.39 latest release date = release date|2008|04|30 programming language = C operating system …
63Nano (text editor) — infobox software name = GNU nano caption = nano 2.1.2 (SVN version) author = Chris Allegretta latest release version = 2.0.9 latest release date = September 6, 2008 latest preview version = 2.1.5 latest preview date = August 30, 2008 operating… …
64Trimurti — This article is about the Hindu gods. For the film, see Trimurti (film). Trimurti The Trimurti of the three Hindu Gods: Brahmā, Vishnu, and Shiva (left to right) at Ellora Caves The Hindu Trinity …
65David I of Scotland — David I King of the Scots ... (more) Reign April or May 1124 – 24 May 1153 Coronation Scone, April or May 1124 …
66RPM Package Manager — (RPM) Original author(s) Red Hat Developer(s) Community[1] Stable release 4.9.0 / March 2, 2011; 8 months ago ( …
67Theophany — For the Christian holiday, see Epiphany (holiday). For the given name, see Tiffany (given name). Death of Semele by Peter Paul Rubens …
68FVWM — Infobox Software name = FVWM caption = FVWM 1.24 developer = latest release version = 2.4.20 latest release date = December 9, 2006 latest preview version = 2.5.26 latest preview date = May 7 2008 operating system = Unix like programming language …
69Ion (window manager) — Infobox Software name = Ion caption = Ion in use developer = Tuomo Valkonen latest release version = ion 3 20081002 (stable) latest release date = October 2, 2008 operating system = Unix like use = Window Manager license = LGPL with non free… …
70Speedrun — A speedrun (IPA: IPA|/ˈspiːdˌɹʌn/) is a play through, or recording thereof, of a computer or video game performed with the intent of completing it as quickly as possible, optionally under certain prerequisites, mainly for the purposes of… …
