Fact #2956 von profmakx
Geschrieben: 2008-11-20 in #zanzibar
The PCP (PostCard Problem) is semi decidable!