18 ביולי 2017
2 במאי 2017
25 באפריל 2017
7 ביולי 2016
27 בספטמבר 2012
18 בפברואר 2012
12 בפברואר 2012
8 בפברואר 2012
←כריעות למחצה חיובית
+830
←כריעות למחצה חיובית: M מכריעה שונה מ M מונה רקורסיבית
+27
←כריעות (מלאה): מוטיבציה
+579
←כריעות (מלאה)
+10
←כריעות (מלאה): הגדרה
+24
←כריעות למחצה חיובית: איחוש הגדרות
−56
←כריעות למחצה שלילית: איחוד הגדרות
+105
←תכונות מחלקות הכריעות: תיקון תבנית הוכחה
מ−14
4 בפברואר 2012
27 בינואר 2012
25 בינואר 2012
24 בינואר 2012
←כריעות: מחלקות של שפות ותכונותיהן: הרחבה - אטימולוגיה של רקורסיבית ונתנת למניה רקורסיבית
+1,084
←כריעות: מחלקות של שפות ותכונותיהן: הרחבה
מ+226
23 בינואר 2012
22 בינואר 2012
שוחזר מעריכה של Atavory (שיחה) לעריכה האחרונה של Gran
מ−89
←דוגמאות לשפות
−6
←כריעות: מחלקות של שפות ותכונותיהן: הגהה
מ+97
הגהה
מ−2