Substitution (logic)

This page lists the items of the Wikipedia article Substitution (logic) 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 1337324588, with the assessment Start/Low.

Outcome	Items
deferred	6
attached	3

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

Item	Kind	Name	Outcome	Reason
subject	definition	Substitution	deferred until 2027-05-01	the item has the flag citation-needed (WP9.2)
#5KKS	statement	Theorem	deferred until 2027-05-01	the item has no name of its own, and the write role names it
#5PCR	proof	Recursive formulas	attached
#IXFL	proof	Base formulas	attached
#KX2K	proof	Proof of substitution in ZFC	attached
#M05R	statement	Axiom	deferred until 2027-05-01	the heading is one word, so it names a part of the text and not one item
#SCU1	unknown	Ground instance	deferred until 2027-05-01	the kind of the item is unknown
#WL04	definition	Definition	deferred until 2027-05-01	the cue heading names a section and not one item
#XOQ2	definition	Definition	deferred until 2027-05-01	the item has no name of its own, and the write role names it

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