You may also resolve directly at: https://dns.google/resolve?name=mediawiki.isr.tecnico.ulisboa.pt&type=A