Document (#23060)

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

   6.08648 = sum of:
     6.08648 = sum of:
       2.2395964 = weight(author_txt:wille in 3138) [ClassicSimilarity], result of:
         2.2395964 = score(doc=3138,freq=1.0), product of:
           0.5719344 = queryWeight, product of:
             7.831655 = idf(docFreq=46, maxDocs=43556)
             0.07302855 = queryNorm
           3.9158275 = fieldWeight in 3138, product of:
             1.0 = tf(freq=1.0), with freq of:
               1.0 = termFreq=1.0
             7.831655 = idf(docFreq=46, maxDocs=43556)
             0.5 = fieldNorm(doc=3138)
       3.8468835 = weight(author_txt:ganter in 3138) [ClassicSimilarity], result of:
         3.8468835 = score(doc=3138,freq=1.0), product of:
           0.8202994 = queryWeight, product of:
             1.1976036 = boost
             9.379218 = idf(docFreq=9, maxDocs=43556)
             0.07302855 = queryNorm
           4.689609 = fieldWeight in 3138, product of:
             1.0 = tf(freq=1.0), with freq of:
               1.0 = termFreq=1.0
             9.379218 = idf(docFreq=9, maxDocs=43556)
             0.5 = fieldNorm(doc=3138)
   

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

   6.08648 = sum of:
     6.08648 = sum of:
       2.2395964 = weight(author_txt:wille in 5445) [ClassicSimilarity], result of:
         2.2395964 = score(doc=5445,freq=1.0), product of:
           0.5719344 = queryWeight, product of:
             7.831655 = idf(docFreq=46, maxDocs=43556)
             0.07302855 = queryNorm
           3.9158275 = fieldWeight in 5445, product of:
             1.0 = tf(freq=1.0), with freq of:
               1.0 = termFreq=1.0
             7.831655 = idf(docFreq=46, maxDocs=43556)
             0.5 = fieldNorm(doc=5445)
       3.8468835 = weight(author_txt:ganter in 5445) [ClassicSimilarity], result of:
         3.8468835 = score(doc=5445,freq=1.0), product of:
           0.8202994 = queryWeight, product of:
             1.1976036 = boost
             9.379218 = idf(docFreq=9, maxDocs=43556)
             0.07302855 = queryNorm
           4.689609 = fieldWeight in 5445, product of:
             1.0 = tf(freq=1.0), with freq of:
               1.0 = termFreq=1.0
             9.379218 = idf(docFreq=9, maxDocs=43556)
             0.5 = fieldNorm(doc=5445)
   

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

   6.08648 = sum of:
     6.08648 = sum of:
       2.2395964 = weight(author_txt:wille in 4671) [ClassicSimilarity], result of:
         2.2395964 = score(doc=4671,freq=1.0), product of:
           0.5719344 = queryWeight, product of:
             7.831655 = idf(docFreq=46, maxDocs=43556)
             0.07302855 = queryNorm
           3.9158275 = fieldWeight in 4671, product of:
             1.0 = tf(freq=1.0), with freq of:
               1.0 = termFreq=1.0
             7.831655 = idf(docFreq=46, maxDocs=43556)
             0.5 = fieldNorm(doc=4671)
       3.8468835 = weight(author_txt:ganter in 4671) [ClassicSimilarity], result of:
         3.8468835 = score(doc=4671,freq=1.0), product of:
           0.8202994 = queryWeight, product of:
             1.1976036 = boost
             9.379218 = idf(docFreq=9, maxDocs=43556)
             0.07302855 = queryNorm
           4.689609 = fieldWeight in 4671, product of:
             1.0 = tf(freq=1.0), with freq of:
               1.0 = termFreq=1.0
             9.379218 = idf(docFreq=9, maxDocs=43556)
             0.5 = fieldNorm(doc=4671)
   

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

   4.56486 = sum of:
     4.56486 = sum of:
       1.6796973 = weight(author_txt:wille in 3137) [ClassicSimilarity], result of:
         1.6796973 = score(doc=3137,freq=1.0), product of:
           0.5719344 = queryWeight, product of:
             7.831655 = idf(docFreq=46, maxDocs=43556)
             0.07302855 = queryNorm
           2.9368706 = fieldWeight in 3137, product of:
             1.0 = tf(freq=1.0), with freq of:
               1.0 = termFreq=1.0
             7.831655 = idf(docFreq=46, maxDocs=43556)
             0.375 = fieldNorm(doc=3137)
       2.8851626 = weight(author_txt:ganter in 3137) [ClassicSimilarity], result of:
         2.8851626 = score(doc=3137,freq=1.0), product of:
           0.8202994 = queryWeight, product of:
             1.1976036 = boost
             9.379218 = idf(docFreq=9, maxDocs=43556)
             0.07302855 = queryNorm
           3.5172067 = fieldWeight in 3137, product of:
             1.0 = tf(freq=1.0), with freq of:
               1.0 = termFreq=1.0
             9.379218 = idf(docFreq=9, maxDocs=43556)
             0.375 = fieldNorm(doc=3137)
   

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

   2.4043021 = sum of:
     2.4043021 = product of:
       4.8086042 = sum of:
         4.8086042 = weight(author_txt:ganter in 3038) [ClassicSimilarity], result of:
           4.8086042 = score(doc=3038,freq=1.0), product of:
             0.8202994 = queryWeight, product of:
               1.1976036 = boost
               9.379218 = idf(docFreq=9, maxDocs=43556)
               0.07302855 = queryNorm
             5.8620114 = fieldWeight in 3038, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               9.379218 = idf(docFreq=9, maxDocs=43556)
               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.9508327 = sum of:
     0.9508327 = product of:
       2.641202 = sum of:
         0.23615536 = weight(abstract_txt:textbook in 4671) [ClassicSimilarity], result of:
           0.23615536 = score(doc=4671,freq=1.0), product of:
             0.1902529 = queryWeight, product of:
               1.2425258 = boost
               7.9441333 = idf(docFreq=41, maxDocs=43556)
               0.019274333 = queryNorm
             1.2412708 = fieldWeight in 4671, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               7.9441333 = idf(docFreq=41, maxDocs=43556)
               0.15625 = fieldNorm(doc=4671)
         0.98782116 = weight(title_txt:begriffsanalyse in 4671) [ClassicSimilarity], result of:
           0.98782116 = score(doc=4671,freq=1.0), product of:
             0.22744949 = queryWeight, product of:
               1.3585707 = boost
               8.68607 = idf(docFreq=19, maxDocs=43556)
               0.019274333 = queryNorm
             4.343035 = fieldWeight in 4671, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               8.68607 = idf(docFreq=19, maxDocs=43556)
               0.5 = fieldNorm(doc=4671)
         0.086962536 = weight(abstract_txt:concept in 4671) [ClassicSimilarity], result of:
           0.086962536 = score(doc=4671,freq=1.0), product of:
             0.123149 = queryWeight, product of:
               1.4137422 = boost
               4.5194054 = idf(docFreq=1289, maxDocs=43556)
               0.019274333 = queryNorm
             0.7061571 = fieldWeight in 4671, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.5194054 = idf(docFreq=1289, maxDocs=43556)
               0.15625 = fieldNorm(doc=4671)
         0.113823384 = weight(abstract_txt:processing in 4671) [ClassicSimilarity], result of:
           0.113823384 = score(doc=4671,freq=1.0), product of:
             0.14735462 = queryWeight, product of:
               1.5464528 = boost
               4.9436502 = idf(docFreq=843, maxDocs=43556)
               0.019274333 = queryNorm
             0.7724453 = fieldWeight in 4671, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.9436502 = idf(docFreq=843, maxDocs=43556)
               0.15625 = fieldNorm(doc=4671)
         0.06464761 = weight(abstract_txt:knowledge in 4671) [ClassicSimilarity], result of:
           0.06464761 = score(doc=4671,freq=1.0), product of:
             0.1156844 = queryWeight, product of:
               1.6781771 = boost
               3.5764952 = idf(docFreq=3311, maxDocs=43556)
               0.019274333 = queryNorm
             0.5588274 = fieldWeight in 4671, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               3.5764952 = idf(docFreq=3311, maxDocs=43556)
               0.15625 = fieldNorm(doc=4671)
         0.13154808 = weight(abstract_txt:analysis in 4671) [ClassicSimilarity], result of:
           0.13154808 = score(doc=4671,freq=2.0), product of:
             0.16228028 = queryWeight, product of:
               2.2951055 = boost
               3.6684597 = idf(docFreq=3020, maxDocs=43556)
               0.019274333 = queryNorm
             0.8106227 = fieldWeight in 4671, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               3.6684597 = idf(docFreq=3020, maxDocs=43556)
               0.15625 = fieldNorm(doc=4671)
         0.23775922 = weight(abstract_txt:formal in 4671) [ClassicSimilarity], result of:
           0.23775922 = score(doc=4671,freq=1.0), product of:
             0.27563313 = queryWeight, product of:
               2.5903957 = boost
               5.5205956 = idf(docFreq=473, maxDocs=43556)
               0.019274333 = queryNorm
             0.86259305 = fieldWeight in 4671, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.5205956 = idf(docFreq=473, maxDocs=43556)
               0.15625 = fieldNorm(doc=4671)
         0.36167026 = weight(abstract_txt:mathematical in 4671) [ClassicSimilarity], result of:
           0.36167026 = score(doc=4671,freq=1.0), product of:
             0.36457065 = queryWeight, product of:
               2.9791424 = boost
               6.349084 = idf(docFreq=206, maxDocs=43556)
               0.019274333 = queryNorm
             0.9920443 = fieldWeight in 4671, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.349084 = idf(docFreq=206, maxDocs=43556)
               0.15625 = fieldNorm(doc=4671)
         0.4208146 = weight(abstract_txt:foundations in 4671) [ClassicSimilarity], result of:
           0.4208146 = score(doc=4671,freq=1.0), product of:
             0.40330508 = queryWeight, product of:
               3.1334102 = boost
               6.6778564 = idf(docFreq=148, maxDocs=43556)
               0.019274333 = queryNorm
             1.0434151 = fieldWeight in 4671, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.6778564 = idf(docFreq=148, maxDocs=43556)
               0.15625 = fieldNorm(doc=4671)
       0.36 = coord(9/25)
   

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

   0.21477067 = sum of:
     0.21477067 = product of:
       0.6711584 = sum of:
         0.06024941 = weight(abstract_txt:concept in 81) [ClassicSimilarity], result of:
           0.06024941 = score(doc=81,freq=3.0), product of:
             0.123149 = queryWeight, product of:
               1.4137422 = boost
               4.5194054 = idf(docFreq=1289, maxDocs=43556)
               0.019274333 = queryNorm
             0.48923996 = fieldWeight in 81, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               4.5194054 = idf(docFreq=1289, maxDocs=43556)
               0.0625 = fieldNorm(doc=81)
         0.0617787 = weight(abstract_txt:theory in 81) [ClassicSimilarity], result of:
           0.0617787 = score(doc=81,freq=3.0), product of:
             0.12522417 = queryWeight, product of:
               1.4256039 = boost
               4.5573244 = idf(docFreq=1241, maxDocs=43556)
               0.019274333 = queryNorm
             0.49334484 = fieldWeight in 81, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               4.5573244 = idf(docFreq=1241, maxDocs=43556)
               0.0625 = fieldNorm(doc=81)
         0.063165665 = weight(abstract_txt:conceptual in 81) [ClassicSimilarity], result of:
           0.063165665 = score(doc=81,freq=2.0), product of:
             0.1454834 = queryWeight, product of:
               1.5366024 = boost
               4.912161 = idf(docFreq=870, maxDocs=43556)
               0.019274333 = queryNorm
             0.4341778 = fieldWeight in 81, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               4.912161 = idf(docFreq=870, maxDocs=43556)
               0.0625 = fieldNorm(doc=81)
         0.044789176 = weight(abstract_txt:knowledge in 81) [ClassicSimilarity], result of:
           0.044789176 = score(doc=81,freq=3.0), product of:
             0.1156844 = queryWeight, product of:
               1.6781771 = boost
               3.5764952 = idf(docFreq=3311, maxDocs=43556)
               0.019274333 = queryNorm
             0.38716695 = fieldWeight in 81, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               3.5764952 = idf(docFreq=3311, maxDocs=43556)
               0.0625 = fieldNorm(doc=81)
         0.04064374 = weight(abstract_txt:methods in 81) [ClassicSimilarity], result of:
           0.04064374 = score(doc=81,freq=1.0), product of:
             0.15638518 = queryWeight, product of:
               1.9511839 = boost
               4.1583214 = idf(docFreq=1850, maxDocs=43556)
               0.019274333 = queryNorm
             0.2598951 = fieldWeight in 81, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.1583214 = idf(docFreq=1850, maxDocs=43556)
               0.0625 = fieldNorm(doc=81)
         0.09113918 = weight(abstract_txt:analysis in 81) [ClassicSimilarity], result of:
           0.09113918 = score(doc=81,freq=6.0), product of:
             0.16228028 = queryWeight, product of:
               2.2951055 = boost
               3.6684597 = idf(docFreq=3020, maxDocs=43556)
               0.019274333 = queryNorm
             0.5616159 = fieldWeight in 81, product of:
               2.4494898 = tf(freq=6.0), with freq of:
                 6.0 = termFreq=6.0
               3.6684597 = idf(docFreq=3020, maxDocs=43556)
               0.0625 = fieldNorm(doc=81)
         0.16472441 = weight(abstract_txt:formal in 81) [ClassicSimilarity], result of:
           0.16472441 = score(doc=81,freq=3.0), product of:
             0.27563313 = queryWeight, product of:
               2.5903957 = boost
               5.5205956 = idf(docFreq=473, maxDocs=43556)
               0.019274333 = queryNorm
             0.597622 = fieldWeight in 81, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               5.5205956 = idf(docFreq=473, maxDocs=43556)
               0.0625 = fieldNorm(doc=81)
         0.1446681 = weight(abstract_txt:mathematical in 81) [ClassicSimilarity], result of:
           0.1446681 = score(doc=81,freq=1.0), product of:
             0.36457065 = queryWeight, product of:
               2.9791424 = boost
               6.349084 = idf(docFreq=206, maxDocs=43556)
               0.019274333 = queryNorm
             0.39681774 = fieldWeight in 81, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.349084 = idf(docFreq=206, maxDocs=43556)
               0.0625 = fieldNorm(doc=81)
       0.32 = coord(8/25)
   

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

   0.20652916 = sum of:
     0.20652916 = product of:
       0.8605382 = sum of:
         0.060873777 = weight(abstract_txt:concept in 656) [ClassicSimilarity], result of:
           0.060873777 = score(doc=656,freq=1.0), product of:
             0.123149 = queryWeight, product of:
               1.4137422 = boost
               4.5194054 = idf(docFreq=1289, maxDocs=43556)
               0.019274333 = queryNorm
             0.49430996 = fieldWeight in 656, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.5194054 = idf(docFreq=1289, maxDocs=43556)
               0.109375 = fieldNorm(doc=656)
         0.045253325 = weight(abstract_txt:knowledge in 656) [ClassicSimilarity], result of:
           0.045253325 = score(doc=656,freq=1.0), product of:
             0.1156844 = queryWeight, product of:
               1.6781771 = boost
               3.5764952 = idf(docFreq=3311, maxDocs=43556)
               0.019274333 = queryNorm
             0.39117914 = fieldWeight in 656, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               3.5764952 = idf(docFreq=3311, maxDocs=43556)
               0.109375 = fieldNorm(doc=656)
         0.2696975 = weight(abstract_txt:graphical in 656) [ClassicSimilarity], result of:
           0.2696975 = score(doc=656,freq=2.0), product of:
             0.2636647 = queryWeight, product of:
               2.0686202 = boost
               6.6128983 = idf(docFreq=158, maxDocs=43556)
               0.019274333 = queryNorm
             1.0228806 = fieldWeight in 656, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               6.6128983 = idf(docFreq=158, maxDocs=43556)
               0.109375 = fieldNorm(doc=656)
         0.06511298 = weight(abstract_txt:analysis in 656) [ClassicSimilarity], result of:
           0.06511298 = score(doc=656,freq=1.0), product of:
             0.16228028 = queryWeight, product of:
               2.2951055 = boost
               3.6684597 = idf(docFreq=3020, maxDocs=43556)
               0.019274333 = queryNorm
             0.4012378 = fieldWeight in 656, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               3.6684597 = idf(docFreq=3020, maxDocs=43556)
               0.109375 = fieldNorm(doc=656)
         0.16643146 = weight(abstract_txt:formal in 656) [ClassicSimilarity], result of:
           0.16643146 = score(doc=656,freq=1.0), product of:
             0.27563313 = queryWeight, product of:
               2.5903957 = boost
               5.5205956 = idf(docFreq=473, maxDocs=43556)
               0.019274333 = queryNorm
             0.60381514 = fieldWeight in 656, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.5205956 = idf(docFreq=473, maxDocs=43556)
               0.109375 = fieldNorm(doc=656)
         0.25316918 = weight(abstract_txt:mathematical in 656) [ClassicSimilarity], result of:
           0.25316918 = score(doc=656,freq=1.0), product of:
             0.36457065 = queryWeight, product of:
               2.9791424 = boost
               6.349084 = idf(docFreq=206, maxDocs=43556)
               0.019274333 = queryNorm
             0.69443107 = fieldWeight in 656, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.349084 = idf(docFreq=206, maxDocs=43556)
               0.109375 = fieldNorm(doc=656)
       0.24 = coord(6/25)
   

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

   0.18259658 = sum of:
     0.18259658 = product of:
       0.7608191 = sum of:
         0.09542356 = weight(abstract_txt:treated in 3033) [ClassicSimilarity], result of:
           0.09542356 = score(doc=3033,freq=1.0), product of:
             0.14617361 = queryWeight, product of:
               1.0891163 = boost
               6.963304 = idf(docFreq=111, maxDocs=43556)
               0.019274333 = queryNorm
             0.65280974 = fieldWeight in 3033, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.963304 = idf(docFreq=111, maxDocs=43556)
               0.09375 = fieldNorm(doc=3033)
         0.12780832 = weight(abstract_txt:concept in 3033) [ClassicSimilarity], result of:
           0.12780832 = score(doc=3033,freq=6.0), product of:
             0.123149 = queryWeight, product of:
               1.4137422 = boost
               4.5194054 = idf(docFreq=1289, maxDocs=43556)
               0.019274333 = queryNorm
             1.0378348 = fieldWeight in 3033, product of:
               2.4494898 = tf(freq=6.0), with freq of:
                 6.0 = termFreq=6.0
               4.5194054 = idf(docFreq=1289, maxDocs=43556)
               0.09375 = fieldNorm(doc=3033)
         0.13399461 = weight(abstract_txt:conceptual in 3033) [ClassicSimilarity], result of:
           0.13399461 = score(doc=3033,freq=4.0), product of:
             0.1454834 = queryWeight, product of:
               1.5366024 = boost
               4.912161 = idf(docFreq=870, maxDocs=43556)
               0.019274333 = queryNorm
             0.92103016 = fieldWeight in 3033, product of:
               2.0 = tf(freq=4.0), with freq of:
                 4.0 = termFreq=4.0
               4.912161 = idf(docFreq=870, maxDocs=43556)
               0.09375 = fieldNorm(doc=3033)
         0.07757713 = weight(abstract_txt:knowledge in 3033) [ClassicSimilarity], result of:
           0.07757713 = score(doc=3033,freq=4.0), product of:
             0.1156844 = queryWeight, product of:
               1.6781771 = boost
               3.5764952 = idf(docFreq=3311, maxDocs=43556)
               0.019274333 = queryNorm
             0.67059284 = fieldWeight in 3033, product of:
               2.0 = tf(freq=4.0), with freq of:
                 4.0 = termFreq=4.0
               3.5764952 = idf(docFreq=3311, maxDocs=43556)
               0.09375 = fieldNorm(doc=3033)
         0.07892885 = weight(abstract_txt:analysis in 3033) [ClassicSimilarity], result of:
           0.07892885 = score(doc=3033,freq=2.0), product of:
             0.16228028 = queryWeight, product of:
               2.2951055 = boost
               3.6684597 = idf(docFreq=3020, maxDocs=43556)
               0.019274333 = queryNorm
             0.48637363 = fieldWeight in 3033, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               3.6684597 = idf(docFreq=3020, maxDocs=43556)
               0.09375 = fieldNorm(doc=3033)
         0.24708663 = weight(abstract_txt:formal in 3033) [ClassicSimilarity], result of:
           0.24708663 = score(doc=3033,freq=3.0), product of:
             0.27563313 = queryWeight, product of:
               2.5903957 = boost
               5.5205956 = idf(docFreq=473, maxDocs=43556)
               0.019274333 = queryNorm
             0.896433 = fieldWeight in 3033, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               5.5205956 = idf(docFreq=473, maxDocs=43556)
               0.09375 = fieldNorm(doc=3033)
       0.24 = coord(6/25)
   

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

   0.16982989 = sum of:
     0.16982989 = product of:
       0.84914947 = sum of:
         0.044584934 = weight(abstract_txt:theory in 3751) [ClassicSimilarity], result of:
           0.044584934 = score(doc=3751,freq=1.0), product of:
             0.12522417 = queryWeight, product of:
               1.4256039 = boost
               4.5573244 = idf(docFreq=1241, maxDocs=43556)
               0.019274333 = queryNorm
             0.35604095 = fieldWeight in 3751, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.5573244 = idf(docFreq=1241, maxDocs=43556)
               0.078125 = fieldNorm(doc=3751)
         0.032323804 = weight(abstract_txt:knowledge in 3751) [ClassicSimilarity], result of:
           0.032323804 = score(doc=3751,freq=1.0), product of:
             0.1156844 = queryWeight, product of:
               1.6781771 = boost
               3.5764952 = idf(docFreq=3311, maxDocs=43556)
               0.019274333 = queryNorm
             0.2794137 = fieldWeight in 3751, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               3.5764952 = idf(docFreq=3311, maxDocs=43556)
               0.078125 = fieldNorm(doc=3751)
         0.11887961 = weight(abstract_txt:formal in 3751) [ClassicSimilarity], result of:
           0.11887961 = score(doc=3751,freq=1.0), product of:
             0.27563313 = queryWeight, product of:
               2.5903957 = boost
               5.5205956 = idf(docFreq=473, maxDocs=43556)
               0.019274333 = queryNorm
             0.43129653 = fieldWeight in 3751, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.5205956 = idf(docFreq=473, maxDocs=43556)
               0.078125 = fieldNorm(doc=3751)
         0.4429538 = weight(abstract_txt:mathematical in 3751) [ClassicSimilarity], result of:
           0.4429538 = score(doc=3751,freq=6.0), product of:
             0.36457065 = queryWeight, product of:
               2.9791424 = boost
               6.349084 = idf(docFreq=206, maxDocs=43556)
               0.019274333 = queryNorm
             1.2150012 = fieldWeight in 3751, product of:
               2.4494898 = tf(freq=6.0), with freq of:
                 6.0 = termFreq=6.0
               6.349084 = idf(docFreq=206, maxDocs=43556)
               0.078125 = fieldNorm(doc=3751)
         0.2104073 = weight(abstract_txt:foundations in 3751) [ClassicSimilarity], result of:
           0.2104073 = score(doc=3751,freq=1.0), product of:
             0.40330508 = queryWeight, product of:
               3.1334102 = boost
               6.6778564 = idf(docFreq=148, maxDocs=43556)
               0.019274333 = queryNorm
             0.52170753 = fieldWeight in 3751, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.6778564 = idf(docFreq=148, maxDocs=43556)
               0.078125 = fieldNorm(doc=3751)
       0.2 = coord(5/25)