A user with 474 edits. Account created on 6 August 2002.
22 March 2024
- 17:36 17:36, 22 March 2024 diff hist +52 Une souris verte Translation tag. Wikified reference to War in the Vendée
15 March 2024
- 10:05 10:05, 15 March 2024 diff hist +215 m Feferman–Vaught theorem reference to theorem of Łoś Tag: Visual edit: Switched
6 February 2024
- 13:59 13:59, 6 February 2024 diff hist +22 m True arithmetic citation to arithmetic with multiplication only
24 October 2023
- 22:21 22: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:05 18:05, 13 October 2023 diff hist +26 m Cartesian product →Cartesian products of several sets
- 18:01 18: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:43 09:43, 19 September 2023 diff hist +21 m Formal methods →See also: formal science
12 September 2023
- 12:22 12:22, 12 September 2023 diff hist +48 m Formal verification Horn clauses alongside transition systems; better link to OS kernel
- 10:33 10: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:56 09:56, 12 September 2023 diff hist +471 m Formal verification Established links to electronic design automation, software verification, and the common criteria
- 09:35 09: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:48 19:48, 21 August 2023 diff hist +37 m Frege system →Examples: suggested one place for inline citation of a claim
3 August 2023
- 15:06 15:06, 3 August 2023 diff hist +328 m Software verification Minor simplifications and addition of ACM classification reference. current Tag: Visual edit: Switched
5 July 2023
- 22:05 22: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:50 18: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:31 21:31, 31 October 2022 diff hist +48 Eugen Rochko Submitting using AfC-submit-wizard
- 21:30 21:30, 31 October 2022 diff hist +62 Eugen Rochko →Leben Tag: Visual edit: Switched
- 21:28 21:28, 31 October 2022 diff hist +16 Talk:Eugen Rochko No edit summary
- 21:24 21:24, 31 October 2022 diff hist +21 Talk:Eugen Rochko →Author of Mastodon; already has German page.
- 20:52 20:52, 31 October 2022 diff hist +216 Eugen Rochko Submitting using AfC-submit-wizard
- 20:52 20:52, 31 October 2022 diff hist +26 Talk:Eugen Rochko Adding WikiProject tags using AfC-submit-wizard
- 20:52 20:52, 31 October 2022 diff hist +319 Talk:Eugen Rochko →Author of Mastodon; already has German page.: new section Tag: New topic
- 20:50 20:50, 31 October 2022 diff hist 0 N Talk:Eugen Rochko Adding WikiProject tags ( assisted)
- 20:48 20: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:24 20: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:05 09: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:03 09:03, 9 September 2022 diff hist +94 m Term algebra →Decidability: Expanded on citation that was the basis of this claim.
- 08:59 08:59, 9 September 2022 diff hist +941 Talk:Term algebra →Decidability: Reply Tag: Reply
- 08:11 08:11, 9 September 2022 diff hist +564 Quantifier elimination →References: Added two more references on quantifier elimination
27 June 2022
- 18:09 18: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:07 18: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:31 11: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:16 14: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:02 08:02, 12 May 2022 diff hist +381 Plasmalogen →Possible disease links: Citation to a recent article in Front. Mol. Biosci.
25 April 2022
- 07:44 07: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:19 07:19, 25 April 2022 diff hist −652 m Talk:Hilbert's problems →Add list of problems from German article Tag: Reverted
- 07:18 07:18, 25 April 2022 diff hist +423 Talk:Hilbert's problems →Add list of problems from German article: new section Tag: Reverted
- 07:15 07: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:22 16: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:58 11:58, 5 February 2022 diff hist +34 Quantifier elimination →Examples
- 10:30 10: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:28 10:28, 5 February 2022 diff hist +83 Talk:List of first-order theories No edit summary
- 10:28 10:28, 5 February 2022 diff hist +728 Talk:List of first-order theories No edit summary
- 10:24 10:24, 5 February 2022 diff hist +34 m List of first-order theories →Second order arithmetic
- 10:20 10:20, 5 February 2022 diff hist +336 Theory of pure equality Justification that set constraints are closely related to monadic class
- 10:12 10:12, 5 February 2022 diff hist +475 Talk:Theory of pure equality No edit summary
- 10:08 10:08, 5 February 2022 diff hist +35 List of first-order theories →Pure identity theories
- 10:07 10:07, 5 February 2022 diff hist +35 Theory of pure equality →See also: relating to list of FO theories
- 09:56 09:56, 5 February 2022 diff hist +51 Theory of pure equality No edit summary Tags: Mobile edit Mobile app edit Android app edit
- 09:46 09:46, 5 February 2022 diff hist −151 Theory of pure equality Fixed accidentally split section
