Revision as of 07:42, 23 January 2024 edit David Eppstein (talk \| contribs) Autopatrolled, Administrators 235,663 edits loop invariants ← Previous edit		Revision as of 17:40, 25 January 2024 edit undo Citation bot (talk \| contribs) Bots 5,867,235 edits Added s2cid. \| Use this bot. Report bugs. \| Suggested by Abductive \| Category:Automated theorem proving \| #UCB_Category 20/39 Next edit →
Line 34: \| series = Monographs in Computer Science \| title = Programming in the 1990s \| year = 1990~~}}</ref>~~\| s2cid = 1509875 }}</ref> == Example ==

Fresh variable: Difference between revisions