Changes related to "Gentzen's consistency proof"
This is a list of changes made recently to pages linked from a specified page (or to members of a specified category). Changes to pages on your watchlist are shown with a green bullet.
21 September 2014
17 September 2014
- (diff | hist) . . Mathematical logic; 20:59 . . (-45) . . Paul August (Undid revision 625995304 by 18.104.22.168 (talk) lInkspam)
- (diff | hist) . . Mathematical logic; 20:46 . . (+45) . . 22.214.171.124 (→External links)
15 September 2014
- (diff | hist) . . International Standard Book Number; 21:20 . . (+697) . . Makyen (Change link that was to a _very_ simplified definition of hyphenation to where the actual specification can be obtained. The very simplified version is deceptive (the claim here that the simplified version was the spec cost me _many_ hours). etc.)
- (diff | hist) . . m International Standard Serial Number; 11:02 . . (0) . . JacobiJonesJr (→Media ''vs'' Content: clean up, typo(s) fixed: iniciative → initiative (2), occured → occurred, 2000's → 2000s using AWB)
- (diff | hist) . . International Standard Book Number; 10:55 . . (+39) . . 126.96.36.199 (→How ISBNs are issued)
- (diff | hist) . . Ordinal number; 06:04 . . (+4) . . 188.8.131.52
- (diff | hist) . . Ordinal number; 06:03 . . (+19) . . 184.108.40.206
14 September 2014
- (diff | hist) . . Template:Citation; 22:41 . . (-245) . . Trappist the monk (Delete deprecated parameter test;)
- (diff | hist) . . Wikipedia:P; 11:24 . . (-73) . . Jdaloner (Removed "R from Unicode" tag since this is not a redirect to a "Wikipedia project page that names the character and describes its usage" as the template message claims.)