User contributions for 81.155.194.151
Appearance
Results for 81.155.194.151 talk block log logs global block log filter log
14 May 2013
- 16:4616:46, 14 May 2013 diff hist −1 Typed lambda calculus →Kinds of typed lambda calculi
- 16:2616:26, 14 May 2013 diff hist +5 Lambda calculus →Lambda terms
- 16:2516:25, 14 May 2013 diff hist −5 Lambda calculus →Lambda terms
4 May 2013
3 May 2013
- 10:0410:04, 3 May 2013 diff hist −1 Algebraic number →Numbers defined by radicals
- 10:0310:03, 3 May 2013 diff hist −1 Ultrafilter →Ultrafilters on ω
- 10:0210:02, 3 May 2013 diff hist −1 Ultrafilter →Ordering on ultrafilters
- 10:0110:01, 3 May 2013 diff hist +1 Ultrafilter →Special case: Boolean algebra
- 10:0110:01, 3 May 2013 diff hist 0 Ultrafilter →Formal definition
- 09:4209:42, 3 May 2013 diff hist −1 Wikipedia:WikiProject Grammar No edit summary
- 09:4109:41, 3 May 2013 diff hist −1 Set (mathematics) →Axiomatic set theory
- 09:4009:40, 3 May 2013 diff hist −1 Set (mathematics) →Complements
- 09:4009:40, 3 May 2013 diff hist −1 Set (mathematics) →Intersections
- 09:3809:38, 3 May 2013 diff hist −1 Set (mathematics) →Unions
- 09:3709:37, 3 May 2013 diff hist −1 Set (mathematics) →Special sets
- 09:3409:34, 3 May 2013 diff hist +1 Fibonacci sequence →Combinatorial identities
- 09:3409:34, 3 May 2013 diff hist −1 Fibonacci sequence →Limit of consecutive quotients
- 09:3209:32, 3 May 2013 diff hist −1 Normal distribution No edit summary
- 08:4908:49, 3 May 2013 diff hist −1 Aqueous cream →Indications
- 08:4608:46, 3 May 2013 diff hist +1 Aqueous cream No edit summary
1 May 2013
29 April 2013
- 21:3121:31, 29 April 2013 diff hist −2 Algebraic number →Algebraic integers
- 21:2921:29, 29 April 2013 diff hist −1 Algebraic number →Numbers defined by radicals
26 April 2013
- 20:4620:46, 26 April 2013 diff hist +2 Unordered pair No edit summary
- 10:4510:45, 26 April 2013 diff hist −1 NC (complexity) No edit summary
- 10:4110:41, 26 April 2013 diff hist 0 Complexity class →Relationships between complexity classes
- 10:4110:41, 26 April 2013 diff hist 0 Complexity class →Closure properties of classes
- 10:4010:40, 26 April 2013 diff hist −1 Complexity class →Closure properties of classes
- 10:3610:36, 26 April 2013 diff hist −4 P (complexity) No edit summary
- 10:3410:34, 26 April 2013 diff hist −1 P (complexity) No edit summary
- 10:2710:27, 26 April 2013 diff hist −1 Savitch's theorem No edit summary
25 April 2013
- 22:5922:59, 25 April 2013 diff hist −1 Co-NP No edit summary
- 22:5822:58, 25 April 2013 diff hist −1 Co-NP No edit summary
- 22:5722:57, 25 April 2013 diff hist −1 Co-NP No edit summary
- 22:5622:56, 25 April 2013 diff hist −1 Co-NP No edit summary
- 22:5222:52, 25 April 2013 diff hist 0 NP (complexity) No edit summary
- 22:5122:51, 25 April 2013 diff hist +1 NP (complexity) No edit summary
24 April 2013
- 17:3317:33, 24 April 2013 diff hist −5 Logical constant No edit summary
- 17:3117:31, 24 April 2013 diff hist +1 Non-logical symbol No edit summary
- 15:4215:42, 24 April 2013 diff hist +1 Walter Savitch No edit summary
- 15:3715:37, 24 April 2013 diff hist −1 Nondeterministic Turing machine →Resolution of multiple rules
23 April 2013
- 23:1823:18, 23 April 2013 diff hist −1 Domain theory →Directed sets as converging specifications
- 23:1623:16, 23 April 2013 diff hist +3 Complete partial order →Definitions
- 22:5422:54, 23 April 2013 diff hist −1 Denotational semantics No edit summary
- 00:0000:00, 23 April 2013 diff hist −1 Ultrafilter →Types and existence of ultrafilters
17 September 2006
- 17:0417:04, 17 September 2006 diff hist +129 Gout →Gout in fiction