Frisch, A.M.; Allen, J.F.: Knowledge retrieval as limited inference (1982)
0.01
0.0075771073 = product of:
0.037885536 = sum of:
0.037885536 = weight(_text_:7 in 5804) [ClassicSimilarity], result of:
0.037885536 = score(doc=5804,freq=2.0), product of:
0.17251469 = queryWeight, product of:
3.3127685 = idf(docFreq=4376, maxDocs=44218)
0.052075688 = queryNorm
0.21960759 = fieldWeight in 5804, product of:
1.4142135 = tf(freq=2.0), with freq of:
2.0 = termFreq=2.0
3.3127685 = idf(docFreq=4376, maxDocs=44218)
0.046875 = fieldNorm(doc=5804)
0.2 = coord(1/5)
- Source
- 6th Conference on Automated Deduction. CADE 1982. New York, USA, June 7-9, 1982. Ed.: D.W. Loveland