Benutzerbeiträge von „82.135.86.87“

28. Juli 2010

• 14:1314:13, 28. Jul. 2010 Unterschied Versionen −4‎ Diskussion:3-SAT ‎ →‎3-SAT enthält 2-SAT
• 14:1214:12, 28. Jul. 2010 Unterschied Versionen +210‎ Diskussion:3-SAT ‎ →‎3-SAT enthält 2-SAT
• 13:3913:39, 28. Jul. 2010 Unterschied Versionen +651‎ Diskussion:3-SAT ‎ Disskussion: Aufwertung der Logik im Artikel
• 13:2913:29, 28. Jul. 2010 Unterschied Versionen +180‎ Diskussion:Kreiszahl ‎ →‎Hä?