Paper Title:BOOK REVIEWS Primarily assigned technology terms: theorem proving Other assigned terms: theorem Extracted Section Types: This page last edited on 06 October 2025.
