Document (#23062)

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.10

   6.100375 = sum of:
     6.100375 = sum of:
       2.246469 = weight(author_txt:wille in 3137) [ClassicSimilarity], result of:
         2.246469 = score(doc=3137,freq=1.0), product of:
           0.5722526 = queryWeight, product of:
             7.85132 = idf(docFreq=46, maxDocs=44421)
             0.07288616 = queryNorm
           3.92566 = fieldWeight in 3137, product of:
             1.0 = tf(freq=1.0), with freq of:
               1.0 = termFreq=1.0
             7.85132 = idf(docFreq=46, maxDocs=44421)
             0.5 = fieldNorm(doc=3137)
       3.8539062 = weight(author_txt:ganter in 3137) [ClassicSimilarity], result of:
         3.8539062 = score(doc=3137,freq=1.0), product of:
           0.8200775 = queryWeight, product of:
             1.1971086 = boost
             9.398883 = idf(docFreq=9, maxDocs=44421)
             0.07288616 = queryNorm
           4.6994414 = fieldWeight in 3137, product of:
             1.0 = tf(freq=1.0), with freq of:
               1.0 = termFreq=1.0
             9.398883 = idf(docFreq=9, maxDocs=44421)
             0.5 = fieldNorm(doc=3137)
   

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

   6.100375 = sum of:
     6.100375 = sum of:
       2.246469 = weight(author_txt:wille in 5447) [ClassicSimilarity], result of:
         2.246469 = score(doc=5447,freq=1.0), product of:
           0.5722526 = queryWeight, product of:
             7.85132 = idf(docFreq=46, maxDocs=44421)
             0.07288616 = queryNorm
           3.92566 = fieldWeight in 5447, product of:
             1.0 = tf(freq=1.0), with freq of:
               1.0 = termFreq=1.0
             7.85132 = idf(docFreq=46, maxDocs=44421)
             0.5 = fieldNorm(doc=5447)
       3.8539062 = weight(author_txt:ganter in 5447) [ClassicSimilarity], result of:
         3.8539062 = score(doc=5447,freq=1.0), product of:
           0.8200775 = queryWeight, product of:
             1.1971086 = boost
             9.398883 = idf(docFreq=9, maxDocs=44421)
             0.07288616 = queryNorm
           4.6994414 = fieldWeight in 5447, product of:
             1.0 = tf(freq=1.0), with freq of:
               1.0 = termFreq=1.0
             9.398883 = idf(docFreq=9, maxDocs=44421)
             0.5 = fieldNorm(doc=5447)
   

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

   6.100375 = sum of:
     6.100375 = sum of:
       2.246469 = weight(author_txt:wille in 4673) [ClassicSimilarity], result of:
         2.246469 = score(doc=4673,freq=1.0), product of:
           0.5722526 = queryWeight, product of:
             7.85132 = idf(docFreq=46, maxDocs=44421)
             0.07288616 = queryNorm
           3.92566 = fieldWeight in 4673, product of:
             1.0 = tf(freq=1.0), with freq of:
               1.0 = termFreq=1.0
             7.85132 = idf(docFreq=46, maxDocs=44421)
             0.5 = fieldNorm(doc=4673)
       3.8539062 = weight(author_txt:ganter in 4673) [ClassicSimilarity], result of:
         3.8539062 = score(doc=4673,freq=1.0), product of:
           0.8200775 = queryWeight, product of:
             1.1971086 = boost
             9.398883 = idf(docFreq=9, maxDocs=44421)
             0.07288616 = queryNorm
           4.6994414 = fieldWeight in 4673, product of:
             1.0 = tf(freq=1.0), with freq of:
               1.0 = termFreq=1.0
             9.398883 = idf(docFreq=9, maxDocs=44421)
             0.5 = fieldNorm(doc=4673)
   

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

   4.575281 = sum of:
     4.575281 = sum of:
       1.6848516 = weight(author_txt:wille in 3136) [ClassicSimilarity], result of:
         1.6848516 = score(doc=3136,freq=1.0), product of:
           0.5722526 = queryWeight, product of:
             7.85132 = idf(docFreq=46, maxDocs=44421)
             0.07288616 = queryNorm
           2.9442449 = fieldWeight in 3136, product of:
             1.0 = tf(freq=1.0), with freq of:
               1.0 = termFreq=1.0
             7.85132 = idf(docFreq=46, maxDocs=44421)
             0.375 = fieldNorm(doc=3136)
       2.8904295 = weight(author_txt:ganter in 3136) [ClassicSimilarity], result of:
         2.8904295 = score(doc=3136,freq=1.0), product of:
           0.8200775 = queryWeight, product of:
             1.1971086 = boost
             9.398883 = idf(docFreq=9, maxDocs=44421)
             0.07288616 = queryNorm
           3.524581 = fieldWeight in 3136, product of:
             1.0 = tf(freq=1.0), with freq of:
               1.0 = termFreq=1.0
             9.398883 = idf(docFreq=9, maxDocs=44421)
             0.375 = fieldNorm(doc=3136)
   

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

   2.4086914 = sum of:
     2.4086914 = product of:
       4.817383 = sum of:
         4.817383 = weight(author_txt:ganter in 3037) [ClassicSimilarity], result of:
           4.817383 = score(doc=3037,freq=1.0), product of:
             0.8200775 = queryWeight, product of:
               1.1971086 = boost
               9.398883 = idf(docFreq=9, maxDocs=44421)
               0.07288616 = queryNorm
             5.874302 = fieldWeight in 3037, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               9.398883 = idf(docFreq=9, maxDocs=44421)
               0.625 = fieldNorm(doc=3037)
       0.5 = coord(1/2)
   

Similar documents (content)

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

   0.95235515 = sum of:
     0.95235515 = product of:
       2.6454308 = sum of:
         0.23873056 = weight(abstract_txt:textbook in 4673) [ClassicSimilarity], result of:
           0.23873056 = score(doc=4673,freq=1.0), product of:
             0.19185264 = queryWeight, product of:
               1.2475896 = boost
               7.963798 = idf(docFreq=41, maxDocs=44421)
               0.019309713 = queryNorm
             1.2443434 = fieldWeight in 4673, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               7.963798 = idf(docFreq=41, maxDocs=44421)
               0.15625 = fieldNorm(doc=4673)
         0.99796134 = weight(title_txt:begriffsanalyse in 4673) [ClassicSimilarity], result of:
           0.99796134 = score(doc=4673,freq=1.0), product of:
             0.22926526 = queryWeight, product of:
               1.3638197 = boost
               8.705735 = idf(docFreq=19, maxDocs=44421)
               0.019309713 = queryNorm
             4.3528676 = fieldWeight in 4673, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               8.705735 = idf(docFreq=19, maxDocs=44421)
               0.5 = fieldNorm(doc=4673)
         0.086416855 = weight(abstract_txt:concept in 4673) [ClassicSimilarity], result of:
           0.086416855 = score(doc=4673,freq=1.0), product of:
             0.12277352 = queryWeight, product of:
               1.4114165 = boost
               4.5047812 = idf(docFreq=1334, maxDocs=44421)
               0.019309713 = queryNorm
             0.7038721 = fieldWeight in 4673, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.5047812 = idf(docFreq=1334, maxDocs=44421)
               0.15625 = fieldNorm(doc=4673)
         0.112923846 = weight(abstract_txt:processing in 4673) [ClassicSimilarity], result of:
           0.112923846 = score(doc=4673,freq=1.0), product of:
             0.14674485 = queryWeight, product of:
               1.5430652 = boost
               4.9249606 = idf(docFreq=876, maxDocs=44421)
               0.019309713 = queryNorm
             0.7695251 = fieldWeight in 4673, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.9249606 = idf(docFreq=876, maxDocs=44421)
               0.15625 = fieldNorm(doc=4673)
         0.06324542 = weight(abstract_txt:knowledge in 4673) [ClassicSimilarity], result of:
           0.06324542 = score(doc=4673,freq=1.0), product of:
             0.11413589 = queryWeight, product of:
               1.6667084 = boost
               3.5463927 = idf(docFreq=3480, maxDocs=44421)
               0.019309713 = queryNorm
             0.5541239 = fieldWeight in 4673, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               3.5463927 = idf(docFreq=3480, maxDocs=44421)
               0.15625 = fieldNorm(doc=4673)
         0.12955561 = weight(abstract_txt:analysis in 4673) [ClassicSimilarity], result of:
           0.12955561 = score(doc=4673,freq=2.0), product of:
             0.16082117 = queryWeight, product of:
               2.284491 = boost
               3.6456752 = idf(docFreq=3151, maxDocs=44421)
               0.019309713 = queryNorm
             0.805588 = fieldWeight in 4673, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               3.6456752 = idf(docFreq=3151, maxDocs=44421)
               0.15625 = fieldNorm(doc=4673)
         0.23868673 = weight(abstract_txt:formal in 4673) [ClassicSimilarity], result of:
           0.23868673 = score(doc=4673,freq=1.0), product of:
             0.2766655 = queryWeight, product of:
               2.594932 = boost
               5.521451 = idf(docFreq=482, maxDocs=44421)
               0.019309713 = queryNorm
             0.8627267 = fieldWeight in 4673, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.521451 = idf(docFreq=482, maxDocs=44421)
               0.15625 = fieldNorm(doc=4673)
         0.36300254 = weight(abstract_txt:mathematical in 4673) [ClassicSimilarity], result of:
           0.36300254 = score(doc=4673,freq=1.0), product of:
             0.36588332 = queryWeight, product of:
               2.984144 = boost
               6.3496094 = idf(docFreq=210, maxDocs=44421)
               0.019309713 = queryNorm
             0.99212646 = fieldWeight in 4673, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.3496094 = idf(docFreq=210, maxDocs=44421)
               0.15625 = fieldNorm(doc=4673)
         0.41490784 = weight(abstract_txt:foundations in 4673) [ClassicSimilarity], result of:
           0.41490784 = score(doc=4673,freq=1.0), product of:
             0.39997908 = queryWeight, product of:
               3.12009 = boost
               6.6388726 = idf(docFreq=157, maxDocs=44421)
               0.019309713 = queryNorm
             1.0373238 = fieldWeight in 4673, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.6388726 = idf(docFreq=157, maxDocs=44421)
               0.15625 = fieldNorm(doc=4673)
       0.36 = coord(9/25)
   

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

   0.21359417 = sum of:
     0.21359417 = product of:
       0.6674818 = sum of:
         0.05987135 = weight(abstract_txt:concept in 6083) [ClassicSimilarity], result of:
           0.05987135 = score(doc=6083,freq=3.0), product of:
             0.12277352 = queryWeight, product of:
               1.4114165 = boost
               4.5047812 = idf(docFreq=1334, maxDocs=44421)
               0.019309713 = queryNorm
             0.48765686 = fieldWeight in 6083, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               4.5047812 = idf(docFreq=1334, maxDocs=44421)
               0.0625 = fieldNorm(doc=6083)
         0.060874887 = weight(abstract_txt:theory in 6083) [ClassicSimilarity], result of:
           0.060874887 = score(doc=6083,freq=3.0), product of:
             0.12414163 = queryWeight, product of:
               1.4192587 = boost
               4.529811 = idf(docFreq=1301, maxDocs=44421)
               0.019309713 = queryNorm
             0.4903664 = fieldWeight in 6083, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               4.529811 = idf(docFreq=1301, maxDocs=44421)
               0.0625 = fieldNorm(doc=6083)
         0.062243026 = weight(abstract_txt:conceptual in 6083) [ClassicSimilarity], result of:
           0.062243026 = score(doc=6083,freq=2.0), product of:
             0.144228 = queryWeight, product of:
               1.5297753 = boost
               4.8825436 = idf(docFreq=914, maxDocs=44421)
               0.019309713 = queryNorm
             0.43155995 = fieldWeight in 6083, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               4.8825436 = idf(docFreq=914, maxDocs=44421)
               0.0625 = fieldNorm(doc=6083)
         0.043817714 = weight(abstract_txt:knowledge in 6083) [ClassicSimilarity], result of:
           0.043817714 = score(doc=6083,freq=3.0), product of:
             0.11413589 = queryWeight, product of:
               1.6667084 = boost
               3.5463927 = idf(docFreq=3480, maxDocs=44421)
               0.019309713 = queryNorm
             0.38390827 = fieldWeight in 6083, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               3.5463927 = idf(docFreq=3480, maxDocs=44421)
               0.0625 = fieldNorm(doc=6083)
         0.040347997 = weight(abstract_txt:methods in 6083) [ClassicSimilarity], result of:
           0.040347997 = score(doc=6083,freq=1.0), product of:
             0.1558036 = queryWeight, product of:
               1.9473196 = boost
               4.1434727 = idf(docFreq=1915, maxDocs=44421)
               0.019309713 = queryNorm
             0.25896704 = fieldWeight in 6083, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.1434727 = idf(docFreq=1915, maxDocs=44421)
               0.0625 = fieldNorm(doc=6083)
         0.08975876 = weight(abstract_txt:analysis in 6083) [ClassicSimilarity], result of:
           0.08975876 = score(doc=6083,freq=6.0), product of:
             0.16082117 = queryWeight, product of:
               2.284491 = boost
               3.6456752 = idf(docFreq=3151, maxDocs=44421)
               0.019309713 = queryNorm
             0.55812776 = fieldWeight in 6083, product of:
               2.4494898 = tf(freq=6.0), with freq of:
                 6.0 = termFreq=6.0
               3.6456752 = idf(docFreq=3151, maxDocs=44421)
               0.0625 = fieldNorm(doc=6083)
         0.16536702 = weight(abstract_txt:formal in 6083) [ClassicSimilarity], result of:
           0.16536702 = score(doc=6083,freq=3.0), product of:
             0.2766655 = queryWeight, product of:
               2.594932 = boost
               5.521451 = idf(docFreq=482, maxDocs=44421)
               0.019309713 = queryNorm
             0.5977146 = fieldWeight in 6083, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               5.521451 = idf(docFreq=482, maxDocs=44421)
               0.0625 = fieldNorm(doc=6083)
         0.14520101 = weight(abstract_txt:mathematical in 6083) [ClassicSimilarity], result of:
           0.14520101 = score(doc=6083,freq=1.0), product of:
             0.36588332 = queryWeight, product of:
               2.984144 = boost
               6.3496094 = idf(docFreq=210, maxDocs=44421)
               0.019309713 = queryNorm
             0.3968506 = fieldWeight in 6083, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.3496094 = idf(docFreq=210, maxDocs=44421)
               0.0625 = fieldNorm(doc=6083)
       0.32 = coord(8/25)
   

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

   0.20714833 = sum of:
     0.20714833 = product of:
       0.86311805 = sum of:
         0.060491797 = weight(abstract_txt:concept in 658) [ClassicSimilarity], result of:
           0.060491797 = score(doc=658,freq=1.0), product of:
             0.12277352 = queryWeight, product of:
               1.4114165 = boost
               4.5047812 = idf(docFreq=1334, maxDocs=44421)
               0.019309713 = queryNorm
             0.49271044 = fieldWeight in 658, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.5047812 = idf(docFreq=1334, maxDocs=44421)
               0.109375 = fieldNorm(doc=658)
         0.044271793 = weight(abstract_txt:knowledge in 658) [ClassicSimilarity], result of:
           0.044271793 = score(doc=658,freq=1.0), product of:
             0.11413589 = queryWeight, product of:
               1.6667084 = boost
               3.5463927 = idf(docFreq=3480, maxDocs=44421)
               0.019309713 = queryNorm
             0.3878867 = fieldWeight in 658, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               3.5463927 = idf(docFreq=3480, maxDocs=44421)
               0.109375 = fieldNorm(doc=658)
         0.27304524 = weight(abstract_txt:graphical in 658) [ClassicSimilarity], result of:
           0.27304524 = score(doc=658,freq=2.0), product of:
             0.26614612 = queryWeight, product of:
               2.0780833 = boost
               6.6325636 = idf(docFreq=158, maxDocs=44421)
               0.019309713 = queryNorm
             1.0259223 = fieldWeight in 658, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               6.6325636 = idf(docFreq=158, maxDocs=44421)
               0.109375 = fieldNorm(doc=658)
         0.06412675 = weight(abstract_txt:analysis in 658) [ClassicSimilarity], result of:
           0.06412675 = score(doc=658,freq=1.0), product of:
             0.16082117 = queryWeight, product of:
               2.284491 = boost
               3.6456752 = idf(docFreq=3151, maxDocs=44421)
               0.019309713 = queryNorm
             0.39874572 = fieldWeight in 658, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               3.6456752 = idf(docFreq=3151, maxDocs=44421)
               0.109375 = fieldNorm(doc=658)
         0.16708072 = weight(abstract_txt:formal in 658) [ClassicSimilarity], result of:
           0.16708072 = score(doc=658,freq=1.0), product of:
             0.2766655 = queryWeight, product of:
               2.594932 = boost
               5.521451 = idf(docFreq=482, maxDocs=44421)
               0.019309713 = queryNorm
             0.6039087 = fieldWeight in 658, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.521451 = idf(docFreq=482, maxDocs=44421)
               0.109375 = fieldNorm(doc=658)
         0.25410175 = weight(abstract_txt:mathematical in 658) [ClassicSimilarity], result of:
           0.25410175 = score(doc=658,freq=1.0), product of:
             0.36588332 = queryWeight, product of:
               2.984144 = boost
               6.3496094 = idf(docFreq=210, maxDocs=44421)
               0.019309713 = queryNorm
             0.6944885 = fieldWeight in 658, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.3496094 = idf(docFreq=210, maxDocs=44421)
               0.109375 = fieldNorm(doc=658)
       0.24 = coord(6/25)
   

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

   0.18140121 = sum of:
     0.18140121 = product of:
       0.7558384 = sum of:
         0.09511632 = weight(abstract_txt:treated in 3032) [ClassicSimilarity], result of:
           0.09511632 = score(doc=3032,freq=1.0), product of:
             0.14602648 = queryWeight, product of:
               1.0884379 = boost
               6.9478774 = idf(docFreq=115, maxDocs=44421)
               0.019309713 = queryNorm
             0.6513635 = fieldWeight in 3032, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.9478774 = idf(docFreq=115, maxDocs=44421)
               0.09375 = fieldNorm(doc=3032)
         0.12700632 = weight(abstract_txt:concept in 3032) [ClassicSimilarity], result of:
           0.12700632 = score(doc=3032,freq=6.0), product of:
             0.12277352 = queryWeight, product of:
               1.4114165 = boost
               4.5047812 = idf(docFreq=1334, maxDocs=44421)
               0.019309713 = queryNorm
             1.0344765 = fieldWeight in 3032, product of:
               2.4494898 = tf(freq=6.0), with freq of:
                 6.0 = termFreq=6.0
               4.5047812 = idf(docFreq=1334, maxDocs=44421)
               0.09375 = fieldNorm(doc=3032)
         0.1320374 = weight(abstract_txt:conceptual in 3032) [ClassicSimilarity], result of:
           0.1320374 = score(doc=3032,freq=4.0), product of:
             0.144228 = queryWeight, product of:
               1.5297753 = boost
               4.8825436 = idf(docFreq=914, maxDocs=44421)
               0.019309713 = queryNorm
             0.9154769 = fieldWeight in 3032, product of:
               2.0 = tf(freq=4.0), with freq of:
                 4.0 = termFreq=4.0
               4.8825436 = idf(docFreq=914, maxDocs=44421)
               0.09375 = fieldNorm(doc=3032)
         0.075894505 = weight(abstract_txt:knowledge in 3032) [ClassicSimilarity], result of:
           0.075894505 = score(doc=3032,freq=4.0), product of:
             0.11413589 = queryWeight, product of:
               1.6667084 = boost
               3.5463927 = idf(docFreq=3480, maxDocs=44421)
               0.019309713 = queryNorm
             0.66494864 = fieldWeight in 3032, product of:
               2.0 = tf(freq=4.0), with freq of:
                 4.0 = termFreq=4.0
               3.5463927 = idf(docFreq=3480, maxDocs=44421)
               0.09375 = fieldNorm(doc=3032)
         0.07773336 = weight(abstract_txt:analysis in 3032) [ClassicSimilarity], result of:
           0.07773336 = score(doc=3032,freq=2.0), product of:
             0.16082117 = queryWeight, product of:
               2.284491 = boost
               3.6456752 = idf(docFreq=3151, maxDocs=44421)
               0.019309713 = queryNorm
             0.48335278 = fieldWeight in 3032, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               3.6456752 = idf(docFreq=3151, maxDocs=44421)
               0.09375 = fieldNorm(doc=3032)
         0.24805051 = weight(abstract_txt:formal in 3032) [ClassicSimilarity], result of:
           0.24805051 = score(doc=3032,freq=3.0), product of:
             0.2766655 = queryWeight, product of:
               2.594932 = boost
               5.521451 = idf(docFreq=482, maxDocs=44421)
               0.019309713 = queryNorm
             0.8965719 = fieldWeight in 3032, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               5.521451 = idf(docFreq=482, maxDocs=44421)
               0.09375 = fieldNorm(doc=3032)
       0.24 = coord(6/25)
   

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

   0.16938764 = sum of:
     0.16938764 = product of:
       0.8469382 = sum of:
         0.04393267 = weight(abstract_txt:theory in 2753) [ClassicSimilarity], result of:
           0.04393267 = score(doc=2753,freq=1.0), product of:
             0.12414163 = queryWeight, product of:
               1.4192587 = boost
               4.529811 = idf(docFreq=1301, maxDocs=44421)
               0.019309713 = queryNorm
             0.3538915 = fieldWeight in 2753, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.529811 = idf(docFreq=1301, maxDocs=44421)
               0.078125 = fieldNorm(doc=2753)
         0.03162271 = weight(abstract_txt:knowledge in 2753) [ClassicSimilarity], result of:
           0.03162271 = score(doc=2753,freq=1.0), product of:
             0.11413589 = queryWeight, product of:
               1.6667084 = boost
               3.5463927 = idf(docFreq=3480, maxDocs=44421)
               0.019309713 = queryNorm
             0.27706194 = fieldWeight in 2753, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               3.5463927 = idf(docFreq=3480, maxDocs=44421)
               0.078125 = fieldNorm(doc=2753)
         0.11934336 = weight(abstract_txt:formal in 2753) [ClassicSimilarity], result of:
           0.11934336 = score(doc=2753,freq=1.0), product of:
             0.2766655 = queryWeight, product of:
               2.594932 = boost
               5.521451 = idf(docFreq=482, maxDocs=44421)
               0.019309713 = queryNorm
             0.43136334 = fieldWeight in 2753, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.521451 = idf(docFreq=482, maxDocs=44421)
               0.078125 = fieldNorm(doc=2753)
         0.4445855 = weight(abstract_txt:mathematical in 2753) [ClassicSimilarity], result of:
           0.4445855 = score(doc=2753,freq=6.0), product of:
             0.36588332 = queryWeight, product of:
               2.984144 = boost
               6.3496094 = idf(docFreq=210, maxDocs=44421)
               0.019309713 = queryNorm
             1.2151018 = fieldWeight in 2753, product of:
               2.4494898 = tf(freq=6.0), with freq of:
                 6.0 = termFreq=6.0
               6.3496094 = idf(docFreq=210, maxDocs=44421)
               0.078125 = fieldNorm(doc=2753)
         0.20745392 = weight(abstract_txt:foundations in 2753) [ClassicSimilarity], result of:
           0.20745392 = score(doc=2753,freq=1.0), product of:
             0.39997908 = queryWeight, product of:
               3.12009 = boost
               6.6388726 = idf(docFreq=157, maxDocs=44421)
               0.019309713 = queryNorm
             0.5186619 = fieldWeight in 2753, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.6388726 = idf(docFreq=157, maxDocs=44421)
               0.078125 = fieldNorm(doc=2753)
       0.2 = coord(5/25)