56981
Gerhard J. Woeginger maintains a list that , as of 2018 , contains 62 purported proofs of " P " = " NP " , 50 proofs of " P " " ≠ " " NP " , 2 proofs the problem is unprovable , and one proof that it is undecidable .
 person: Gerhard J. Woeginger
Given options, please tell me the categories of all the listed entity words.Output format is "type1: word1; type2: word2". 
Option: media, plant, vehicle, astronomical object, time, disease, animal, location, person, organization, mythical figure, food, biology, geographical phenomenon, instrument, event 
Text: {0} 
 Entities: Gerhard J. Woeginger 
Answer:
 person: Gerhard J. Woeginger