Revision history for entry Ulrich, Dolph (1996). "The shortest possible length of the longest implicational axiom" [ULRTSP] |
| Time | Type | Notes |
| 2013-01-12T21:10:58 | update | System / admin update - |
| 2013-01-12T21:10:58 | update | System / admin update - |
Revision history for entry Ulrich, Dolph (1996). "The shortest possible length of the longest implicational axiom" [ULRTSP] |
| Time | Type | Notes |
| 2013-01-12T21:10:58 | update | System / admin update - |
| 2013-01-12T21:10:58 | update | System / admin update - |