classification_ss:"31.10 / Mathematische Logik / Mengenlehre"
classification_ss:"54.72 / Künstliche Intelligenz"
year_i:[2000 TO 2010}
language_ss:"e"
type_ss:"m"
1.0 = *:*, product of: 1.0 = boost 1.0 = queryNorm