classification_ss:"31.10 Mathematische Logik Mengenlehre"
subject_ss:"Mathematics / Philosophy"
1.0 = *:*, product of: 1.0 = boost 1.0 = queryNorm