Talk:Loop variant
Add topicLatest comment: 17 years ago by Deepmath in topic Database Vandalism
 | This article has not yet been rated on Wikipedia's content assessment scale. It is of interest to the following WikiProjects: | |||||||||||||||||
| ||||||||||||||||||
Database Vandalism
[edit]I corrected an instance of vandalism in this article as follows: The following sentence, in all revisions of the article
- While we have shown that every loop that terminates has a variant, this does not mean that the well-foundedness of the loop iteration can be proven.
had been vandalised to read
- While we have shown that every loop that terminates has an invariant, this does not mean that the well-foundedness of the loop iteration can be proven.