Strikte Expansion?
2007-11-20 10:48
Anonymer User
Def 2.4.7 LOS Skript Teil 1 steht:
Ein Tableauzweig ist genau dann vollendet wenn atomar abgeschlossen oder keine strikte expansion ermöglicht.
Woran erkennt man denn ob ein Zweig nicht mehrfach expandiert werden kann?
Ein Tableauzweig ist genau dann vollendet wenn atomar abgeschlossen oder keine strikte expansion ermöglicht.
Woran erkennt man denn ob ein Zweig nicht mehrfach expandiert werden kann?