Fact #2956 von profmakx

Geschrieben: 2008-11-20 in #zanzibar

The PCP (PostCard Problem) is semi decidable!