Owen Astrachan: Revision history


For any version listed below, click on its date to view it. For more help, see Help:Page history and Help:Edit summary. (cur) = difference from current version, (prev) = difference from preceding version, m = minor edit, → = section edit, ← = automatic edit summary

(newest | oldest) View (newer 50 | ) (20 | 50 | 100 | 250 | 500)

9 April 2024

8 April 2024

4 April 2024

  • curprev 01:5701:57, 4 April 2024DeltaWafer talk contribs 11,243 bytes +24 An extra link was provided in the 'See also' section, referencing Model Elimination, which are proof procedures that allow for Automated Theorem Proving. Owen Astrachan wrote an academic paper using and discussing Model Elimination which further demonstrates its relevance to the page. undo

1 April 2024

30 March 2024

24 March 2024

  • curprev 03:0403:04, 24 March 2024SophiaLeeman talk contribsm 11,328 bytes +20 I have edited the See Also Section to include a reference to the number 1024. As a student of Owen Astrachan, I know that this number is very important to both him and computer science students. undo

7 February 2024

30 August 2023

  • Report bugs. | Suggested by Corvus florensis | #UCB_webform 1189/2500 undo

13 August 2023

11 April 2023

6 April 2023

4 April 2023

3 April 2023

2 January 2023

6 May 2022

7 April 2022

4 April 2022

3 April 2022

2 April 2022

1 April 2022

1 September 2021

30 July 2021

  • curprev 17:0017:00, 30 July 2021Chris the speller talk contribsm 9,458 bytes 0 replaced: Assistant Professor → assistant professor, Director → director (2), Department of Computer Science → department of computer science, director of Undergraduate Studies → director of undergraduate studies (2), etc. undo Tag: AWB

18 March 2021

27 February 2021

14 January 2021

17 December 2019

9 September 2019

(newest | oldest) View (newer 50 | ) (20 | 50 | 100 | 250 | 500)