Math 2.0

Straight-line program

This page lists the items of the Wikipedia article Straight-line program 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 1313231186, with the assessment Start/Low.

OutcomeItems
deferred9
attached2

The gap signals of the article are S1,S6.

ItemKindNameOutcomeNodesReason
subjectdefinitionStraight-line programdeferred until 2027-05-01the item has the flag informal (WP9.2)
#0X6CstatementReachability theoremdeferred until 2027-05-01the heading has a meaning only in its article
#350Vproofattached
#BVVKexampleExamplesdeferred until 2027-05-01the cue heading names a section and not one item
#HLKOstatementClaim 2deferred until 2027-05-01the item has no name of its own, and the write role names it
#MTA9definitionFormal definitiondeferred until 2027-05-01the cue heading names a section and not one item
#PIY8statementClaim 1deferred until 2027-05-01the item has no name of its own, and the write role names it
#RIHPexampleApplicationsdeferred until 2027-05-01the cue heading names a section and not one item
#RQK8definitionDefinitiondeferred until 2027-05-01the cue heading names a section and not one item
#S2PVexampleExampledeferred until 2027-05-01the item has no name of its own, and the write role names it
#SSZHproofattached

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