stageSuccessorDefinition

P56886
predicate

Indicates that one stage is defined as the immediate successor of another stage in an ordered process or sequence.

Try in SPARQL

All labels observed (1)

Label Occurrences
stageSuccessorDefinition canonical 1

Sample triples (1)

Subject Object
constructible universe L_{alpha+1} = Def(L_alpha) ⓘ