User talk:Sanchitw

Automated reasoning
Thanks for your contributions to the Article Automated reasoning. It has improved a lot due to your effort. I modified it a bit and reduced the number of interwiki links. A common accordance concerning links says that usually only the first occurrence of a term is linked, every further occurrence of the same term is not linked. Red links indicate that the linked page does not exist. In that case search for a analogue phrase which may already exist. Instead of J.C. Shaw you may want to link to Cliff Shaw; instead of linking to Presburger’s decision procedur, the page Presburger arithmetic already exists, etc. For further reading you may find the articles Only make links that are relevant to the context and Red link helpful. Please read my comment as an advice and please continue contributing to wikipedia. -- Simon04 (talk) 21:01, 22 October 2010 (UTC)