Math 2.0

McNaughton's theorem

This page lists the items of the Wikipedia article McNaughton's theorem 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 1310637048.

OutcomeItems
deferred6

The gap signals of the article are S6.

ItemKindNameOutcomeNodesReason
subjectstatementMcNaughton's theoremdeferred until 2027-05-01the item has the flag informal (WP9.2)
#1DY5statementLemma 2deferred until 2027-05-01the item has no name of its own, and the write role names it
#3Z2EstatementLemma 5deferred until 2027-05-01the item has no name of its own, and the write role names it
#UXIDstatementLemma 1deferred until 2027-05-01the item has no name of its own, and the write role names it
#VQVPstatementLemma 3deferred until 2027-05-01the item has no name of its own, and the write role names it
#XEQYstatementLemma 4deferred until 2027-05-01the item has no name of its own, and the write role names it

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