Math 2.0

Bergman's diamond lemma

This page lists the items of the Wikipedia article Bergman's diamond lemma in their order, and the nodes of Math 2.0 that have them. The text of the article is not on this site. The items come from revision 1351364215, with the assessment C/Unknown.

OutcomeItems
deferred4
node1

The gap signals of the article are S1,S5,S6,S8,S9.

ItemKindNameOutcomeNodesReason
subjectstatementBergman's diamond lemmanode (adopted)Bergman's diamond lemma
#ETLRdefinitionAlgorithmdeferred until 2027-05-01the cue heading names a section and not one item
#GNQGexampleExampledeferred until 2027-05-01the cue heading names a section and not one item
#MNS2exampleExamplesdeferred until 2027-05-01the cue heading names a section and not one item
#X0Q1statementStatement of the Lemmadeferred until 2027-05-01the heading names an item of its article with "the"

Refer to Wikipedia articles and their nodes for the other articles.