7 August 2024
- 15:0715:07, 7 August 2024 diff hist +326 m Edmund M. Clarke →Work: Added citation for Analytica system, which is from 1998. Wikilink to Resolution (logic) current
22 March 2024
- 17:3617:36, 22 March 2024 diff hist +52 Une souris verte Translation tag. Wikified reference to War in the Vendée
15 March 2024
- 10:0510:05, 15 March 2024 diff hist +215 m Feferman–Vaught theorem reference to theorem of Łoś Tag: Visual edit: Switched
6 February 2024
- 13:5913:59, 6 February 2024 diff hist +22 m True arithmetic citation to arithmetic with multiplication only
24 October 2023
- 22:2122:21, 24 October 2023 diff hist +44 m Symmetric difference clarify the existing stated connection with addition modulo 2 Tag: Reverted
13 October 2023
- 18:0518:05, 13 October 2023 diff hist +26 m Cartesian product →Cartesian products of several sets
- 18:0118:01, 13 October 2023 diff hist +139 m Cartesian product →Set-theoretic definition: linked to ordered pair definition that justifies the powersets in the set builder notation
19 September 2023
- 09:4309:43, 19 September 2023 diff hist +21 m Formal methods →See also: formal science
12 September 2023
- 12:2212:22, 12 September 2023 diff hist +48 m Formal verification Horn clauses alongside transition systems; better link to OS kernel
- 10:3310:33, 12 September 2023 diff hist +332 m Formal verification Added relationship to formal methods (and its article); mentioned two key industrial results in the opening paragraph.
- 09:5609:56, 12 September 2023 diff hist +471 m Formal verification Established links to electronic design automation, software verification, and the common criteria
- 09:3509:35, 12 September 2023 diff hist +314 m Formal verification Added a citation, simplified and generalized the definitions to ensure the definition is broad enough. Tag: Disambiguation links added
21 August 2023
- 19:4819:48, 21 August 2023 diff hist +37 m Frege system →Examples: suggested one place for inline citation of a claim
3 August 2023
- 15:0615:06, 3 August 2023 diff hist +328 m Software verification Minor simplifications and addition of ACM classification reference. Tag: Visual edit: Switched
5 July 2023
- 22:0522:05, 5 July 2023 diff hist +567 Yuri Gurevich Added a biographical article written by other prominent scientists. Tag: Visual edit
11 March 2023
- 18:5018:50, 11 March 2023 diff hist +143 Jacques Dubochet Added reserved parking place photo, showing the bicycle and a plaque indicating Nobel Prize
31 October 2022
- 21:3121:31, 31 October 2022 diff hist +48 Eugen Rochko Submitting using AfC-submit-wizard
- 21:3021:30, 31 October 2022 diff hist +62 Eugen Rochko →Leben Tag: Visual edit: Switched
- 21:2821:28, 31 October 2022 diff hist +16 Talk:Eugen Rochko No edit summary
- 21:2421:24, 31 October 2022 diff hist +21 Talk:Eugen Rochko →Author of Mastodon; already has German page.
- 20:5220:52, 31 October 2022 diff hist +216 Eugen Rochko Submitting using AfC-submit-wizard
- 20:5220:52, 31 October 2022 diff hist +26 Talk:Eugen Rochko Adding WikiProject tags using AfC-submit-wizard
- 20:5220:52, 31 October 2022 diff hist +319 Talk:Eugen Rochko →Author of Mastodon; already has German page.: new section Tag: New topic
- 20:5020:50, 31 October 2022 diff hist 0 N Talk:Eugen Rochko Adding WikiProject tags (assisted)
- 20:4820:48, 31 October 2022 diff hist +2,650 N Eugen Rochko Content in this edit is from the existing German Wikipedia article about the same person de: Eugen Rochko, https://de.wikipedia.org/wiki/Eugen_Rochko
- 20:2420:24, 31 October 2022 diff hist +321 m Mastodon (social network) Linki to Hacker News post and the German page of the original author.
12 September 2022
- 09:0509:05, 12 September 2022 diff hist −40 Ordered pair Removed apparently wrong claim that Mizar's TG uses short definition, but added TG and the article in the list of "See also" links.
9 September 2022
- 09:0309:03, 9 September 2022 diff hist +94 m Term algebra →Decidability: Expanded on citation that was the basis of this claim.
- 08:5908:59, 9 September 2022 diff hist +941 Talk:Term algebra →Decidability: Reply Tag: Reply
- 08:1108:11, 9 September 2022 diff hist +564 Quantifier elimination →References: Added two more references on quantifier elimination
27 June 2022
- 18:0918:09, 27 June 2022 diff hist +1 m Two-element Boolean algebra →Metatheory: replaced 'theorem' with 'identity', as theorems of more general form could also be viewed as theorems and are not covered by the metatheorem
- 18:0718:07, 27 June 2022 diff hist +706 Two-element Boolean algebra →Metatheory: Not all properties are identities; clarified and gave pointers to what differentiates other boolean algebras from 2.
31 May 2022
- 11:3111:31, 31 May 2022 diff hist +1 Minkowski's theorem No edit summary Tags: Mobile edit Mobile app edit Android app edit
14 May 2022
- 14:1614:16, 14 May 2022 diff hist −14 m Syngenta Clarified the plain text name to correspond to the target article name
12 May 2022
- 08:0208:02, 12 May 2022 diff hist +381 Plasmalogen →Possible disease links: Citation to a recent article in Front. Mol. Biosci.
25 April 2022
- 07:4407:44, 25 April 2022 diff hist −423 Talk:Hilbert's problems →Add list of problems from German article: Not sure why I had not seen the table, erasing my useless talk comments. Tag: Manual revert
- 07:1907:19, 25 April 2022 diff hist −652 m Talk:Hilbert's problems →Add list of problems from German article Tag: Reverted
- 07:1807:18, 25 April 2022 diff hist +423 Talk:Hilbert's problems →Add list of problems from German article: new section Tag: Reverted
- 07:1507:15, 25 April 2022 diff hist +339 Talk:Hilbert's problems →Add list of problems from German article: new section Tag: Reverted
21 April 2022
- 16:2216:22, 21 April 2022 diff hist +58 Hilbert's tenth problem Made reference to polynomial identity testing and integers more precise; previous version of the statement could be read in the way that is wrong.
5 February 2022
- 11:5811:58, 5 February 2022 diff hist +34 Quantifier elimination →Examples
- 10:3010:30, 5 February 2022 diff hist −1 List of first-order theories As they are first order theories, I changed to link to first-order logic directly, where some background is given
- 10:2810:28, 5 February 2022 diff hist +83 Talk:List of first-order theories No edit summary
- 10:2810:28, 5 February 2022 diff hist +728 Talk:List of first-order theories No edit summary
- 10:2410:24, 5 February 2022 diff hist +34 m List of first-order theories →Second order arithmetic
- 10:2010:20, 5 February 2022 diff hist +336 Theory of pure equality Justification that set constraints are closely related to monadic class
- 10:1210:12, 5 February 2022 diff hist +475 Talk:Theory of pure equality No edit summary
- 10:0810:08, 5 February 2022 diff hist +35 List of first-order theories →Pure identity theories
- 10:0710:07, 5 February 2022 diff hist +35 Theory of pure equality →See also: relating to list of FO theories
- 09:5609:56, 5 February 2022 diff hist +51 Theory of pure equality No edit summary Tags: Mobile edit Mobile app edit Android app edit
