Question: How much has been proved by Alexander Grothendieck?
Paraphrase: Alexander Grothendieck proved how many things?
SPARQL (Wikidata): SELECT (COUNT(?sub) AS ?value ) { ?sub wdt:P1318 wd:Q77141 }
Answer: 4