Slide 1 The Space Efficiency of OSHL Swaha Miller David A. Plaisted UNC Chapel Hill Slide 2 How do humans prove theorems? Semantics Case analysis Sequential search through…