| Subject | From | # of followups |
|---|---|---|
| [mizar] KEAPPA - knowledge exchange for automated reasoning (fwd) | Josef Urban | 0 |
| [mizar] WELLFND1:1 | trybulec | 1 |
| Re: [mizar] WELLFND1:1 | Josef Urban | 1 |
| Re: [mizar] WELLFND1:1 | trybulec | 0 |
| [mizar] Revising UPROOTS: Global Choine | trybulec | 0 |
| [mizar] Translating Mizar into some standard FOPL-like format? | Ben Goertzel | 0 |
| Re: [mizar] Translating Mizar into some standard FOPL-like format? | Josef Urban | 1 |
| Re: [mizar] Translating Mizar into some standard FOPL-like format? | Ben Goertzel | 0 |
| [mizar] Element versus Subgroup | Freek Wiedijk | 2 |
| [mizar] Second CFP - JAR special issue for PLMMS | Makarius | 0 |
| [mizar] New Mizar articles | Adam Grabowski | 1 |
| Re: [mizar] New Mizar articles | Piotr Rudnicki | 0 |
| Re: [mizar] Element versus Subgroup | Piotr Rudnicki | 0 |
| Re: [mizar] Element versus Subgroup | trybulec | 1 |
| Re: [mizar] Element versus Subgroup | Freek Wiedijk | 0 |