Talk:Dershowitz–Manna ordering
Appearance
![]() | This article is rated Stub-class on Wikipedia's content assessment scale. It is of interest to the following WikiProjects: | ||||||||||
|
Review request
[edit]NB: the following comments have been copied from Wikipedia talk:WikiProject Mathematics#Review_request:
Hi, I created a new article Dershowitz-Manna_ordering and it was suggested to me to ask here for some reviews (it's my first new article). I would appreciate any hints or comments as how to improve it (e.g. it is an orphan, but I refrained adding any links before getting some feedback). Dtldarek (talk) 19:48, 1 March 2013 (UTC)
- I only took a quick glance, but here are some quick comments:
- It would be nice to include the statement of who Dershowitz and Manna are.
- Some more information (even just a sentence or two) about the context or importance of this order would be helpful; right now, I am skeptical that this article would be of much use to someone who didn't already know its contents.
- There's a lot of notation used that isn't necessary; most notably, the use of the quantifiers instead of writing out a sentence makes the reader work harder for no obvious benefit.
- --JBL (talk) 20:07, 1 March 2013 (UTC)
- I'm a fairly new editor myself. Welcome! The article looks like a good start to me. Some suggestions for improvement:
- Break the main section into
- A lead section, where you introduce the ordering, give an informal notion of what it is about for the non-specialist, and why it is significant in term rewriting systems of computer science in general
- A definition section where you precisely define the ordering. I second JBL's suggestion to replace non-necessary notation with English prose. It also helps to define your notation. For instance, let readers know that is a set and that is a cardinality function (I think) representing the multiplicity of element in .
- How does this ordering compare to other multiset orderings? It may be useful to establish a "See also" section pointing to other orderings with articles on Wikipedia.
- It is useful to a give web pointer to references where you can. For instance, here is a pdf of the Jouannaud paper.
- --Mark viking (talk) 20:56, 1 March 2013 (UTC)
End copy.