From Wikipedia, the free encyclopedia

Database Vandalism

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.

Deepmath ( talk) 04:48, 19 July 2009 (UTC) reply

From Wikipedia, the free encyclopedia

Database Vandalism

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.

Deepmath ( talk) 04:48, 19 July 2009 (UTC) reply


Videos

Youtube | Vimeo | Bing

Websites

Google | Yahoo | Bing

Encyclopedia

Google | Yahoo | Bing

Facebook