Wörter suchen
Wort
beginnt mit
ended mit
enthält
suchen
2 Wörter die oare enthalten
Hoare-Kalkül
Hoare-Logik