Talk:Bergman's diamond lemma

	This article was reviewed by member(s) of WikiProject Articles for creation. The project works to allow users to contribute quality articles and media files to the encyclopedia and track their progress as they are developed. To participate, please visit the project page for more information.Articles for creationWikipedia:WikiProject Articles for creationTemplate:WikiProject Articles for creationAfC
	This article was accepted from this draft on 31 December 2021 by reviewer Bilorv (talk · contribs).

Mathematics

	Mathematics portal This article is within the scope of WikiProject Mathematics, a collaborative effort to improve the coverage of mathematics on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.MathematicsWikipedia:WikiProject MathematicsTemplate:WikiProject Mathematicsmathematics
???	This article has not yet received a rating on the project's priority scale.

AfC comments

I think we've got a difficult edge case here, and I've fallen on the side of accepting this draft. ArXiv is not a great place to be searching on because there's some preprints here. Particularly dubious is the Inoué paper, which is unpublished and reads like an undergrad/master's thesis, not really the level we're looking for here. However, the original paper, Duke Mathematical Journal and Nankai Series sources convince me that there's enough to build an article from.

I don't claim to be enough of an expert to independently check the accuracy of this draft, but I have seen diamond lemmata in lambda calculus when studying the Church–Rosser theorem, and it does look to me like this is a sufficiently different topic to other diamond lemma-focused articles. — Bilorv (talk) 16:56, 31 December 2021 (UTC)[reply]