Jump to content

Related changes

← Paradox (theorem prover)

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 options Show 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 03:41, 7 April 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

4 April 2025

diffhist m Chalmers University of Technology 17:28 +6 Kaffet i halsen talk contribs (University of Gothenburg + sp (via WP:JWB))

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 m Elm (programming language) 06:20 −1 Steel1943 talk contribs (→Backend: fix common MOS:REFSPACE spacing errors, replaced: /ref> <ref → /ref><ref) Tag: AWB

31 March 2025

diffhist m Computational complexity 11:35 +46 Sourav Kannantha B talk contribs (Add master theorem wiki link in see also section)
diffhist Audrey Tang 04:23 +20 GuardianH talk contribs Tag: Visual edit

Retrieved from "https://en.wikipedia.org/wiki/Special:RecentChangesLinked/Paradox_(theorem_prover)"