🚀 go-pugleaf

RetroBBS NetNews Server

Inspired by RockSolid Light RIP Retro Guy

🏠 Home 📰 News 🗂️ Usenet Search 🔑 Login 📝 Register
Thread Tree View: sci.logic
5 messages Depth: 2 Cached
[T] Back to Threads [F] Flat View [G] Group Articles
Build time: 1.351851msms | 5 messages | Max depth: 2
Thread Tree
5 nodes max depth: 2 2 leaves
Root Message
Presburger arithmetic axiomatization

From: Jamie Andrews

Date: Thu, 13 Aug 1992 20:19

Article: 196

Message-ID: <1992Aug13.201939.6369@cs.sfu.ca>

View Article
Debug Information
Tree Statistics
  • Root Article: 196
  • Message Count: 5
  • Max Depth: 2
  • Cache Hit: Yes
  • Build Time: 1.351851ms
Thread Root
  • Subject: Presburger arithmetic axiomatization
  • From: Jamie Andrews
  • Date: Thu, 13 Aug 1992 20:19
  • Article: 196