G,HH: VAR graph[T]
w1,w2,v,s,t,z: VAR T
e: VAR doubleton[T]
V: VAR finite_set[T]
p: VAR prewalk
walk?_subgraph : LEMMA subgraph?(HH,G) AND walk?(HH, p) IMPLIES walk?(G, p)
path?_subgraph : LEMMA subgraph?(HH,G) AND path?(HH, p) IMPLIES path?(G, p)
END subgraph_paths
¤ Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.0.12Bemerkung:
(vorverarbeitet)
¤
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung ist noch experimentell.
