Frisch, A.M.; Allen, J.F.: Knowledge retrieval as limited inference (1982)
0.00
0.004737216 = product of:
0.03316051 = sum of:
0.03316051 = weight(_text_:ed in 5804) [ClassicSimilarity], result of:
0.03316051 = score(doc=5804,freq=2.0), product of:
0.140671 = queryWeight, product of:
3.5559888 = idf(docFreq=3431, maxDocs=44218)
0.0395589 = queryNorm
0.23573098 = fieldWeight in 5804, product of:
1.4142135 = tf(freq=2.0), with freq of:
2.0 = termFreq=2.0
3.5559888 = idf(docFreq=3431, maxDocs=44218)
0.046875 = fieldNorm(doc=5804)
0.14285715 = coord(1/7)
- Source
- 6th Conference on Automated Deduction. CADE 1982. New York, USA, June 7-9, 1982. Ed.: D.W. Loveland