Thread Tree View: sci.math.symbolic
2 messages
Depth: 1
Build time: 1.323586756sms
| 2 messages | Max depth: 1
Thread Tree
2 nodes
max depth: 1
1 leaves
Root Message
Automatic Theorem Proving?
From: Anthony J.R. Heading
Date: Tue, 26 Jan 1993 16:49
Article: 994
Message-ID: <1k3q28INN82l@signal.dra.hmg.gb>
Debug Information
Tree Statistics
- Root Article: 994
- Message Count: 2
- Max Depth: 1
- Cache Hit: No
- Build Time: 1.323586756s
Thread Root
- Subject: Automatic Theorem Proving?
- From: Anthony J.R. Heading
- Date: Tue, 26 Jan 1993 16:49
- Article: 994