Question: Which is the nLab ID for module?
SPARQL (Wikidata): select distinct ?answer where { wd:Q18848 wdt:P4215 ?answer}