Gödel, K.: Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme, I (1931)
0.01
0.006115542 = product of:
0.03669325 = sum of:
0.03669325 = weight(_text_:der in 5661) [ClassicSimilarity], result of:
0.03669325 = score(doc=5661,freq=2.0), product of:
0.09292302 = queryWeight, product of:
2.2337668 = idf(docFreq=12875, maxDocs=44218)
0.04159925 = queryNorm
0.3948779 = fieldWeight in 5661, product of:
1.4142135 = tf(freq=2.0), with freq of:
2.0 = termFreq=2.0
2.2337668 = idf(docFreq=12875, maxDocs=44218)
0.125 = fieldNorm(doc=5661)
0.16666667 = coord(1/6)
