User contributions for Cloudyed
Appearance
A user with 20 edits. Account created on 20 June 2008.
19 October 2018
- 09:0109:01, 19 October 2018 diff hist +355 Talk:Amazon River No edit summary
- 09:0109:01, 19 October 2018 diff hist −138 Amazon River Removed shrunk head
5 November 2015
- 13:1613:16, 5 November 2015 diff hist −23 Art Nouveau Undid revision 689177928 by 179.26.195.38 (talk)
21 December 2010
- 09:3509:35, 21 December 2010 diff hist +9 m Software hardware gets faster not because of Moore's law but as predicted by Moore's law
22 February 2009
- 01:0301:03, 22 February 2009 diff hist +15 m Controlled natural language →Languages: Added Seaspeak
- 01:0001:00, 22 February 2009 diff hist 0 m English language →Constructed varieties of English: correcting my coding mistake
- 00:5700:57, 22 February 2009 diff hist +35 m English language →Constructed varieties of English: The designer of Seaspeak does not appear in the referred page.
8 February 2009
- 17:3917:39, 8 February 2009 diff hist +288 Popular Undid revision 269220345 by 173.70.73.180 (talk)
11 September 2008
- 00:0400:04, 11 September 2008 diff hist +44 m Finite-state transducer →Operations on finite state transducers
10 September 2008
- 23:5123:51, 10 September 2008 diff hist −30 m Finite-state transducer →Operations on finite state transducers
- 23:4923:49, 10 September 2008 diff hist +381 Finite-state transducer →Operations on finite state transducers: added note of clarification on the notation for composition
10 July 2008
- 17:4017:40, 10 July 2008 diff hist +2 m Resolution (logic) Corrected a link to Davis–Putnam algorithm.
25 June 2008
- 09:4709:47, 25 June 2008 diff hist +1 Grammar The language does not need to be spoken to be subject of study by grammars.
24 June 2008
- 14:2114:21, 24 June 2008 diff hist −6 Word Undid revision 221427235 by 202.54.176.51 (talk)
- 14:2014:20, 24 June 2008 diff hist +679 Word Undid revision 221427284 by 202.54.176.51 (talk)
- 14:2014:20, 24 June 2008 diff hist −2,470 Word Undid revision 221427373 by 202.54.176.51 (talk)
21 June 2008
- 09:3109:31, 21 June 2008 diff hist +427 Talk:Temporal logic →Name
- 09:1109:11, 21 June 2008 diff hist −2 Temporal logic Predicate logic is different from first order logic. Substituted.
20 June 2008
- 21:5121:51, 20 June 2008 diff hist +141 N User:Cloudyed ←Created page with '{{userpage}} {{Boxboxtop}} {{user it-N}} {{user en-2}} {{Boxboxbottom}} I am a master student of computer science. I just joined wikipedia.' current
- 21:4121:41, 20 June 2008 diff hist −53 First-order logic →Metalogical theorems of first-order logic