Benutzerbeiträge von „188.101.207.70“
Für 188.101.207.70 Diskussion Sperr-Logbuch Logbücher globales Sperr-Logbuch Bearbeitungsfilter-Logbuch
24. Februar 2014
- 08:1208:12, 24. Feb. 2014 Unterschied Versionen +582 Diskussion:Halteproblem Neuer Abschnitt →Anmerkung: Semi-entscheidbar wenn Reduktion auf PCP?!