@InProceedings{   SEP:hilbert,
  Author        = "of Philosophy, Stanford Encyclopedia",
  date-added    = "2020-06-03 08:09:02 +0200",
  date-modified = "2020-06-03 08:09:35 +0200",
  Title         = "Hilbert's program",
  File          = "Hilbert’s Program (Stanford Encyclopedia of Philosophy) - a - s.pdf"
}

@InProceedings{ SEP:hilbert, Author = "of Philosophy, Stanford Encyclopedia", date-added = "2020-06-03 08:09:02 +0200", date-modified = "2020-06-03 08:09:35 +0200", Title = "Hilbert's program", File = "Hilbert’s Program (Stanford Encyclopedia of Philosophy) - a - s.pdf" }