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 Wikipedia:Only make links that are relevant to the context#What generally should be linked and Wikipedia:Red link helpful. Please read my comment as an advice and please continue contributing to wikipedia. -- Simon04 (talk) 21:01, 22 October 2010 (UTC)