Assertion: graph's vertex | /r/HasProperty | universal
Facets:
value: in the logic of graphs
type: OTHER
Source sentences:
text: For instance, wheel graphs and connected threshold graphs always have a universal vertex.
text: In the logic of graphs, a vertex that is universally quantified in a formula may be called a universal vertex for that formula.
text: For instance, wheel graphs and connected threshold graphs always have a universal vertex.