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
11 April 2025
- diffhist m Method of analytic tableaux 04:10 −66 Marc Schroeder talk contribs
- diffhist Method of analytic tableaux 04:01 −4,982 Marc Schroeder talk contribs (More concise presentation of the propositional tableaux.)
10 April 2025
- diffhist m Method of analytic tableaux 15:55 +627 Marc Schroeder talk contribs (added a reference, related to set-labeled tableaux)
- diffhist m Method of analytic tableaux 12:46 +73 Marc Schroeder talk contribs (→Set-labeled tableau: Better formulation of dispute)
- diffhist m Method of analytic tableaux 11:42 +122 Marc Schroeder talk contribs (→Set-labeled tableau: dispute)
- diffhist Concurrency (computer science) 04:19 +34 Wukuendo talk contribs (Added Pony to the 'See also' list)
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)