User contributions for 81.147.0.0/16
Results for 81.147.0.0/16 block log
6 August 2014
- 16:3116:31, 6 August 2014 diff hist −1 Cylindrification 81.147.117.94 talk No edit summary current
- 16:1616:16, 6 August 2014 diff hist +1 Utm theorem 81.147.117.94 talk No edit summary current
13 July 2014
- 18:1118:11, 13 July 2014 diff hist +1 Representable functor 81.147.144.128 talk →Definition current
16 June 2014
- 03:3203:32, 16 June 2014 diff hist −1 Complete Heyting algebra 81.147.148.76 talk No edit summary current
10 February 2014
- 23:1623:16, 10 February 2014 diff hist −1 Grothendieck universe 81.147.151.97 talk →Grothendieck universes and inaccessible cardinals
4 February 2014
26 January 2014
- 15:1015:10, 26 January 2014 diff hist +34,660 N Formal concept analysis 81.147.129.96 talk →Contexts and concepts
17 January 2014
- 17:1017:10, 17 January 2014 diff hist +62,205 N Abductive reasoning 81.147.165.192 talk →Applications: ce ref
9 January 2014
- 05:1805:18, 9 January 2014 diff hist +9,145 N Compactness theorem 81.147.144.181 talk →Proofs
6 January 2014
- 03:3003:30, 6 January 2014 diff hist +29,049 N Structure (mathematical logic) 81.147.144.181 talk →Homomorphisms
4 January 2014
- 01:3701:37, 4 January 2014 diff hist +5,106 N Class (set theory) 81.147.119.151 talk No edit summary
1 January 2014
- 01:5701:57, 1 January 2014 diff hist +18,395 N Axiom of regularity 81.147.119.151 talk →No infinite descending sequence of sets exists
17 December 2013
- 00:5400:54, 17 December 2013 diff hist +17,253 N Well-formed formula 81.147.151.177 talk No edit summary
1 December 2013
- 22:5522:55, 1 December 2013 diff hist +16,254 N Akaike information criterion 81.147.66.247 talk →References: include translated title for Takeuchi (1976)
29 November 2013
- 23:3923:39, 29 November 2013 diff hist +4,816 N Adaptive system 81.147.114.44 talk No edit summary
14 November 2013
- 17:3617:36, 14 November 2013 diff hist +5,576 N ELEMENTARY 81.147.147.54 talk No edit summary
7 July 2013
- 00:4600:46, 7 July 2013 diff hist +4,461 N Character group 81.147.114.131 talk No edit summary current