Jump to content

Related changes

← Quantifier elimination

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.

Recent changes optionsShow last 50 | 100 | 250 | 500 changes in last 1 | 3 | 7 | 14 | 30 days
Hide registered users | Hide unregistered users | Hide my edits | Show bots | Hide minor edits | Show page categorization | Show Wikidata | Hide probably good edits
Show new changes starting from 18:51, 9 June 2025

Namespace:	Invert selection Associated namespace
Tag filter:	Invert selection
Page name:	Show changes to pages linked to the given page instead

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

9 June 2025

diffhist First-order logic 15:09 +192 BardRapt talk contribs (→Terms: G. Takeuti)

8 June 2025

diffhist First-order logic 10:18 −4 Absolutiva talk contribs (Removing link(s) to "Paris": MOS:OVERLINK.) Tag: Twinkle

6 June 2025

diffhist m Algorithm 17:27 +28 Remsense talk contribs (Reverted 1 edit by 161.248.241.33 (talk) to last revision by AHBaha) Tags: Twinkle Undo
diffhist Algorithm 17:21 −28 161.248.241.33 talk (→Etymology) Tags: Reverted Mobile edit Mobile web edit
diffhist Presburger arithmetic 12:48 +21 Headbomb talk contribs (→Bibliography: | Altered template type. Add: chapter, title. | Use this tool. Report bugs. | #UCB_Gadget)
diffhist Presburger arithmetic 01:12 +3 115.189.82.134 talk (→Properties)

5 June 2025

diffhist Substructure (mathematics) 22:05 +281 Rgdboer talk contribs (→Examples: image)

Retrieved from "https://en.wikipedia.org/wiki/Special:RecentChangesLinked/Quantifier_elimination"