Facts
Urlhttps://en.wikipedia.org/wiki/Walter_Savitch
Sources
Wikipedia: Walter Savitch
Lead sectionQuote, Lead section
Walter John Savitch (February 21, 1943 - February 1, 2021) was best known for defining the complexity class NL (nondeterministic logarithmic space), and for Savitch's theorem, which defines a relationship between the NSPACE and DSPACE complexity classes.
Claims Backed By This Source (6 claims)
This source backs 6 claims across the atlas. As facts: 4 well-attested. As cited relationships: 1 holds. Plus 1 entities citing it as a general reference with no single fact or relationship attached.
Disposition By Topic
- Pioneers, 5 claims: 3 well-attested, 1 holds, 1 general references.
- Sources, 1 claims: 1 well-attested.
Reader Challenges (0)
No disputes yet. Spotted an error or a better source? Open the first one.
Sign in to dispute this or suggest a correction.