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
12 July 2025
11 July 2025
- diffhist Vector addition system 15:55 +1 The4lines talk contribs (WP:RIA Attribution: This edit copied content from Petri net; see that page's history for attribution.)
- diffhist Vector addition system 15:35 +231 AmirOnWiki talk contribs (→Informal definition)
- diffhist Vector addition system 15:31 +1,543 AmirOnWiki talk contribs (→Properties of VAS(S) and Decision Procedures)
- diffhist m Petri net 15:04 −21 AmirOnWiki talk contribs (→Boundedness: wrong link)
- diffhist Architecture Analysis & Design Language 14:47 +8 RankASea talk contribs (Link suggestions feature: 2 links added.) Tags: Visual edit Mobile edit Mobile web edit Newcomer task Suggested: add links
- diffhist Vector addition system 14:45 +1,011 AmirOnWiki talk contribs (→Reachability)
- diffhist Vector addition system 12:15 +743 AmirOnWiki talk contribs (→Formal definitions and basic terminology)
- diffhist Vector addition system 11:33 +706 AmirOnWiki talk contribs (→VASS and Petri Nets)
- diffhist Petri net 11:18 +156 AmirOnWiki talk contribs (→Execution semantics: missing def)