Document (#23063)

Author

Ganter, B.
Wille, R.

Title

Formal concept analysis : mathematical foundations

Imprint

Berlin : Springer

Year

1998

Pages

300 S

Isbn

3-540-62771-5

Abstract

This is the first textbook on formal concept analysis. It gives a systematic presentation of the mathematical foundations and their relation to applications in computer science, especially data analysis and knowledge processing. Above all, it presents graphical methods for representing conceptual systems that have proved themselves in communicating knowledge. Theory and graphical representation are thus closely coupled together. The mathematical foundations are treated thouroughly and illuminated by means of numerous examples. Since computers are being used ever more widely for knowledge processing, formal methods for conceptual analysis are gaining in importance. This book makes the basic theory for such methods accessible in a compact form

Content

Order theoretical foundations. - Concept lattices of contexts. - Determination and presentation. - Parts and factors. - Analysis, construction and properties of concept lattices. - Context comparison and conceptual measurability

Footnote

Rez. in: KO 26(1999) no.3, S.172-173 (U. Priss)

Theme

Formale Begriffsanalyse

RSWK

Formale Begriffsanalyse

Similar documents (author)

1. Ganter, B.; Wille, R.: Conceptual scaling (1989) 6.07

   6.0731163 = sum of:
     6.0731163 = sum of:
       2.2329874 = weight(author_txt:wille in 3138) [ClassicSimilarity], result of:
         2.2329874 = score(doc=3138,freq=1.0), product of:
           0.571627 = queryWeight, product of:
             7.8127427 = idf(docFreq=46, maxDocs=42740)
             0.07316598 = queryNorm
           3.9063714 = fieldWeight in 3138, product of:
             1.0 = tf(freq=1.0), with freq of:
               1.0 = termFreq=1.0
             7.8127427 = idf(docFreq=46, maxDocs=42740)
             0.5 = fieldNorm(doc=3138)
       3.8401291 = weight(author_txt:ganter in 3138) [ClassicSimilarity], result of:
         3.8401291 = score(doc=3138,freq=1.0), product of:
           0.8205136 = queryWeight, product of:
             1.198082 = boost
             9.360306 = idf(docFreq=9, maxDocs=42740)
             0.07316598 = queryNorm
           4.680153 = fieldWeight in 3138, product of:
             1.0 = tf(freq=1.0), with freq of:
               1.0 = termFreq=1.0
             9.360306 = idf(docFreq=9, maxDocs=42740)
             0.5 = fieldNorm(doc=3138)
   

2. Ganter, B.; Wille, R.: Implikationen und Abhängigkeiten zwischen Merkmalen (1986) 6.07

   6.0731163 = sum of:
     6.0731163 = sum of:
       2.2329874 = weight(author_txt:wille in 5448) [ClassicSimilarity], result of:
         2.2329874 = score(doc=5448,freq=1.0), product of:
           0.571627 = queryWeight, product of:
             7.8127427 = idf(docFreq=46, maxDocs=42740)
             0.07316598 = queryNorm
           3.9063714 = fieldWeight in 5448, product of:
             1.0 = tf(freq=1.0), with freq of:
               1.0 = termFreq=1.0
             7.8127427 = idf(docFreq=46, maxDocs=42740)
             0.5 = fieldNorm(doc=5448)
       3.8401291 = weight(author_txt:ganter in 5448) [ClassicSimilarity], result of:
         3.8401291 = score(doc=5448,freq=1.0), product of:
           0.8205136 = queryWeight, product of:
             1.198082 = boost
             9.360306 = idf(docFreq=9, maxDocs=42740)
             0.07316598 = queryNorm
           4.680153 = fieldWeight in 5448, product of:
             1.0 = tf(freq=1.0), with freq of:
               1.0 = termFreq=1.0
             9.360306 = idf(docFreq=9, maxDocs=42740)
             0.5 = fieldNorm(doc=5448)
   

3. Ganter, B.; Wille, R.: Formale Begriffsanalyse : Mathematische Grundlagen (1996) 6.07

   6.0731163 = sum of:
     6.0731163 = sum of:
       2.2329874 = weight(author_txt:wille in 4674) [ClassicSimilarity], result of:
         2.2329874 = score(doc=4674,freq=1.0), product of:
           0.571627 = queryWeight, product of:
             7.8127427 = idf(docFreq=46, maxDocs=42740)
             0.07316598 = queryNorm
           3.9063714 = fieldWeight in 4674, product of:
             1.0 = tf(freq=1.0), with freq of:
               1.0 = termFreq=1.0
             7.8127427 = idf(docFreq=46, maxDocs=42740)
             0.5 = fieldNorm(doc=4674)
       3.8401291 = weight(author_txt:ganter in 4674) [ClassicSimilarity], result of:
         3.8401291 = score(doc=4674,freq=1.0), product of:
           0.8205136 = queryWeight, product of:
             1.198082 = boost
             9.360306 = idf(docFreq=9, maxDocs=42740)
             0.07316598 = queryNorm
           4.680153 = fieldWeight in 4674, product of:
             1.0 = tf(freq=1.0), with freq of:
               1.0 = termFreq=1.0
             9.360306 = idf(docFreq=9, maxDocs=42740)
             0.5 = fieldNorm(doc=4674)
   

4. Ganter, B.; Stahl, J.; Wille, R.: Conceptual measurement and many-valued contexts (1986) 4.55

   4.554837 = sum of:
     4.554837 = sum of:
       1.6747406 = weight(author_txt:wille in 3137) [ClassicSimilarity], result of:
         1.6747406 = score(doc=3137,freq=1.0), product of:
           0.571627 = queryWeight, product of:
             7.8127427 = idf(docFreq=46, maxDocs=42740)
             0.07316598 = queryNorm
           2.9297786 = fieldWeight in 3137, product of:
             1.0 = tf(freq=1.0), with freq of:
               1.0 = termFreq=1.0
             7.8127427 = idf(docFreq=46, maxDocs=42740)
             0.375 = fieldNorm(doc=3137)
       2.880097 = weight(author_txt:ganter in 3137) [ClassicSimilarity], result of:
         2.880097 = score(doc=3137,freq=1.0), product of:
           0.8205136 = queryWeight, product of:
             1.198082 = boost
             9.360306 = idf(docFreq=9, maxDocs=42740)
             0.07316598 = queryNorm
           3.5101147 = fieldWeight in 3137, product of:
             1.0 = tf(freq=1.0), with freq of:
               1.0 = termFreq=1.0
             9.360306 = idf(docFreq=9, maxDocs=42740)
             0.375 = fieldNorm(doc=3137)
   

5. Ganter, B.: Algorithmen zur formalen Begriffsanalyse (1991) 2.40

   2.4000807 = sum of:
     2.4000807 = product of:
       4.8001614 = sum of:
         4.8001614 = weight(author_txt:ganter in 3038) [ClassicSimilarity], result of:
           4.8001614 = score(doc=3038,freq=1.0), product of:
             0.8205136 = queryWeight, product of:
               1.198082 = boost
               9.360306 = idf(docFreq=9, maxDocs=42740)
               0.07316598 = queryNorm
             5.850191 = fieldWeight in 3038, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               9.360306 = idf(docFreq=9, maxDocs=42740)
               0.625 = fieldNorm(doc=3038)
       0.5 = coord(1/2)
   

Similar documents (content)

1. Ganter, B.; Wille, R.: Formale Begriffsanalyse : Mathematische Grundlagen (1996) 0.95

   0.94854164 = sum of:
     0.94854164 = product of:
       2.6348379 = sum of:
         0.23631106 = weight(abstract_txt:textbook in 4674) [ClassicSimilarity], result of:
           0.23631106 = score(doc=4674,freq=1.0), product of:
             0.19025414 = queryWeight, product of:
               1.240024 = boost
               7.9493184 = idf(docFreq=40, maxDocs=42740)
               0.019300748 = queryNorm
             1.242081 = fieldWeight in 4674, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               7.9493184 = idf(docFreq=40, maxDocs=42740)
               0.15625 = fieldNorm(doc=4674)
         0.9801092 = weight(title_txt:begriffsanalyse in 4674) [ClassicSimilarity], result of:
           0.9801092 = score(doc=4674,freq=1.0), product of:
             0.22616622 = queryWeight, product of:
               1.3520006 = boost
               8.667158 = idf(docFreq=19, maxDocs=42740)
               0.019300748 = queryNorm
             4.333579 = fieldWeight in 4674, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               8.667158 = idf(docFreq=19, maxDocs=42740)
               0.5 = fieldNorm(doc=4674)
         0.08785655 = weight(abstract_txt:concept in 4674) [ClassicSimilarity], result of:
           0.08785655 = score(doc=4674,freq=1.0), product of:
             0.12393791 = queryWeight, product of:
               1.415403 = boost
               4.5368032 = idf(docFreq=1243, maxDocs=42740)
               0.019300748 = queryNorm
             0.70887554 = fieldWeight in 4674, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.5368032 = idf(docFreq=1243, maxDocs=42740)
               0.15625 = fieldNorm(doc=4674)
         0.11410972 = weight(abstract_txt:processing in 4674) [ClassicSimilarity], result of:
           0.11410972 = score(doc=4674,freq=1.0), product of:
             0.14753775 = queryWeight, product of:
               1.5442927 = boost
               4.9499345 = idf(docFreq=822, maxDocs=42740)
               0.019300748 = queryNorm
             0.77342725 = fieldWeight in 4674, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.9499345 = idf(docFreq=822, maxDocs=42740)
               0.15625 = fieldNorm(doc=4674)
         0.06526991 = weight(abstract_txt:knowledge in 4674) [ClassicSimilarity], result of:
           0.06526991 = score(doc=4674,freq=1.0), product of:
             0.11637522 = queryWeight, product of:
               1.6797858 = boost
               3.5894876 = idf(docFreq=3207, maxDocs=42740)
               0.019300748 = queryNorm
             0.5608574 = fieldWeight in 4674, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               3.5894876 = idf(docFreq=3207, maxDocs=42740)
               0.15625 = fieldNorm(doc=4674)
         0.13352677 = weight(abstract_txt:analysis in 4674) [ClassicSimilarity], result of:
           0.13352677 = score(doc=4674,freq=2.0), product of:
             0.1638326 = queryWeight, product of:
               2.3014057 = boost
               3.6883576 = idf(docFreq=2905, maxDocs=42740)
               0.019300748 = queryNorm
             0.81501955 = fieldWeight in 4674, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               3.6883576 = idf(docFreq=2905, maxDocs=42740)
               0.15625 = fieldNorm(doc=4674)
         0.23748389 = weight(abstract_txt:formal in 4674) [ClassicSimilarity], result of:
           0.23748389 = score(doc=4674,freq=1.0), product of:
             0.2753011 = queryWeight, product of:
               2.5836139 = boost
               5.520853 = idf(docFreq=464, maxDocs=42740)
               0.019300748 = queryNorm
             0.8626333 = fieldWeight in 4674, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.520853 = idf(docFreq=464, maxDocs=42740)
               0.15625 = fieldNorm(doc=4674)
         0.3596324 = weight(abstract_txt:mathematical in 4674) [ClassicSimilarity], result of:
           0.3596324 = score(doc=4674,freq=1.0), product of:
             0.3630427 = queryWeight, product of:
               2.9668972 = boost
               6.3398805 = idf(docFreq=204, maxDocs=42740)
               0.019300748 = queryNorm
             0.9906063 = fieldWeight in 4674, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.3398805 = idf(docFreq=204, maxDocs=42740)
               0.15625 = fieldNorm(doc=4674)
         0.4205381 = weight(abstract_txt:foundations in 4674) [ClassicSimilarity], result of:
           0.4205381 = score(doc=4674,freq=1.0), product of:
             0.40295395 = queryWeight, product of:
               3.1257293 = boost
               6.679284 = idf(docFreq=145, maxDocs=42740)
               0.019300748 = queryNorm
             1.0436381 = fieldWeight in 4674, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.679284 = idf(docFreq=145, maxDocs=42740)
               0.15625 = fieldNorm(doc=4674)
       0.36 = coord(9/25)
   

2. Hereth, J.; Stumme, G.; Wille, R.; Wille, U.: Conceptual knowledge discovery and data analysis (2000) 0.22

   0.21586202 = sum of:
     0.21586202 = product of:
       0.67456883 = sum of:
         0.060868803 = weight(abstract_txt:concept in 6084) [ClassicSimilarity], result of:
           0.060868803 = score(doc=6084,freq=3.0), product of:
             0.12393791 = queryWeight, product of:
               1.415403 = boost
               4.5368032 = idf(docFreq=1243, maxDocs=42740)
               0.019300748 = queryNorm
             0.49112335 = fieldWeight in 6084, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               4.5368032 = idf(docFreq=1243, maxDocs=42740)
               0.0625 = fieldNorm(doc=6084)
         0.062500656 = weight(abstract_txt:theory in 6084) [ClassicSimilarity], result of:
           0.062500656 = score(doc=6084,freq=3.0), product of:
             0.12614326 = queryWeight, product of:
               1.4279404 = boost
               4.576989 = idf(docFreq=1194, maxDocs=42740)
               0.019300748 = queryNorm
             0.4954736 = fieldWeight in 6084, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               4.576989 = idf(docFreq=1194, maxDocs=42740)
               0.0625 = fieldNorm(doc=6084)
         0.06407885 = weight(abstract_txt:conceptual in 6084) [ClassicSimilarity], result of:
           0.06407885 = score(doc=6084,freq=2.0), product of:
             0.14681865 = queryWeight, product of:
               1.5405246 = boost
               4.9378567 = idf(docFreq=832, maxDocs=42740)
               0.019300748 = queryNorm
             0.436449 = fieldWeight in 6084, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               4.9378567 = idf(docFreq=832, maxDocs=42740)
               0.0625 = fieldNorm(doc=6084)
         0.045220315 = weight(abstract_txt:knowledge in 6084) [ClassicSimilarity], result of:
           0.045220315 = score(doc=6084,freq=3.0), product of:
             0.11637522 = queryWeight, product of:
               1.6797858 = boost
               3.5894876 = idf(docFreq=3207, maxDocs=42740)
               0.019300748 = queryNorm
             0.3885734 = fieldWeight in 6084, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               3.5894876 = idf(docFreq=3207, maxDocs=42740)
               0.0625 = fieldNorm(doc=6084)
         0.041003525 = weight(abstract_txt:methods in 6084) [ClassicSimilarity], result of:
           0.041003525 = score(doc=6084,freq=1.0), product of:
             0.15723865 = queryWeight, product of:
               1.9525551 = boost
               4.172361 = idf(docFreq=1790, maxDocs=42740)
               0.019300748 = queryNorm
             0.26077256 = fieldWeight in 6084, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.172361 = idf(docFreq=1790, maxDocs=42740)
               0.0625 = fieldNorm(doc=6084)
         0.092510074 = weight(abstract_txt:analysis in 6084) [ClassicSimilarity], result of:
           0.092510074 = score(doc=6084,freq=6.0), product of:
             0.1638326 = queryWeight, product of:
               2.3014057 = boost
               3.6883576 = idf(docFreq=2905, maxDocs=42740)
               0.019300748 = queryNorm
             0.56466216 = fieldWeight in 6084, product of:
               2.4494898 = tf(freq=6.0), with freq of:
                 6.0 = termFreq=6.0
               3.6883576 = idf(docFreq=2905, maxDocs=42740)
               0.0625 = fieldNorm(doc=6084)
         0.16453366 = weight(abstract_txt:formal in 6084) [ClassicSimilarity], result of:
           0.16453366 = score(doc=6084,freq=3.0), product of:
             0.2753011 = queryWeight, product of:
               2.5836139 = boost
               5.520853 = idf(docFreq=464, maxDocs=42740)
               0.019300748 = queryNorm
             0.5976499 = fieldWeight in 6084, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               5.520853 = idf(docFreq=464, maxDocs=42740)
               0.0625 = fieldNorm(doc=6084)
         0.14385296 = weight(abstract_txt:mathematical in 6084) [ClassicSimilarity], result of:
           0.14385296 = score(doc=6084,freq=1.0), product of:
             0.3630427 = queryWeight, product of:
               2.9668972 = boost
               6.3398805 = idf(docFreq=204, maxDocs=42740)
               0.019300748 = queryNorm
             0.39624253 = fieldWeight in 6084, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.3398805 = idf(docFreq=204, maxDocs=42740)
               0.0625 = fieldNorm(doc=6084)
       0.32 = coord(8/25)
   

3. Priss, U.: ¬A graphical interface for conceptually navigating faceted thesauri (1998) 0.21

   0.20599334 = sum of:
     0.20599334 = product of:
       0.8583056 = sum of:
         0.061499584 = weight(abstract_txt:concept in 659) [ClassicSimilarity], result of:
           0.061499584 = score(doc=659,freq=1.0), product of:
             0.12393791 = queryWeight, product of:
               1.415403 = boost
               4.5368032 = idf(docFreq=1243, maxDocs=42740)
               0.019300748 = queryNorm
             0.49621284 = fieldWeight in 659, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.5368032 = idf(docFreq=1243, maxDocs=42740)
               0.109375 = fieldNorm(doc=659)
         0.04568894 = weight(abstract_txt:knowledge in 659) [ClassicSimilarity], result of:
           0.04568894 = score(doc=659,freq=1.0), product of:
             0.11637522 = queryWeight, product of:
               1.6797858 = boost
               3.5894876 = idf(docFreq=3207, maxDocs=42740)
               0.019300748 = queryNorm
             0.3926002 = fieldWeight in 659, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               3.5894876 = idf(docFreq=3207, maxDocs=42740)
               0.109375 = fieldNorm(doc=659)
         0.2670432 = weight(abstract_txt:graphical in 659) [ClassicSimilarity], result of:
           0.2670432 = score(doc=659,freq=2.0), product of:
             0.26181853 = queryWeight, product of:
               2.057208 = boost
               6.5939865 = idf(docFreq=158, maxDocs=42740)
               0.019300748 = queryNorm
             1.0199553 = fieldWeight in 659, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               6.5939865 = idf(docFreq=158, maxDocs=42740)
               0.109375 = fieldNorm(doc=659)
         0.06609238 = weight(abstract_txt:analysis in 659) [ClassicSimilarity], result of:
           0.06609238 = score(doc=659,freq=1.0), product of:
             0.1638326 = queryWeight, product of:
               2.3014057 = boost
               3.6883576 = idf(docFreq=2905, maxDocs=42740)
               0.019300748 = queryNorm
             0.4034141 = fieldWeight in 659, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               3.6883576 = idf(docFreq=2905, maxDocs=42740)
               0.109375 = fieldNorm(doc=659)
         0.16623873 = weight(abstract_txt:formal in 659) [ClassicSimilarity], result of:
           0.16623873 = score(doc=659,freq=1.0), product of:
             0.2753011 = queryWeight, product of:
               2.5836139 = boost
               5.520853 = idf(docFreq=464, maxDocs=42740)
               0.019300748 = queryNorm
             0.60384333 = fieldWeight in 659, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.520853 = idf(docFreq=464, maxDocs=42740)
               0.109375 = fieldNorm(doc=659)
         0.2517427 = weight(abstract_txt:mathematical in 659) [ClassicSimilarity], result of:
           0.2517427 = score(doc=659,freq=1.0), product of:
             0.3630427 = queryWeight, product of:
               2.9668972 = boost
               6.3398805 = idf(docFreq=204, maxDocs=42740)
               0.019300748 = queryNorm
             0.6934244 = fieldWeight in 659, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.3398805 = idf(docFreq=204, maxDocs=42740)
               0.109375 = fieldNorm(doc=659)
       0.24 = coord(6/25)
   

4. Luksch, P.; Wille, R.: ¬A mathematical model for conceptual knowledge systems (1991) 0.18

   0.1837338 = sum of:
     0.1837338 = product of:
       0.7655575 = sum of:
         0.09526302 = weight(abstract_txt:treated in 3033) [ClassicSimilarity], result of:
           0.09526302 = score(doc=3033,freq=1.0), product of:
             0.14594643 = queryWeight, product of:
               1.0860748 = boost
               6.96241 = idf(docFreq=109, maxDocs=42740)
               0.019300748 = queryNorm
             0.65272593 = fieldWeight in 3033, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.96241 = idf(docFreq=109, maxDocs=42740)
               0.09375 = fieldNorm(doc=3033)
         0.12912223 = weight(abstract_txt:concept in 3033) [ClassicSimilarity], result of:
           0.12912223 = score(doc=3033,freq=6.0), product of:
             0.12393791 = queryWeight, product of:
               1.415403 = boost
               4.5368032 = idf(docFreq=1243, maxDocs=42740)
               0.019300748 = queryNorm
             1.04183 = fieldWeight in 3033, product of:
               2.4494898 = tf(freq=6.0), with freq of:
                 6.0 = termFreq=6.0
               4.5368032 = idf(docFreq=1243, maxDocs=42740)
               0.09375 = fieldNorm(doc=3033)
         0.13593177 = weight(abstract_txt:conceptual in 3033) [ClassicSimilarity], result of:
           0.13593177 = score(doc=3033,freq=4.0), product of:
             0.14681865 = queryWeight, product of:
               1.5405246 = boost
               4.9378567 = idf(docFreq=832, maxDocs=42740)
               0.019300748 = queryNorm
             0.9258481 = fieldWeight in 3033, product of:
               2.0 = tf(freq=4.0), with freq of:
                 4.0 = termFreq=4.0
               4.9378567 = idf(docFreq=832, maxDocs=42740)
               0.09375 = fieldNorm(doc=3033)
         0.07832389 = weight(abstract_txt:knowledge in 3033) [ClassicSimilarity], result of:
           0.07832389 = score(doc=3033,freq=4.0), product of:
             0.11637522 = queryWeight, product of:
               1.6797858 = boost
               3.5894876 = idf(docFreq=3207, maxDocs=42740)
               0.019300748 = queryNorm
             0.67302895 = fieldWeight in 3033, product of:
               2.0 = tf(freq=4.0), with freq of:
                 4.0 = termFreq=4.0
               3.5894876 = idf(docFreq=3207, maxDocs=42740)
               0.09375 = fieldNorm(doc=3033)
         0.08011606 = weight(abstract_txt:analysis in 3033) [ClassicSimilarity], result of:
           0.08011606 = score(doc=3033,freq=2.0), product of:
             0.1638326 = queryWeight, product of:
               2.3014057 = boost
               3.6883576 = idf(docFreq=2905, maxDocs=42740)
               0.019300748 = queryNorm
             0.4890117 = fieldWeight in 3033, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               3.6883576 = idf(docFreq=2905, maxDocs=42740)
               0.09375 = fieldNorm(doc=3033)
         0.24680051 = weight(abstract_txt:formal in 3033) [ClassicSimilarity], result of:
           0.24680051 = score(doc=3033,freq=3.0), product of:
             0.2753011 = queryWeight, product of:
               2.5836139 = boost
               5.520853 = idf(docFreq=464, maxDocs=42740)
               0.019300748 = queryNorm
             0.89647484 = fieldWeight in 3033, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               5.520853 = idf(docFreq=464, maxDocs=42740)
               0.09375 = fieldNorm(doc=3033)
       0.24 = coord(6/25)
   

5. Dominich, S.: Mathematical foundations of information retrieval (2001) 0.17

   0.16944198 = sum of:
     0.16944198 = product of:
       0.8472099 = sum of:
         0.045105964 = weight(abstract_txt:theory in 3754) [ClassicSimilarity], result of:
           0.045105964 = score(doc=3754,freq=1.0), product of:
             0.12614326 = queryWeight, product of:
               1.4279404 = boost
               4.576989 = idf(docFreq=1194, maxDocs=42740)
               0.019300748 = queryNorm
             0.35757726 = fieldWeight in 3754, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.576989 = idf(docFreq=1194, maxDocs=42740)
               0.078125 = fieldNorm(doc=3754)
         0.032634955 = weight(abstract_txt:knowledge in 3754) [ClassicSimilarity], result of:
           0.032634955 = score(doc=3754,freq=1.0), product of:
             0.11637522 = queryWeight, product of:
               1.6797858 = boost
               3.5894876 = idf(docFreq=3207, maxDocs=42740)
               0.019300748 = queryNorm
             0.2804287 = fieldWeight in 3754, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               3.5894876 = idf(docFreq=3207, maxDocs=42740)
               0.078125 = fieldNorm(doc=3754)
         0.118741944 = weight(abstract_txt:formal in 3754) [ClassicSimilarity], result of:
           0.118741944 = score(doc=3754,freq=1.0), product of:
             0.2753011 = queryWeight, product of:
               2.5836139 = boost
               5.520853 = idf(docFreq=464, maxDocs=42740)
               0.019300748 = queryNorm
             0.43131664 = fieldWeight in 3754, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.520853 = idf(docFreq=464, maxDocs=42740)
               0.078125 = fieldNorm(doc=3754)
         0.44045794 = weight(abstract_txt:mathematical in 3754) [ClassicSimilarity], result of:
           0.44045794 = score(doc=3754,freq=6.0), product of:
             0.3630427 = queryWeight, product of:
               2.9668972 = boost
               6.3398805 = idf(docFreq=204, maxDocs=42740)
               0.019300748 = queryNorm
             1.21324 = fieldWeight in 3754, product of:
               2.4494898 = tf(freq=6.0), with freq of:
                 6.0 = termFreq=6.0
               6.3398805 = idf(docFreq=204, maxDocs=42740)
               0.078125 = fieldNorm(doc=3754)
         0.21026905 = weight(abstract_txt:foundations in 3754) [ClassicSimilarity], result of:
           0.21026905 = score(doc=3754,freq=1.0), product of:
             0.40295395 = queryWeight, product of:
               3.1257293 = boost
               6.679284 = idf(docFreq=145, maxDocs=42740)
               0.019300748 = queryNorm
             0.52181906 = fieldWeight in 3754, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.679284 = idf(docFreq=145, maxDocs=42740)
               0.078125 = fieldNorm(doc=3754)
       0.2 = coord(5/25)