subject_ss:"Gödel, Kurt"
classification_ss:"31.10 / Mathematische Logik / Mengenlehre"
1.0 = *:*, product of: 1.0 = boost 1.0 = queryNorm