31 בינואר 2019
1 באוגוסט 2012
18 בפברואר 2012
12 בפברואר 2012
11 בפברואר 2012
Gran
←קיום שפות לא כריעות למחצה: עדכון לשפות שאינן בRE וגם לא coRE
+13
Gran
←קיום שפות לא כריעות: הבלטה כהגדרה, עריכה
+330
Gran
←קיום שפות לא כריעות: עיצוב
מ+10
10 בפברואר 2012
Atavory
←קיום שפות לא כריעות למחצה: הרחבה, עריכה - coRE, אחידות סימונים
+262
Atavory
←קיום שפות לא כריעות למחצה: הרחבה
+91
Gran
←קיום שפות לא כריעות למחצה: עריכה, עיצוב
מ−77
Gran
←קיום שפות לא כריעות: עריכה
מ+234
8 בפברואר 2012
Atavory
אין תקציר עריכה
−2,810
Gran
קישורים פנימיים
מ+15
Gran
קישורים פנימיים
מ+75
Gran
תורת החישוביות/כריעות שפות/שפות שאינן כריעות הועבר לתורת החישוביות/כריעות שפות/קיום שפות שאינן כריעות: סידור לפני איחוד
מ
4 בפברואר 2012
28 בינואר 2012
26 בינואר 2012
Atavory
←תרגילים: עריכה - נווט תחתון
מ−6,544
Atavory
←תרגילים: הרחבה
+463
Atavory
←תרגילים
+3,167
Atavory
←אי-כריעות שפות נוספות דרך תכונות בסיסיות של רדוקציות ומשפטי רדוקציות: הגהה
מ−3,167
Atavory
←אי-כריעות שפות נוספות דרך תכונות בסיסיות של רדוקציות ומשפטי רדוקציות
+20
Atavory
←אי-כריעות שפות נוספות דרך תכונות בסיסיות של רדוקציות ומשפטי רדוקציות: הרחבה
+697
Atavory
←אי-כריעות שפות נוספות דרך תכונות בסיסיות של רדוקציות ומשפטי רדוקציות
+672
23 בינואר 2012
Atavory
הגהה
מ+119
Atavory
←אי-כריעות שפות נוספות דרך תכונות בסיסיות של רדוקציות ומשפטי רדוקציות: הוספת התרגילים של gran
+4,686
Atavory
הגהה
מ−16
Atavory
←אי כריעות שפות נוספות דרך תכונות בסיסיות של רדוקציות ומשפטי רדוקציות: הגהה
מAtavory
←אי כריעות משלימת שפת האלכסון: הגהה
מAtavory
←הקבוצה RE \setminus R איננה ריקה
+319
Atavory
אין תקציר עריכה
+232
Atavory
אין תקציר עריכה
+33
Atavory
←הקבוצה \sigma^* \setminus RE איננה ריקה
−347
Atavory
אין תקציר עריכה
−347
Atavory
הגהה
מ+49
Atavory
←הוכחה בעזרת עוצמות
+275
Atavory
←אי כריעות משלימת שפת האלכסון: הגהה
מ+2
Atavory
←הוכחה דרך תכונות בסיסיות של רדוקציות ומשפטי רדוקציות: קישורים פנימיים
מ−54
Atavory
←הוכחה דרך לכסון לאי-כריעות ושימוש ברדוקציות: הגהה
מ+1,265
Atavory
←אי כריעות משלימת שפת האלכסון
−74
Atavory
←הוכחה ישירה לאי-כריעותה של בעיית העצירה: הרחבה
+1,921
Atavory
הגהה
מ+12
Atavory
←הוכחה בעזרת עוצמות: הרחבה
מ+86
Atavory
עריכה
+357
Atavory
←שפות שאינן כריעות
−7,679
Atavory
←הוכחה בעזרת עוצמות
+102
Atavory
←הוכחה ישירה לאי-כריעותה של בעיית העצירה: הגהה
מ+120
Atavory
אין תקציר עריכה
−168
Atavory
←הוכחה ישירה לאי-כריעותה של בעיית העצירה
+1,327
Atavory
אין תקציר עריכה
מ+1