Fact #2955 von profmakx

Geschrieben: 2008-11-20 in #zanzibar

The godot waiting problem is semi-decidable.