Wikipedia's first sentence called it “israeli computer scientist who received the turing award in 1996 "for seminal work introducing temporal logic i”. Today it says “israeli computer scientist and the 1996 turing award recipient”.
Measured, not asserted. Every count, date and revision on this page was taken from Wikipedia's own history and checked against the live article. The words quoted are theirs.
Machine-checked against the full current article on 2026-08-03.
We saved snapshots of this article over twenty years; you are reading the 2005 one. Red dashes: removed from Wikipedia since.Pale dots: rewritten; the numbered note shows what it says now.Red text: written in or rewritten since the previous snapshot.1 tap a number or a side note to jump between them
The opening as it read in 2005
Amir Pnueli Amir Pnueli (born April 22 , 1941 ) is an Israeli computer scientist who received the Turing Award in 1996 "for seminal work introducing temporal logic into computing science and for outstanding contributions to program and systems verification". Born in Nahalal , Israel, Pneuli received a Bachelor's degree in Mathematics at the Technion in Haifa , and Ph.D. in applied mathematics from the Weizmann Institute of Science . His thesis was on the topic of "Calculation of Tides in the Ocean". He switched to computer science during a stint as a post-doctoral fellow at Stanford University . He returned to Israel as a researcher and after a sequence of academic appointments became a professor at the Weizmann Institute. Pnueli has also founded two startup technology companies. He is married and has 3 children and 1 grandchild.1
This is Wikipedia's own text, saved in our repository. Their copy of it is revision 16177999.
The opening as it stood in 2010 7 passages from the previous snapshot no longer appear
Amir Pnueli ( ; April 22, 1941 – November 2, 2009) was an Israeli computer scientist .
Red text was written in or rewritten since the previous snapshot. Their copy is revision 363335592.
The opening as it stood in 2015
Amir Pnueli ( ; April 22, 1941 – November 2, 2009) was an Israeli computer scientist and the 1996 Turing Award recipient.
Red text was written in or rewritten since the previous snapshot. Their copy is revision 662361072.
The opening as it stood on October 6, 2023
Israeli computer scientist Amir Pnueli ( ; April 22, 1941 – November 2, 2009) was an Israeli computer scientist and the 1996 Turing Award recipient.
Red text was written in or rewritten since the previous snapshot. Their copy is revision 1170294329.
The opening as it stood in 2025
Israeli computer scientist Amir Pnueli ( Hebrew : אמיר פנואלי ; April 22, 1941 – November 2, 2009) was an Israeli computer scientist and the 1996 Turing Award recipient.
Red text was written in or rewritten since the previous snapshot. Their copy is revision 1297602160. This is our newest snapshot; the live article may have moved again since.
Today
Wikipedia's first sentence called it “israeli computer scientist who received the turing award in 1996 "for seminal work introducing temporal logic i”. Today it says “israeli computer scientist and the 1996 turing award recipient”. Read the current article and compare.
2005
2010
2015
2020
Oct '23
2025
Counts in the opening at each snapshot. Green: the word gained ground. Red: it was cut. Grey: no change.
What Wikipedia says this is
Every article opens by defining its subject. This one was redefined since 2005, and today's defining sentence is their current revision.
Then
israeli computer scientist who received the turing award in 1996 "for seminal work introducing temporal logic i
Now
israeli computer scientist and the 1996 turing award recipient
Struck red text is no longer in the article; dotted amber text was rewritten. Every revision id links to Wikipedia's copy; the text shown is our own saved copy. Data: /data. Wikipedia text is CC BY-SA; quoted for the record; not affiliated with Wikipedia.
