Talk:Well-structured transition system: Difference between revisions

Content deleted Content added
Uplink3r (talk | contribs)
No edit summary
Cewbot (talk | contribs)
m Maintain {{WPBS}} and vital articles: 1 WikiProject template. Create {{WPBS}}. Keep majority rating "Stub" in {{WPBS}}. Remove 1 same rating as {{WPBS}} in {{WikiProject Computing}}.
 
(One intermediate revision by one other user not shown)
Line 1:
{{WikiProject Computingbanner shell|class=stubStub|importance=low}}
{{WikiProject Computing|importance=low}}
 
}}
In addition to saying well-quasi-ordering, can't this be explained as a relation where every element cannot be decreasing, or something along those lines? - [[User:Uplink3r|Uplink3r]] ([[User talk:Uplink3r|talk]]) 23:47, 15 June 2015 (UTC)
 
AFAICS the meaning of the term is already stated?
In addition to the (admittedly extremely brief) explanation, there is a handful of useful alternative characterisations of WQO.
But I would rather add them to the [[Well-quasi-ordering]] article.
[[User:Ɯ|[ɯ:]]] ([[User talk:Ɯ|talk]]) 12:58, 26 June 2015 (UTC)