-
Deransart, P.; Ed-Dbali, A.A.; Cervoni, L.: Prolog: the standard : Reference manual (1996)
0.20
0.20233725 = sum of:
0.20233725 = product of:
1.6861438 = sum of:
0.058964532 = weight(abstract_txt:language in 5634) [ClassicSimilarity], result of:
0.058964532 = score(doc=5634,freq=1.0), product of:
0.09023556 = queryWeight, product of:
1.3092304 = boost
4.1820874 = idf(docFreq=1834, maxDocs=44218)
0.01648043 = queryNorm
0.65345114 = fieldWeight in 5634, product of:
1.0 = tf(freq=1.0), with freq of:
1.0 = termFreq=1.0
4.1820874 = idf(docFreq=1834, maxDocs=44218)
0.15625 = fieldNorm(doc=5634)
0.3851602 = weight(abstract_txt:programming in 5634) [ClassicSimilarity], result of:
0.3851602 = score(doc=5634,freq=1.0), product of:
0.36094567 = queryWeight, product of:
3.2069616 = boost
6.829353 = idf(docFreq=129, maxDocs=44218)
0.01648043 = queryNorm
1.0670863 = fieldWeight in 5634, product of:
1.0 = tf(freq=1.0), with freq of:
1.0 = termFreq=1.0
6.829353 = idf(docFreq=129, maxDocs=44218)
0.15625 = fieldNorm(doc=5634)
1.242019 = weight(abstract_txt:prolog in 5634) [ClassicSimilarity], result of:
1.242019 = score(doc=5634,freq=2.0), product of:
0.6253019 = queryWeight, product of:
4.221023 = boost
8.988837 = idf(docFreq=14, maxDocs=44218)
0.01648043 = queryNorm
1.9862711 = fieldWeight in 5634, product of:
1.4142135 = tf(freq=2.0), with freq of:
2.0 = termFreq=2.0
8.988837 = idf(docFreq=14, maxDocs=44218)
0.15625 = fieldNorm(doc=5634)
0.12 = coord(3/25)
-
Karisiddappa, C.R.; Prasad, A.R.D.: Declarative programming and thesaurus construction (1993)
0.18
0.17782842 = sum of:
0.17782842 = product of:
1.4819036 = sum of:
0.058964532 = weight(abstract_txt:language in 3217) [ClassicSimilarity], result of:
0.058964532 = score(doc=3217,freq=1.0), product of:
0.09023556 = queryWeight, product of:
1.3092304 = boost
4.1820874 = idf(docFreq=1834, maxDocs=44218)
0.01648043 = queryNorm
0.65345114 = fieldWeight in 3217, product of:
1.0 = tf(freq=1.0), with freq of:
1.0 = termFreq=1.0
4.1820874 = idf(docFreq=1834, maxDocs=44218)
0.15625 = fieldNorm(doc=3217)
0.5446988 = weight(abstract_txt:programming in 3217) [ClassicSimilarity], result of:
0.5446988 = score(doc=3217,freq=2.0), product of:
0.36094567 = queryWeight, product of:
3.2069616 = boost
6.829353 = idf(docFreq=129, maxDocs=44218)
0.01648043 = queryNorm
1.509088 = fieldWeight in 3217, product of:
1.4142135 = tf(freq=2.0), with freq of:
2.0 = termFreq=2.0
6.829353 = idf(docFreq=129, maxDocs=44218)
0.15625 = fieldNorm(doc=3217)
0.87824017 = weight(abstract_txt:prolog in 3217) [ClassicSimilarity], result of:
0.87824017 = score(doc=3217,freq=1.0), product of:
0.6253019 = queryWeight, product of:
4.221023 = boost
8.988837 = idf(docFreq=14, maxDocs=44218)
0.01648043 = queryNorm
1.4045058 = fieldWeight in 3217, product of:
1.0 = tf(freq=1.0), with freq of:
1.0 = termFreq=1.0
8.988837 = idf(docFreq=14, maxDocs=44218)
0.15625 = fieldNorm(doc=3217)
0.12 = coord(3/25)
-
Leigh, W.; Paz, N.: Conventional and knowledge-based information retrieval with Prolog (1988)
0.18
0.17580673 = sum of:
0.17580673 = product of:
1.0987921 = sum of:
0.04090013 = weight(abstract_txt:knowledge in 654) [ClassicSimilarity], result of:
0.04090013 = score(doc=654,freq=2.0), product of:
0.06512238 = queryWeight, product of:
1.1122242 = boost
3.5527887 = idf(docFreq=3442, maxDocs=44218)
0.01648043 = queryNorm
0.62805027 = fieldWeight in 654, product of:
1.4142135 = tf(freq=2.0), with freq of:
2.0 = termFreq=2.0
3.5527887 = idf(docFreq=3442, maxDocs=44218)
0.125 = fieldNorm(doc=654)
0.047171626 = weight(abstract_txt:language in 654) [ClassicSimilarity], result of:
0.047171626 = score(doc=654,freq=1.0), product of:
0.09023556 = queryWeight, product of:
1.3092304 = boost
4.1820874 = idf(docFreq=1834, maxDocs=44218)
0.01648043 = queryNorm
0.5227609 = fieldWeight in 654, product of:
1.0 = tf(freq=1.0), with freq of:
1.0 = termFreq=1.0
4.1820874 = idf(docFreq=1834, maxDocs=44218)
0.125 = fieldNorm(doc=654)
0.30812818 = weight(abstract_txt:programming in 654) [ClassicSimilarity], result of:
0.30812818 = score(doc=654,freq=1.0), product of:
0.36094567 = queryWeight, product of:
3.2069616 = boost
6.829353 = idf(docFreq=129, maxDocs=44218)
0.01648043 = queryNorm
0.8536691 = fieldWeight in 654, product of:
1.0 = tf(freq=1.0), with freq of:
1.0 = termFreq=1.0
6.829353 = idf(docFreq=129, maxDocs=44218)
0.125 = fieldNorm(doc=654)
0.70259213 = weight(abstract_txt:prolog in 654) [ClassicSimilarity], result of:
0.70259213 = score(doc=654,freq=1.0), product of:
0.6253019 = queryWeight, product of:
4.221023 = boost
8.988837 = idf(docFreq=14, maxDocs=44218)
0.01648043 = queryNorm
1.1236047 = fieldWeight in 654, product of:
1.0 = tf(freq=1.0), with freq of:
1.0 = termFreq=1.0
8.988837 = idf(docFreq=14, maxDocs=44218)
0.125 = fieldNorm(doc=654)
0.16 = coord(4/25)
-
Hess, M.: ¬An incrementally extensible document retrieval system based on linguistic and logical principles (1992)
0.09
0.08952071 = sum of:
0.08952071 = product of:
0.44760352 = sum of:
0.014969094 = weight(abstract_txt:data in 2413) [ClassicSimilarity], result of:
0.014969094 = score(doc=2413,freq=1.0), product of:
0.05742938 = queryWeight, product of:
1.044466 = boost
3.3363478 = idf(docFreq=4274, maxDocs=44218)
0.01648043 = queryNorm
0.26065218 = fieldWeight in 2413, product of:
1.0 = tf(freq=1.0), with freq of:
1.0 = termFreq=1.0
3.3363478 = idf(docFreq=4274, maxDocs=44218)
0.078125 = fieldNorm(doc=2413)
0.032017846 = weight(abstract_txt:systems in 2413) [ClassicSimilarity], result of:
0.032017846 = score(doc=2413,freq=4.0), product of:
0.060059067 = queryWeight, product of:
1.0681113 = boost
3.4118783 = idf(docFreq=3963, maxDocs=44218)
0.01648043 = queryNorm
0.53310597 = fieldWeight in 2413, product of:
2.0 = tf(freq=4.0), with freq of:
4.0 = termFreq=4.0
3.4118783 = idf(docFreq=3963, maxDocs=44218)
0.078125 = fieldNorm(doc=2413)
0.065924354 = weight(abstract_txt:language in 2413) [ClassicSimilarity], result of:
0.065924354 = score(doc=2413,freq=5.0), product of:
0.09023556 = queryWeight, product of:
1.3092304 = boost
4.1820874 = idf(docFreq=1834, maxDocs=44218)
0.01648043 = queryNorm
0.7305806 = fieldWeight in 2413, product of:
2.236068 = tf(freq=5.0), with freq of:
5.0 = termFreq=5.0
4.1820874 = idf(docFreq=1834, maxDocs=44218)
0.078125 = fieldNorm(doc=2413)
0.14211212 = weight(abstract_txt:logical in 2413) [ClassicSimilarity], result of:
0.14211212 = score(doc=2413,freq=1.0), product of:
0.29475078 = queryWeight, product of:
2.898013 = boost
6.1714344 = idf(docFreq=250, maxDocs=44218)
0.01648043 = queryNorm
0.4821433 = fieldWeight in 2413, product of:
1.0 = tf(freq=1.0), with freq of:
1.0 = termFreq=1.0
6.1714344 = idf(docFreq=250, maxDocs=44218)
0.078125 = fieldNorm(doc=2413)
0.1925801 = weight(abstract_txt:programming in 2413) [ClassicSimilarity], result of:
0.1925801 = score(doc=2413,freq=1.0), product of:
0.36094567 = queryWeight, product of:
3.2069616 = boost
6.829353 = idf(docFreq=129, maxDocs=44218)
0.01648043 = queryNorm
0.53354317 = fieldWeight in 2413, product of:
1.0 = tf(freq=1.0), with freq of:
1.0 = termFreq=1.0
6.829353 = idf(docFreq=129, maxDocs=44218)
0.078125 = fieldNorm(doc=2413)
0.2 = coord(5/25)
-
Moilanen, K.; Niemi, T.; Näppilä, T.; Kuru, M.: ¬A visual XML dataspace approach for satisfying ad hoc information needs (2015)
0.09
0.08906935 = sum of:
0.08906935 = product of:
0.3711223 = sum of:
0.025927229 = weight(abstract_txt:data in 2269) [ClassicSimilarity], result of:
0.025927229 = score(doc=2269,freq=3.0), product of:
0.05742938 = queryWeight, product of:
1.044466 = boost
3.3363478 = idf(docFreq=4274, maxDocs=44218)
0.01648043 = queryNorm
0.4514628 = fieldWeight in 2269, product of:
1.7320508 = tf(freq=3.0), with freq of:
3.0 = termFreq=3.0
3.3363478 = idf(docFreq=4274, maxDocs=44218)
0.078125 = fieldNorm(doc=2269)
0.027728269 = weight(abstract_txt:systems in 2269) [ClassicSimilarity], result of:
0.027728269 = score(doc=2269,freq=3.0), product of:
0.060059067 = queryWeight, product of:
1.0681113 = boost
3.4118783 = idf(docFreq=3963, maxDocs=44218)
0.01648043 = queryNorm
0.4616833 = fieldWeight in 2269, product of:
1.7320508 = tf(freq=3.0), with freq of:
3.0 = termFreq=3.0
3.4118783 = idf(docFreq=3963, maxDocs=44218)
0.078125 = fieldNorm(doc=2269)
0.06984188 = weight(abstract_txt:satisfy in 2269) [ClassicSimilarity], result of:
0.06984188 = score(doc=2269,freq=1.0), product of:
0.12727343 = queryWeight, product of:
1.0994642 = boost
7.0240583 = idf(docFreq=106, maxDocs=44218)
0.01648043 = queryNorm
0.5487546 = fieldWeight in 2269, product of:
1.0 = tf(freq=1.0), with freq of:
1.0 = termFreq=1.0
7.0240583 = idf(docFreq=106, maxDocs=44218)
0.078125 = fieldNorm(doc=2269)
0.02556258 = weight(abstract_txt:knowledge in 2269) [ClassicSimilarity], result of:
0.02556258 = score(doc=2269,freq=2.0), product of:
0.06512238 = queryWeight, product of:
1.1122242 = boost
3.5527887 = idf(docFreq=3442, maxDocs=44218)
0.01648043 = queryNorm
0.39253142 = fieldWeight in 2269, product of:
1.4142135 = tf(freq=2.0), with freq of:
2.0 = termFreq=2.0
3.5527887 = idf(docFreq=3442, maxDocs=44218)
0.078125 = fieldNorm(doc=2269)
0.029482266 = weight(abstract_txt:language in 2269) [ClassicSimilarity], result of:
0.029482266 = score(doc=2269,freq=1.0), product of:
0.09023556 = queryWeight, product of:
1.3092304 = boost
4.1820874 = idf(docFreq=1834, maxDocs=44218)
0.01648043 = queryNorm
0.32672557 = fieldWeight in 2269, product of:
1.0 = tf(freq=1.0), with freq of:
1.0 = termFreq=1.0
4.1820874 = idf(docFreq=1834, maxDocs=44218)
0.078125 = fieldNorm(doc=2269)
0.1925801 = weight(abstract_txt:programming in 2269) [ClassicSimilarity], result of:
0.1925801 = score(doc=2269,freq=1.0), product of:
0.36094567 = queryWeight, product of:
3.2069616 = boost
6.829353 = idf(docFreq=129, maxDocs=44218)
0.01648043 = queryNorm
0.53354317 = fieldWeight in 2269, product of:
1.0 = tf(freq=1.0), with freq of:
1.0 = termFreq=1.0
6.829353 = idf(docFreq=129, maxDocs=44218)
0.078125 = fieldNorm(doc=2269)
0.24 = coord(6/25)