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
8 April 2025
- diffhist Method of analytic tableaux 17:33 −436 Marc Schroeder talk contribs
- diffhist m Method of analytic tableaux 15:02 +128 Marc Schroeder talk contribs (→Propositional tableau with unification: corrected an error in second table)
- diffhist m Method of analytic tableaux 13:04 +537 Marc Schroeder talk contribs (set implication connective in LaTeX everywhere to \to and equivalence connective to \leftrightarrow, to fix mix of notations)
- diffhist Curry–Howard correspondence 11:55 +8 Editor Jha talk contribs (Link suggestions feature: 2 links added.) Tags: Visual edit Newcomer task Suggested: add links
- diffhist New York City 00:28 −75 Nikkimaria talk contribs (previous was sufficient) Tag: Manual revert
- diffhist m New York City 00:10 +75 SeñorTelevisor talk contribs (Added North American rank and fixed the numbering for first one) Tags: Reverted Visual edit
7 April 2025
- diffhist Peirce's law 23:48 +134 178.115.68.107 talk (→Relations between principles: Fuller prose) Tags: Mobile edit Mobile web edit
- diffhist m New York City 23:47 +22 Buddy731 talk contribs (Logo(s) can now invert in dark mode)
- diffhist New York City 22:14 −19 Seasider53 talk contribs (Undid revision 1284470689 by Kd02365 (talk) Discussed ad nauseum) Tags: Undo Mobile edit Mobile web edit Advanced mobile edit
- 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 New York City 19:46 +19 Kd02365 talk contribs Tags: Reverted Mobile edit Mobile web edit
- 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 m Propositional calculus 12:35 +124 Marc Schroeder talk contribs (→External links: added link to article 'Propositional Logic' on Stanford Encyclopedia of Philosophy)
6 April 2025
- diffhist Modus ponens 22:49 +54 Loverthehater talk contribs (→Justification via truth table: renamed header, added some links. see talk page.)
- diffhist m Rule of inference 08:50 0 Remsense talk contribs (forgive me but LQ means this here, right? #MiniEdit)
- diffhist Rule of inference 07:46 +16 Phlsph7 talk contribs (fix link)
5 April 2025
- diffhist New York City 15:50 −3 Lionel Cristiano talk contribs
- diffhist Combinatory logic 09:10 0 Tromp talk contribs (→One-point basis)
- diffhist Combinatory logic 09:10 −10 Tromp talk contribs (→One-point basis)
- diffhist Combinatory logic 09:09 +453 Tromp talk contribs (→simplest known one-point basis)
4 April 2025
- diffhist New York City 23:41 −140 Nikkimaria talk contribs (previous was sufficient) Tag: Manual revert
- diffhist New York City 23:31 +140 Hfjhjoiijklij2 talk contribs Tag: Reverted
3 April 2025
- diffhist First-order logic 15:12 −9 Remsense talk contribs (idiomatic)
- diffhist First-order logic 15:12 +10 Remsense talk contribs
- diffhist Rule of inference 11:54 +1 Phlsph7 talk contribs (adjust lead image: less height)
- diffhist Rule of inference 11:46 +287 Phlsph7 talk contribs (→Propositional logic: expand table per GA suggestion)
- diffhist Rule of inference 11:32 +93 Phlsph7 talk contribs (→Propositional logic: expand list per GA suggestion)
- diffhist m Quantum logic 07:04 −1 Steel1943 talk contribs (→History and modern criticism: fix common MOS:REFSPACE spacing errors, replaced: {{sfn| → {{sfn|) Tag: AWB