Related changes
Enter a page name to see changes on pages linked to or from that page. (To see members of a category, enter Category:Name of category). Changes to pages on your Watchlist are shown in bold with a green bullet. See more at Help:Related changes.
List of abbreviations (help):
- D
- Edit made at Wikidata
- r
- Edit flagged by ORES
- N
- New page
- m
- Minor edit
- b
- Bot edit
- (±123)
- Page byte size change
- Temporarily watched page
7 April 2025
- diffhist m Propositional calculus 21:22 −99 Marc Schroeder talk contribs (→Frege's Begriffsschrift: uniform notation throughout the article)
- diffhist m Propositional calculus 20:53 +57 Marc Schroeder talk contribs
- diffhist Propositional calculus 19:30 +3,760 Marc Schroeder talk contribs (Put the references into a list. List will be alphabetically sorted at a some later moment.)
- diffhist m First-order logic 16:28 −8 BardRapt talk contribs (→Algebraizations: mce)
- diffhist Concatenation 14:47 +1 147.9.2.79 talk (→Algebraic properties)
- diffhist m Propositional calculus 12:35 +124 Marc Schroeder talk contribs (→External links: added link to article 'Propositional Logic' on Stanford Encyclopedia of Philosophy)
- diffhist m Probabilistically checkable proof 09:14 +2 Fschwarzentruber talk contribs (→Properties) Tag: Visual edit
- diffhist Boolean hierarchy 08:35 +21 LaundryPizza03 talk contribs (removed Category:Hierarchy; added Category:Mathematical logic hierarchies using HotCat)
- diffhist Exponential hierarchy 08:35 +44 LaundryPizza03 talk contribs (added Category:Mathematical logic hierarchies using HotCat)
- diffhist Polynomial hierarchy 08:34 −21 LaundryPizza03 talk contribs (−Category:Structural complexity theory; ±Category:Hierarchy→Category:Mathematical logic hierarchies using HotCat)
- diffhist m Template:Complexity classes 08:33 +5 LaundryPizza03 talk contribs (merged articles)
- diffhist m Polynomial hierarchy 08:33 −60 LaundryPizza03 talk contribs (rm circular redirect from merge)
- diffhist PH (complexity) 08:31 −4,236 LaundryPizza03 talk contribs (merge duplicate topic) Tag: New redirect
- diffhist Polynomial hierarchy 08:30 +901 LaundryPizza03 talk contribs (→Relationships to other classes: Merging from PH (complexity), which is exactly the same topic.)
6 April 2025
- diffhist Material conditional 21:09 −1 2600:8804:4:9e00::ba9b:12aa talk (→Syntactical properties: fixed spelling mistake (addedd to added))
- diffhist Wikipedia:WikiProject Reliability 15:58 +42 Zxm92 talk contribs (→Participants: joined group) Tag: 2017 wikitext editor
- diffhist Term logic 08:52 −10 Remsense talk contribs (→Basics)
- diffhist m Rule of inference 08:50 0 Remsense talk contribs (forgive me but LQ means this here, right? #MiniEdit)
- diffhist Minimal axioms for Boolean algebra 07:49 +47 Neiltonks talk contribs (Adding short description: "Mathematical assumptions") Tag: Shortdesc helper
- diffhist Rule of inference 07:46 +16 Phlsph7 talk contribs (fix link)
- diffhist Equivalence relation 01:49 +1 184.166.97.71 talk (Symmetry and transitivity are not a duo.) Tags: Mobile edit Mobile web edit
5 April 2025
- diffhist Automata theory 20:38 +26 108.234.233.172 talk (added link) Tag: Visual edit
- diffhist m ZPP (complexity) 12:06 +56 Jean Abou Samra talk contribs (Explain 'why' ZPP = co-ZPP)
- diffhist Wikipedia:Citing sources 10:23 −1 Augnablik talk contribs (→Citation order: Fixed a grammatical error.) Tags: Mobile edit Mobile web edit
4 April 2025
- diffhist Integer 17:54 0 MrSwedishMeatballs talk contribs (→Algebraic properties) Tags: Mobile edit Mobile web edit Advanced mobile edit
- diffhist Integer 17:51 0 MrSwedishMeatballs talk contribs (→Equivalence classes of ordered pairs) Tags: Mobile edit Mobile web edit Advanced mobile edit
- diffhist Integer 17:50 −4 MrSwedishMeatballs talk contribs Tags: Mobile edit Mobile web edit Advanced mobile edit
- diffhist Integer 17:49 0 MrSwedishMeatballs talk contribs (→History) Tags: Mobile edit Mobile web edit Advanced mobile edit
- diffhist Function (mathematics) 14:35 +69 MrOllie talk contribs (Restored revision 1282915289 by Remsense (talk): A distinction without a difference) Tags: Twinkle Undo
- diffhist Function (mathematics) 14:31 −69 Jeese Bloom talk contribs (it is ridiculous.if the position of a planet is value x and the time is value t,then there exits a function f which satisfies the equation x=f(t).So it is obivious that the position of planet is not a function of time.it is functionally related to time instead.) Tags: Reverted Visual edit Mobile edit Mobile web edit
- diffhist m Time hierarchy theorem 09:15 0 Nyq talk contribs (lc common adjective) Tags: Visual edit Mobile edit Mobile web edit Advanced mobile edit
- diffhist List of unsolved problems in computer science 05:51 +2 18.29.229.95 talk (Change information about P=NP to the correction location) Tag: Visual edit
- diffhist m Theorem 00:49 −1 Steel1943 talk contribs (→Terminology: fix common MOS:REFSPACE spacing errors, replaced: {{efn → {{efn) Tag: AWB
3 April 2025
- diffhist PP (complexity) 23:47 −137 Morinator talk contribs (make phrasing of definition of PP-class more succinct)
- diffhist Axiom of choice 23:23 −3 JRSpriggs talk contribs (Undid revision 1283789565 by 152.42.105.51 (talk) wrong. the point is that AxCh does not give a constructive way to choose.) Tag: Undo
- diffhist PSPACE 22:31 +268 David Eppstein talk contribs (→Formal definition: supply requested citation for PSPACE=co-PSPACE)
- diffhist PSPACE 22:28 −345 David Eppstein talk contribs (→References: uncited, relegate to further reading; we don't need two copies of the sipser ref)
- diffhist m Gödel's incompleteness theorems 20:27 +24 DKMell talk contribs (added a space to make the ' legible) Tag: Visual edit
- diffhist Cantor's diagonal argument 18:48 +26 Trovatore talk contribs (→See also: I think it's reasonable to add CH here)
- diffhist Cantor's diagonal argument 18:30 −487 Trovatore talk contribs (→Open questions: that said, this section doesn't really relate to the diagonal argument)
- diffhist Cantor's diagonal argument 18:29 −10 Trovatore talk contribs (Undid revision 1283793707 by Sheddow (talk) it is in fact an open question) Tag: Undo
- diffhist Cantor's diagonal argument 18:13 +10 Sheddow talk contribs (→Open questions: The continuum hypothesis is not really an open question, I think this header makes more sense) Tag: Reverted
- diffhist Axiom of choice 17:46 +3 152.42.105.51 talk (→Criticism and acceptance) Tag: Reverted
- diffhist Philosophy of mathematics 16:41 +353 D.Lazard talk contribs (→Contemporary schools of thought: expand section)
- diffhist Philosophy of mathematics 15:22 0 D.Lazard talk contribs (→Logic and rigor: typo)
- diffhist Naive set theory 15:17 0 Remsense talk contribs (idiomatic form (By FindAndReplace))
- diffhist Philosophy of mathematics 15:17 0 Remsense talk contribs (idiomatic form (By FindAndReplace))
- diffhist Foundations of mathematics 15:17 0 Remsense talk contribs (idiomatic form (By FindAndReplace))
- diffhist Boolean algebra 15:17 0 Remsense talk contribs (idiomatic form (By FindAndReplace))
- diffhist Philosophy of mathematics 15:14 −4 Remsense talk contribs (no need to stack quotation marks and italics)