Frisch, A.M.; Allen, J.F.: Knowledge retrieval as limited inference (1982)
0.01
0.008607907 = product of:
0.043039534 = sum of:
0.043039534 = weight(_text_:7 in 5804) [ClassicSimilarity], result of:
0.043039534 = score(doc=5804,freq=2.0), product of:
0.19598381 = queryWeight, product of:
3.3127685 = idf(docFreq=4376, maxDocs=44218)
0.059160132 = 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
