7 בספטמבר 2018
27 בפברואר 2017
18 בפברואר 2012
←שפה שאינה כריעה למחצה: הגהה, עיצוב
מ+171
←שפה שאינה כריעה למחצה
מ+1
←שימושים במשפט הרדוקציה: הרחבה: דוגמא לשפה מחוץ למחלקות החצ-כריעות
+1,435
11 בפברואר 2012
←שימושים במשפט הרדוקציה: הארה על שתי שיטות ההוכחה
+652
←שימושים במשפט הרדוקציה: אי כריעות האלכסון
+1,683
←משפטים: עיצוב, הגהה, להשלים: הוכחת שפה האלכסון.
מ+933
←תכונות בסיסיות של רדוקציות: עיצוב
מ−1
←רדוקציות בין שפות: עיצוב, עקביות שם HP
מ−11
←פתיח: הגהה
מ+116
9 בפברואר 2012
8 בפברואר 2012
אין תקציר עריכה
+1,629
קישורים פנימיים
מ+9
תורת החישוביות/כריעות שפות/רדוקציה הועבר לתורת החישוביות/כריעות שפות/רדוקציה חישובית: סידור לפני איחוד
מ
29 בינואר 2012
28 בינואר 2012
23 בינואר 2012
תיקון קישור
מ+20
←משפט הרדוקציה: הגהה
מ+66
←תכונות הרדוקציה
מ+20
←דוגמה: רדוקציה מהשפה האוניברסלית לבעיית העצירה: תקלדה
מ−3
עריכה - הורדת תבנית בעבודה
מ−16
←דוגמא נוספת:
+353
←הגדרה
+85
←דוגמה לרדוקציה ומאפייניה
−78
←הגדרה: הגהה, קישורים פנימיים
מ+207
←מוטיבציה
+1,306
הגהה
מ−236
עריכה
מ+16