Jump to content

Related changes

← Talk:Formal verification

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 04:24, 8 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

7 June 2025

diffhist Wikipedia:Maintenance 13:05 −35 AnomieBOT talk contribs (Automatically updating backlog of the week: Category:Wikipedia requested maps in Micronesia)
diffhist Wikipedia:Vital articles/Level/5/Technology 01:05 −22 Lophotrochozoa talk contribs (→File format: WebM removed as decided on the talk page)

5 June 2025

diffhist m Computing 23:12 +4 Onemillionthtree talk contribs (linked: "ENIAC")
diffhist Wikipedia talk:WikiProject Computer science 12:03 +146 Nextada talk contribs (→Draft:AI-based religion: new section) Tag: New topic
diffhist m Module:Banner shell 09:18 −39 MSGJ talk contribs (add PageAssessment for PIQA, simplify some code, remove redundant class parameter tracking)

4 June 2025

diffhist Wikipedia:Reliable sources 20:11 −2 Butwhatdoiknow talk contribs (→Scholarship: copy edit)
diffhist Wikipedia:Content assessment 19:32 +38 JuxtaposedJacob talk contribs (add link)
diffhist Wikipedia:Vital articles/Level/5/Technology 16:49 −42 Lophotrochozoa talk contribs (→Firearms: Multiple-barrel firearm removed as decided on the talk page)
diffhist Wikipedia:Reliable sources 13:34 −4 Gog the Mild talk contribs (Copy edit)
diffhist Wikipedia:Vital articles/Level/5/Technology 00:12 −24 Lophotrochozoa talk contribs (→Specific websites and other computing services: Moving Alipay to financial companies)

3 June 2025

diffhist Wikipedia:Vital articles/Level/5/Technology 11:33 +15 Lophotrochozoa talk contribs (→Navigation: Piloting added as decided on the talk page)
diffhist Wikipedia talk:WikiProject Computer science 01:14 +405 Bubba73 talk contribs (→Bubble sort in parallel: new section) Tag: New topic
diffhist List of computer scientists 00:57 +42 JoseyWales019 talk contribs (→R) Tags: Mobile edit Mobile web edit Advanced mobile edit

2 June 2025

diffhist m Nuclear reactor 22:31 +15 E91328xit talk contribs (→top: Improved clarity by adding detail. An incorrect statement was made in previous version, operation sandblast in 1959 was the first nuclear powered circumnavigation.) Tags: Mobile edit Mobile app edit Android app edit App section source
diffhist Wikipedia:Cleanup 22:29 +162 GalStar talk contribs (→May 2025) Tag: 2017 wikitext editor
diffhist Wikipedia:Cleanup 21:47 +221 GalStar talk contribs (→May 2025) Tag: 2017 wikitext editor
diffhist Wikipedia:Vital articles/Level/5/Technology 20:57 +29 ALittleClass talk contribs (→Mixed-use buildings)
diffhist Wikipedia:Cleanup 17:13 +506 Cooldudeseven7 talk contribs (→May 2025: reply to Tinton5) Tag: CD
diffhist m Nuclear reactor 13:57 +2 Isopod gang 31 talk contribs Tags: Visual edit Mobile edit Mobile web edit

1 June 2025

diffhist Wikipedia:Vital articles/Level/5/Technology 14:15 0 Editør talk contribs (→Ground transportation networks: Appian Way reassessed)

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