"1931"^^ . "Hörmander" . . . "Lars Hörmander" . . . "Lars" . _:Bb92fc96b38ce9486202366c5951cdf8f . "Hörmander, Lars (1931-)" . _:Bb92fc96b38ce9486202366c5951cdf8f . _:Bb92fc96b38ce9486202366c5951cdf8f . _:Bb92fc96b38ce9486202366c5951cdf8f "2023-05-20"^^ . _:Bb92fc96b38ce9486202366c5951cdf8f . _:Bb92fc96b38ce9486202366c5951cdf8f . _:Bb92fc96b38ce9486202366c5951cdf8f "067908969" . _:Bb92fc96b38ce9486202366c5951cdf8f . _:Bb92fc96b38ce9486202366c5951cdf8f . _:Bb92fc96b38ce9486202366c5951cdf8f .