User contributions for Oneequalsequalsone
A user with 398 edits. Account created on 20 March 2022.
2 June 2024
- 13:2513:25, 2 June 2024 diff hist +4 m Social justice No edit summary Tag: 2017 wikitext editor
- 13:0113:01, 2 June 2024 diff hist +316 Talk:Greatest element and least element →Add mention to well-ordering: new section Tag: New topic
1 June 2024
- 14:1814:18, 1 June 2024 diff hist +42 Government of India No edit summary current Tag: Visual edit
- 14:1514:15, 1 June 2024 diff hist −31 National Democratic Alliance →History Tag: Visual edit
- 09:1309:13, 1 June 2024 diff hist −242 Tautology (logic) rm reference to self current Tag: Visual edit
31 May 2024
- 14:0714:07, 31 May 2024 diff hist 0 m Injective function →Injections may be made invertible Tag: Visual edit
- 12:4712:47, 31 May 2024 diff hist −67 Schröder–Bernstein theorem →Proof: removing reference to removed section and {{Clear}} template current Tag: 2017 wikitext editor
30 May 2024
- 16:1716:17, 30 May 2024 diff hist +121 m Bashar al-Assad →Medical career and rise to power: add archived version of source Tag: Visual edit
28 May 2024
- 16:4216:42, 28 May 2024 diff hist 0 m Partially ordered set →Notation: reorder sentence current Tag: Visual edit
- 15:2015:20, 28 May 2024 diff hist +9 Portal:Current events/2024 May 28 change source for 'denmark refusing to recognise palestine' Tag: 2017 wikitext editor
- 15:0715:07, 28 May 2024 diff hist 0 m Paul Lorenzen →Biography current Tag: Visual edit
- 11:3711:37, 28 May 2024 diff hist +14 m Preorder No edit summary Tag: Visual edit
27 May 2024
- 14:0414:04, 27 May 2024 diff hist +19 Tautology (logic) →Efficient verification and the Boolean satisfiability problem: citation needed Tag: Visual edit
- 13:4613:46, 27 May 2024 diff hist +31 m Tautology (logic) →Definition and examples Tag: Visual edit
- 13:4113:41, 27 May 2024 diff hist +84 Tautology (logic) →Definition and examples: add natural language explanation Tag: Visual edit
- 13:3813:38, 27 May 2024 diff hist −6 m Tautology (logic) →Background Tag: Visual edit
26 May 2024
- 17:5217:52, 26 May 2024 diff hist +1 m Formal specification →Uses current Tag: Visual edit
- 16:5116:51, 26 May 2024 diff hist +529 Talk:Truth →ToC doesnt include subheadings: new section current Tag: New topic
- 13:1213:12, 26 May 2024 diff hist −3 m Mathematical logic →Foundations of mathematics current Tag: Visual edit
- 09:1109:11, 26 May 2024 diff hist −5 Portal:Current events/2024 May 26 No edit summary Tag: 2017 wikitext editor
- 09:1009:10, 26 May 2024 diff hist −67 Portal:Current events/2024 May 26 No edit summary Tag: 2017 wikitext editor
25 May 2024
- 11:4111:41, 25 May 2024 diff hist +1 m Drinker paradox →Proofs current Tag: Visual edit
24 May 2024
- 14:0814:08, 24 May 2024 diff hist +4 m Second-order logic →Examples: should probably link to this since its not defined anywhere current Tag: Visual edit
22 May 2024
- 15:5615:56, 22 May 2024 diff hist +14 Well-formed formula →Closed formulas: change 'closure' to 'universal closure' Tag: Visual edit
- 15:4115:41, 22 May 2024 diff hist −36 m Well-formed formula →Predicate logic: change bold to italic Tags: Reverted Visual edit
- 15:3715:37, 22 May 2024 diff hist −4 m Atomic formula remove duplicate link to wff, already exists before this current Tag: Visual edit
21 May 2024
- 09:4209:42, 21 May 2024 diff hist +18 m Free variables and bound variables No edit summary current Tag: Visual edit
- 09:3709:37, 21 May 2024 diff hist +87 Free variables and bound variables add source Tag: Visual edit
20 May 2024
- 09:0209:02, 20 May 2024 diff hist +1 m Preply →History current Tag: Visual edit
18 May 2024
- 14:0714:07, 18 May 2024 diff hist +37 m David McBride (whistleblower) link to war in afghanistan Tag: Visual edit
- 13:4613:46, 18 May 2024 diff hist −10 m Net zero emissions →Criticism: clarity Tag: Visual edit
- 13:2913:29, 18 May 2024 diff hist +50 m Tautology (logic) →History: linking to specific section Tag: Visual edit
17 May 2024
- 23:0723:07, 17 May 2024 diff hist +31 Corporation →Personhood: add main article current Tag: Visual edit
- 12:0812:08, 17 May 2024 diff hist +21 m Assassination of Laurent-Désiré Kabila →Operation Mbongo Zero Tag: Visual edit
15 May 2024
- 16:5516:55, 15 May 2024 diff hist +21 m Modal logic No edit summary Tag: Visual edit
- 16:4116:41, 15 May 2024 diff hist −44 Necessity and sufficiency →Definitions: reversing the condition doesnt work current Tag: Visual edit
- 15:5415:54, 15 May 2024 diff hist −56 Regulation T fix broken link current Tag: Visual edit
14 May 2024
- 13:1613:16, 14 May 2024 diff hist 0 m Template:Financial markets No edit summary current Tag: 2017 wikitext editor
12 May 2024
- 23:4523:45, 12 May 2024 diff hist +8 Common sense https://en.wiktionary.org/wiki/common_sense current Tag: Visual edit
- 15:4215:42, 12 May 2024 diff hist +1 m Portal:Current events/2024 May 12 No edit summary Tag: 2017 wikitext editor
- 11:0411:04, 12 May 2024 diff hist +2 m Transposition (logic) →Form of transposition Tag: Visual edit
8 May 2024
- 17:3517:35, 8 May 2024 diff hist −83 Sort Undid revision 1199784558 by Peter Flass (talk) These are already included in "Sorting algorithm" current Tag: Undo
- 17:2917:29, 8 May 2024 diff hist −12 m Many-sorted logic →See also: fix link Tag: 2017 wikitext editor
7 May 2024
- 09:3909:39, 7 May 2024 diff hist +17 m United States Senate No edit summary Tag: Visual edit
5 May 2024
- 00:0000:00, 5 May 2024 diff hist −24 Duality (mathematics) →Complement of a subset: unnecessary current Tag: Visual edit
3 May 2024
- 23:1123:11, 3 May 2024 diff hist −10 m Truth value →Computing current Tag: Visual edit
1 May 2024
- 22:0722:07, 1 May 2024 diff hist −1 m Horn clause →Significance Tag: Visual edit
30 April 2024
- 09:1109:11, 30 April 2024 diff hist +337 Talk:List of epidemics and pandemics →It isn't explicit enough that this page is specifically for humans and not other animals: new section Tag: New topic
- 08:4208:42, 30 April 2024 diff hist +3 Template:Information science change ontology link current Tag: 2017 wikitext editor
28 April 2024
- 22:0922:09, 28 April 2024 diff hist −15 m Mathematical logic →Subfields and scope Tag: Visual edit