subject_ss:"Gödelscher Unvollständigkeitssatz"
classification_ss:"UB 6000"
classification_ss:"CC 5200"
type_ss:"m"
classification_ss:"ST 285"
1.0 = *:*, product of: 1.0 = boost 1.0 = queryNorm