Page history
8 May 2024
27 March 2024
4 October 2023
1 August 2022
9 January 2022
Text replacement - "<ref name="[\w]{1,30}"><\/ref> " to " "
m−29
Text replacement - "<ref name="[\w]{1,50}" \/>" to " "
m−21
16 June 2021
26 February 2021
22 February 2021
Text replacement - ". * ... * <B>Counter" to ". ** ... * <B>Counter"
m+1
Text replacement - "]]. * <B>Counter-Example" to "]]. * ... * <B>Counter-Example"
m+6
Text replacement - "]]. * <B>Example" to "]]. ** ... * <B>Example"
m+7
23 December 2019
Remove links to pages that are actually redirects to this page.
m+28
Remove links to pages that are actually redirects to this page.
m+37
15 January 2019
21 December 2018
Text replacement - "(1996)." to "(1996)."
m+4
Text replacement - "(1990)" to "(1990)"
m+12
Text replacement - "(2011)." to "(2011)."
m+4
Text replacement - "(1995)." to "(1995)."
m+4
Text replacement - "(1999)." to "(1999)."
m+8
Text replacement - "(2000)." to "(2000)."
m+4
ContinuousReplacement
+1
Text replacement - "(2004)." to "(2004)."
m+8