Multiple Answer Extraction
for Question Answering with
Automated Theorem Proving Systems

Getting Single Answers

• Use an ATP system
• OAESys

Gettings Multiple Answers

• Answers that are Unequal or Look Different
• Answers that Look Different and Might Be Unequal