author_ss:"Chaitin, G.J."
subject_ss:"Metamathematik / LISP"
type_ss:"m"
1.0 = *:*, product of: 1.0 = boost 1.0 = queryNorm