Reyzin, L.: Unprovability comes to machine learning (2019)
0.03
0.0326475 = product of:
0.13059 = sum of:
0.13059 = weight(_text_:logik in 4687) [ClassicSimilarity], result of:
0.13059 = score(doc=4687,freq=2.0), product of:
0.24834694 = queryWeight, product of:
6.7990475 = idf(docFreq=133, maxDocs=44218)
0.036526725 = queryNorm
0.525837 = fieldWeight in 4687, product of:
1.4142135 = tf(freq=2.0), with freq of:
2.0 = termFreq=2.0
6.7990475 = idf(docFreq=133, maxDocs=44218)
0.0546875 = fieldNorm(doc=4687)
0.25 = coord(1/4)
- Field
- Mathematische Logik
