Thread Tree View: sci.logic
1 messages
Depth: 0
Build time: 2.52360053sms
| 1 messages | Max depth: 0
Thread Tree
1 nodes
max depth: 0
1 leaves
Root Message
May 29: C.Fermueller: Nonelementary Speedups in Tableaux
From: Helmut Veith
Date: Wed, 24 May 1995 00:00
Article: 692
Message-ID: <3pv6b4$qt0@news.tuwien.ac.at>
Debug Information
Tree Statistics
- Root Article: 692
- Message Count: 1
- Max Depth: 0
- Cache Hit: No
- Build Time: 2.52360053s
Thread Root
- Subject: May 29: C.Fermueller: Nonelementary Speedups in Tableaux
- From: Helmut Veith
- Date: Wed, 24 May 1995 00:00
- Article: 692