Reasoning Web : Semantic Interoperability on the Web, 13th International Summer School 2017, London, UK, July 7-11, 2017, Tutorial Lectures (2017)
0.04
0.038022835 = product of:
0.15209134 = sum of:
0.15209134 = weight(_text_:logic in 3934) [ClassicSimilarity], result of:
0.15209134 = score(doc=3934,freq=8.0), product of:
0.22827008 = queryWeight, product of:
6.0304604 = idf(docFreq=288, maxDocs=44218)
0.037852846 = queryNorm
0.666278 = fieldWeight in 3934, product of:
2.828427 = tf(freq=8.0), with freq of:
8.0 = termFreq=8.0
6.0304604 = idf(docFreq=288, maxDocs=44218)
0.0390625 = fieldNorm(doc=3934)
0.25 = coord(1/4)
- LCSH
- Mathematical logic
Mathematical Logic and Formal Languages
- Subject
- Mathematical logic
Mathematical Logic and Formal Languages
