16 בספטמבר 2015
- 16:1116:11, 16 בספטמבר 2015 הבדל היסטוריה +3 בין כוכבים אין תקציר עריכה
22 במאי 2013
- 13:1513:15, 22 במאי 2013 הבדל היסטוריה +160 פסוק (לוגיקה מתמטית) ←דוגמאות
- 13:1213:12, 22 במאי 2013 הבדל היסטוריה +16 נוסחה אטומית אין תקציר עריכה
- 13:1213:12, 22 במאי 2013 הבדל היסטוריה +534 נוסחה אטומית אין תקציר עריכה