Title: Partial proofs and partial answers
Subjects: Artificial intelligence