Document (#35573)

Author

Kracht, M.

Title

Mathematical linguistics

Imprint

Berlin : Mouton de Gruyter

Year

2002

Pages

700 S

Isbn

3-11-017620-3

Series

Studies in generative grammar; 63

Abstract

This book studies language(s) and linguistic theories from a mathematical point of view. Starting with ideas already contained in Montague's work, it develops the mathematical foundations of present day linguistics. It equips the reader with all the background necessary to understand and evaluate theories as diverse as Montague Grammar, Categorial Grammar, HPSG and GB. The mathematical tools are mainly from universal algebra and logic, but no particular knowledge is presupposed beyond a certain mathematical sophistication that is in any case needed in order to fruitfully work within these theories. The presentation focuses an abstract mathematical structures and their computational properties, but plenty of examples from different natural languages are provided to illustrate the main concepts and results. In contrast to books devoted to so-called formal language theory, languages are seen here as semiotic systems, that is, as systems of signs. A language sign correlates form with meaning. Using the principle of compositionality it is possible to gain substantial insight into the interaction between form and meaning in natural languages.

Theme

Computerlinguistik

Field

Sprachwissenschaft

Similar documents (content)

1. Lange, C.: Ontologies and languages for representing mathematical knowledge on the Semantic Web (2011) 0.32

   0.3165938 = sum of:
     0.3165938 = product of:
       0.8794272 = sum of:
         0.0147431865 = weight(abstract_txt:systems in 135) [ClassicSimilarity], result of:
           0.0147431865 = score(doc=135,freq=2.0), product of:
             0.05587207 = queryWeight, product of:
               1.0295374 = boost
               3.4118783 = idf(docFreq=3963, maxDocs=44218)
               0.015905932 = queryNorm
             0.263874 = fieldWeight in 135, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               3.4118783 = idf(docFreq=3963, maxDocs=44218)
               0.0546875 = fieldNorm(doc=135)
         0.008697274 = weight(abstract_txt:with in 135) [ClassicSimilarity], result of:
           0.008697274 = score(doc=135,freq=2.0), product of:
             0.044986933 = queryWeight, product of:
               1.1314453 = boost
               2.4997334 = idf(docFreq=9868, maxDocs=44218)
               0.015905932 = queryNorm
             0.1933289 = fieldWeight in 135, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               2.4997334 = idf(docFreq=9868, maxDocs=44218)
               0.0546875 = fieldNorm(doc=135)
         0.016625544 = weight(abstract_txt:from in 135) [ClassicSimilarity], result of:
           0.016625544 = score(doc=135,freq=4.0), product of:
             0.054996897 = queryWeight, product of:
               1.2510062 = boost
               2.7638826 = idf(docFreq=7577, maxDocs=44218)
               0.015905932 = queryNorm
             0.30229968 = fieldWeight in 135, product of:
               2.0 = tf(freq=4.0), with freq of:
                 4.0 = termFreq=4.0
               2.7638826 = idf(docFreq=7577, maxDocs=44218)
               0.0546875 = fieldNorm(doc=135)
         0.079973795 = weight(abstract_txt:algebra in 135) [ClassicSimilarity], result of:
           0.079973795 = score(doc=135,freq=1.0), product of:
             0.17249069 = queryWeight, product of:
               1.2791238 = boost
               8.478011 = idf(docFreq=24, maxDocs=44218)
               0.015905932 = queryNorm
             0.46364123 = fieldWeight in 135, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               8.478011 = idf(docFreq=24, maxDocs=44218)
               0.0546875 = fieldNorm(doc=135)
         0.034399707 = weight(abstract_txt:natural in 135) [ClassicSimilarity], result of:
           0.034399707 = score(doc=135,freq=1.0), product of:
             0.123836026 = queryWeight, product of:
               1.5327392 = boost
               5.0794845 = idf(docFreq=747, maxDocs=44218)
               0.015905932 = queryNorm
             0.27778432 = fieldWeight in 135, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.0794845 = idf(docFreq=747, maxDocs=44218)
               0.0546875 = fieldNorm(doc=135)
         0.02879827 = weight(abstract_txt:language in 135) [ClassicSimilarity], result of:
           0.02879827 = score(doc=135,freq=1.0), product of:
             0.12591724 = queryWeight, product of:
               1.8929231 = boost
               4.1820874 = idf(docFreq=1834, maxDocs=44218)
               0.015905932 = queryNorm
             0.22870791 = fieldWeight in 135, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.1820874 = idf(docFreq=1834, maxDocs=44218)
               0.0546875 = fieldNorm(doc=135)
         0.054981496 = weight(abstract_txt:languages in 135) [ClassicSimilarity], result of:
           0.054981496 = score(doc=135,freq=1.0), product of:
             0.19378433 = queryWeight, product of:
               2.348279 = boost
               5.188118 = idf(docFreq=670, maxDocs=44218)
               0.015905932 = queryNorm
             0.2837252 = fieldWeight in 135, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.188118 = idf(docFreq=670, maxDocs=44218)
               0.0546875 = fieldNorm(doc=135)
         0.070993826 = weight(abstract_txt:theories in 135) [ClassicSimilarity], result of:
           0.070993826 = score(doc=135,freq=1.0), product of:
             0.22978482 = queryWeight, product of:
               2.5571196 = boost
               5.649515 = idf(docFreq=422, maxDocs=44218)
               0.015905932 = queryNorm
             0.30895787 = fieldWeight in 135, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.649515 = idf(docFreq=422, maxDocs=44218)
               0.0546875 = fieldNorm(doc=135)
         0.5702141 = weight(abstract_txt:mathematical in 135) [ClassicSimilarity], result of:
           0.5702141 = score(doc=135,freq=8.0), product of:
             0.58055884 = queryWeight, product of:
               5.7481556 = boost
               6.3497796 = idf(docFreq=209, maxDocs=44218)
               0.015905932 = queryNorm
             0.98218143 = fieldWeight in 135, product of:
               2.828427 = tf(freq=8.0), with freq of:
                 8.0 = termFreq=8.0
               6.3497796 = idf(docFreq=209, maxDocs=44218)
               0.0546875 = fieldNorm(doc=135)
       0.36 = coord(9/25)
   

2. Sikkel, K.: Parsing schemata : a framework for specification and analysis of parsing algorithms (1996) 0.25

   0.2527475 = sum of:
     0.2527475 = product of:
       0.789836 = sum of:
         0.008785573 = weight(abstract_txt:with in 685) [ClassicSimilarity], result of:
           0.008785573 = score(doc=685,freq=1.0), product of:
             0.044986933 = queryWeight, product of:
               1.1314453 = boost
               2.4997334 = idf(docFreq=9868, maxDocs=44218)
               0.015905932 = queryNorm
             0.19529167 = fieldWeight in 685, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               2.4997334 = idf(docFreq=9868, maxDocs=44218)
               0.078125 = fieldNorm(doc=685)
         0.016794335 = weight(abstract_txt:from in 685) [ClassicSimilarity], result of:
           0.016794335 = score(doc=685,freq=2.0), product of:
             0.054996897 = queryWeight, product of:
               1.2510062 = boost
               2.7638826 = idf(docFreq=7577, maxDocs=44218)
               0.015905932 = queryNorm
             0.30536878 = fieldWeight in 685, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               2.7638826 = idf(docFreq=7577, maxDocs=44218)
               0.078125 = fieldNorm(doc=685)
         0.049142435 = weight(abstract_txt:natural in 685) [ClassicSimilarity], result of:
           0.049142435 = score(doc=685,freq=1.0), product of:
             0.123836026 = queryWeight, product of:
               1.5327392 = boost
               5.0794845 = idf(docFreq=747, maxDocs=44218)
               0.015905932 = queryNorm
             0.39683473 = fieldWeight in 685, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.0794845 = idf(docFreq=747, maxDocs=44218)
               0.078125 = fieldNorm(doc=685)
         0.04114038 = weight(abstract_txt:language in 685) [ClassicSimilarity], result of:
           0.04114038 = score(doc=685,freq=1.0), product of:
             0.12591724 = queryWeight, product of:
               1.8929231 = boost
               4.1820874 = idf(docFreq=1834, maxDocs=44218)
               0.015905932 = queryNorm
             0.32672557 = fieldWeight in 685, 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=685)
         0.11012373 = weight(abstract_txt:linguistics in 685) [ClassicSimilarity], result of:
           0.11012373 = score(doc=685,freq=1.0), product of:
             0.21206215 = queryWeight, product of:
               2.0057478 = boost
               6.6470313 = idf(docFreq=155, maxDocs=44218)
               0.015905932 = queryNorm
             0.5192993 = fieldWeight in 685, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.6470313 = idf(docFreq=155, maxDocs=44218)
               0.078125 = fieldNorm(doc=685)
         0.16476858 = weight(abstract_txt:grammar in 685) [ClassicSimilarity], result of:
           0.16476858 = score(doc=685,freq=1.0), product of:
             0.27741215 = queryWeight, product of:
               2.2940743 = boost
               7.602543 = idf(docFreq=59, maxDocs=44218)
               0.015905932 = queryNorm
             0.59394866 = fieldWeight in 685, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               7.602543 = idf(docFreq=59, maxDocs=44218)
               0.078125 = fieldNorm(doc=685)
         0.11107939 = weight(abstract_txt:languages in 685) [ClassicSimilarity], result of:
           0.11107939 = score(doc=685,freq=2.0), product of:
             0.19378433 = queryWeight, product of:
               2.348279 = boost
               5.188118 = idf(docFreq=670, maxDocs=44218)
               0.015905932 = queryNorm
             0.57321143 = fieldWeight in 685, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               5.188118 = idf(docFreq=670, maxDocs=44218)
               0.078125 = fieldNorm(doc=685)
         0.2880016 = weight(abstract_txt:mathematical in 685) [ClassicSimilarity], result of:
           0.2880016 = score(doc=685,freq=1.0), product of:
             0.58055884 = queryWeight, product of:
               5.7481556 = boost
               6.3497796 = idf(docFreq=209, maxDocs=44218)
               0.015905932 = queryNorm
             0.49607652 = fieldWeight in 685, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.3497796 = idf(docFreq=209, maxDocs=44218)
               0.078125 = fieldNorm(doc=685)
       0.32 = coord(8/25)
   

3. Broughton, V.: Structural, linguistic and mathematical elements in indexing languages and search engines : implications for the use of index languages in electronic and non-LIS environments (2000) 0.21

   0.20671919 = sum of:
     0.20671919 = product of:
       0.7382828 = sum of:
         0.014892868 = weight(abstract_txt:systems in 96) [ClassicSimilarity], result of:
           0.014892868 = score(doc=96,freq=1.0), product of:
             0.05587207 = queryWeight, product of:
               1.0295374 = boost
               3.4118783 = idf(docFreq=3963, maxDocs=44218)
               0.015905932 = queryNorm
             0.26655298 = fieldWeight in 96, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               3.4118783 = idf(docFreq=3963, maxDocs=44218)
               0.078125 = fieldNorm(doc=96)
         0.01964514 = weight(abstract_txt:with in 96) [ClassicSimilarity], result of:
           0.01964514 = score(doc=96,freq=5.0), product of:
             0.044986933 = queryWeight, product of:
               1.1314453 = boost
               2.4997334 = idf(docFreq=9868, maxDocs=44218)
               0.015905932 = queryNorm
             0.43668544 = fieldWeight in 96, product of:
               2.236068 = tf(freq=5.0), with freq of:
                 5.0 = termFreq=5.0
               2.4997334 = idf(docFreq=9868, maxDocs=44218)
               0.078125 = fieldNorm(doc=96)
         0.11424828 = weight(abstract_txt:algebra in 96) [ClassicSimilarity], result of:
           0.11424828 = score(doc=96,freq=1.0), product of:
             0.17249069 = queryWeight, product of:
               1.2791238 = boost
               8.478011 = idf(docFreq=24, maxDocs=44218)
               0.015905932 = queryNorm
             0.66234463 = fieldWeight in 96, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               8.478011 = idf(docFreq=24, maxDocs=44218)
               0.078125 = fieldNorm(doc=96)
         0.058181286 = weight(abstract_txt:language in 96) [ClassicSimilarity], result of:
           0.058181286 = score(doc=96,freq=2.0), product of:
             0.12591724 = queryWeight, product of:
               1.8929231 = boost
               4.1820874 = idf(docFreq=1834, maxDocs=44218)
               0.015905932 = queryNorm
             0.46205974 = fieldWeight in 96, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               4.1820874 = idf(docFreq=1834, maxDocs=44218)
               0.078125 = fieldNorm(doc=96)
         0.16476858 = weight(abstract_txt:grammar in 96) [ClassicSimilarity], result of:
           0.16476858 = score(doc=96,freq=1.0), product of:
             0.27741215 = queryWeight, product of:
               2.2940743 = boost
               7.602543 = idf(docFreq=59, maxDocs=44218)
               0.015905932 = queryNorm
             0.59394866 = fieldWeight in 96, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               7.602543 = idf(docFreq=59, maxDocs=44218)
               0.078125 = fieldNorm(doc=96)
         0.078545 = weight(abstract_txt:languages in 96) [ClassicSimilarity], result of:
           0.078545 = score(doc=96,freq=1.0), product of:
             0.19378433 = queryWeight, product of:
               2.348279 = boost
               5.188118 = idf(docFreq=670, maxDocs=44218)
               0.015905932 = queryNorm
             0.40532172 = fieldWeight in 96, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.188118 = idf(docFreq=670, maxDocs=44218)
               0.078125 = fieldNorm(doc=96)
         0.2880016 = weight(abstract_txt:mathematical in 96) [ClassicSimilarity], result of:
           0.2880016 = score(doc=96,freq=1.0), product of:
             0.58055884 = queryWeight, product of:
               5.7481556 = boost
               6.3497796 = idf(docFreq=209, maxDocs=44218)
               0.015905932 = queryNorm
             0.49607652 = fieldWeight in 96, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.3497796 = idf(docFreq=209, maxDocs=44218)
               0.078125 = fieldNorm(doc=96)
       0.28 = coord(7/25)
   

4. Danesi, M.: Semiotics (2009) 0.20

   0.20404415 = sum of:
     0.20404415 = product of:
       0.56678927 = sum of:
         0.011914294 = weight(abstract_txt:systems in 3878) [ClassicSimilarity], result of:
           0.011914294 = score(doc=3878,freq=1.0), product of:
             0.05587207 = queryWeight, product of:
               1.0295374 = boost
               3.4118783 = idf(docFreq=3963, maxDocs=44218)
               0.015905932 = queryNorm
             0.2132424 = fieldWeight in 3878, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               3.4118783 = idf(docFreq=3963, maxDocs=44218)
               0.0625 = fieldNorm(doc=3878)
         0.014056918 = weight(abstract_txt:with in 3878) [ClassicSimilarity], result of:
           0.014056918 = score(doc=3878,freq=4.0), product of:
             0.044986933 = queryWeight, product of:
               1.1314453 = boost
               2.4997334 = idf(docFreq=9868, maxDocs=44218)
               0.015905932 = queryNorm
             0.31246668 = fieldWeight in 3878, product of:
               2.0 = tf(freq=4.0), with freq of:
                 4.0 = termFreq=4.0
               2.4997334 = idf(docFreq=9868, maxDocs=44218)
               0.0625 = fieldNorm(doc=3878)
         0.14612396 = weight(abstract_txt:signs in 3878) [ClassicSimilarity], result of:
           0.14612396 = score(doc=3878,freq=4.0), product of:
             0.14857082 = queryWeight, product of:
               1.1871252 = boost
               7.8682456 = idf(docFreq=45, maxDocs=44218)
               0.015905932 = queryNorm
             0.9835307 = fieldWeight in 3878, product of:
               2.0 = tf(freq=4.0), with freq of:
                 4.0 = termFreq=4.0
               7.8682456 = idf(docFreq=45, maxDocs=44218)
               0.0625 = fieldNorm(doc=3878)
         0.106005 = weight(abstract_txt:sign in 3878) [ClassicSimilarity], result of:
           0.106005 = score(doc=3878,freq=2.0), product of:
             0.15112865 = queryWeight, product of:
               1.1973004 = boost
               7.935687 = idf(docFreq=42, maxDocs=44218)
               0.015905932 = queryNorm
             0.7014223 = fieldWeight in 3878, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               7.935687 = idf(docFreq=42, maxDocs=44218)
               0.0625 = fieldNorm(doc=3878)
         0.009500311 = weight(abstract_txt:from in 3878) [ClassicSimilarity], result of:
           0.009500311 = score(doc=3878,freq=1.0), product of:
             0.054996897 = queryWeight, product of:
               1.2510062 = boost
               2.7638826 = idf(docFreq=7577, maxDocs=44218)
               0.015905932 = queryNorm
             0.17274266 = fieldWeight in 3878, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               2.7638826 = idf(docFreq=7577, maxDocs=44218)
               0.0625 = fieldNorm(doc=3878)
         0.023747675 = weight(abstract_txt:form in 3878) [ClassicSimilarity], result of:
           0.023747675 = score(doc=3878,freq=1.0), product of:
             0.08849049 = queryWeight, product of:
               1.295666 = boost
               4.293826 = idf(docFreq=1640, maxDocs=44218)
               0.015905932 = queryNorm
             0.26836413 = fieldWeight in 3878, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.293826 = idf(docFreq=1640, maxDocs=44218)
               0.0625 = fieldNorm(doc=3878)
         0.11729949 = weight(abstract_txt:meaning in 3878) [ClassicSimilarity], result of:
           0.11729949 = score(doc=3878,freq=5.0), product of:
             0.1500917 = queryWeight, product of:
               1.6874195 = boost
               5.592094 = idf(docFreq=447, maxDocs=44218)
               0.015905932 = queryNorm
             0.7815189 = fieldWeight in 3878, product of:
               2.236068 = tf(freq=5.0), with freq of:
                 5.0 = termFreq=5.0
               5.592094 = idf(docFreq=447, maxDocs=44218)
               0.0625 = fieldNorm(doc=3878)
         0.05700579 = weight(abstract_txt:language in 3878) [ClassicSimilarity], result of:
           0.05700579 = score(doc=3878,freq=3.0), product of:
             0.12591724 = queryWeight, product of:
               1.8929231 = boost
               4.1820874 = idf(docFreq=1834, maxDocs=44218)
               0.015905932 = queryNorm
             0.45272425 = fieldWeight in 3878, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               4.1820874 = idf(docFreq=1834, maxDocs=44218)
               0.0625 = fieldNorm(doc=3878)
         0.0811358 = weight(abstract_txt:theories in 3878) [ClassicSimilarity], result of:
           0.0811358 = score(doc=3878,freq=1.0), product of:
             0.22978482 = queryWeight, product of:
               2.5571196 = boost
               5.649515 = idf(docFreq=422, maxDocs=44218)
               0.015905932 = queryNorm
             0.3530947 = fieldWeight in 3878, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.649515 = idf(docFreq=422, maxDocs=44218)
               0.0625 = fieldNorm(doc=3878)
       0.36 = coord(9/25)
   

5. Nevzorova, O.; Nevzorov, V.; Kirillovich, A.: ¬A syntactic method of extracting terms from special texts for replenishing domain ontologies (2017) 0.18

   0.17963208 = sum of:
     0.17963208 = product of:
       0.748467 = sum of:
         0.012424678 = weight(abstract_txt:with in 4098) [ClassicSimilarity], result of:
           0.012424678 = score(doc=4098,freq=2.0), product of:
             0.044986933 = queryWeight, product of:
               1.1314453 = boost
               2.4997334 = idf(docFreq=9868, maxDocs=44218)
               0.015905932 = queryNorm
             0.27618414 = fieldWeight in 4098, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               2.4997334 = idf(docFreq=9868, maxDocs=44218)
               0.078125 = fieldNorm(doc=4098)
         0.020484576 = weight(abstract_txt:work in 4098) [ClassicSimilarity], result of:
           0.020484576 = score(doc=4098,freq=1.0), product of:
             0.06910252 = queryWeight, product of:
               1.1449636 = boost
               3.7943997 = idf(docFreq=2703, maxDocs=44218)
               0.015905932 = queryNorm
             0.29643747 = fieldWeight in 4098, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               3.7943997 = idf(docFreq=2703, maxDocs=44218)
               0.078125 = fieldNorm(doc=4098)
         0.011875388 = weight(abstract_txt:from in 4098) [ClassicSimilarity], result of:
           0.011875388 = score(doc=4098,freq=1.0), product of:
             0.054996897 = queryWeight, product of:
               1.2510062 = boost
               2.7638826 = idf(docFreq=7577, maxDocs=44218)
               0.015905932 = queryNorm
             0.21592833 = fieldWeight in 4098, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               2.7638826 = idf(docFreq=7577, maxDocs=44218)
               0.078125 = fieldNorm(doc=4098)
         0.0694979 = weight(abstract_txt:natural in 4098) [ClassicSimilarity], result of:
           0.0694979 = score(doc=4098,freq=2.0), product of:
             0.123836026 = queryWeight, product of:
               1.5327392 = boost
               5.0794845 = idf(docFreq=747, maxDocs=44218)
               0.015905932 = queryNorm
             0.561209 = fieldWeight in 4098, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               5.0794845 = idf(docFreq=747, maxDocs=44218)
               0.078125 = fieldNorm(doc=4098)
         0.058181286 = weight(abstract_txt:language in 4098) [ClassicSimilarity], result of:
           0.058181286 = score(doc=4098,freq=2.0), product of:
             0.12591724 = queryWeight, product of:
               1.8929231 = boost
               4.1820874 = idf(docFreq=1834, maxDocs=44218)
               0.015905932 = queryNorm
             0.46205974 = fieldWeight in 4098, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               4.1820874 = idf(docFreq=1834, maxDocs=44218)
               0.078125 = fieldNorm(doc=4098)
         0.5760032 = weight(abstract_txt:mathematical in 4098) [ClassicSimilarity], result of:
           0.5760032 = score(doc=4098,freq=4.0), product of:
             0.58055884 = queryWeight, product of:
               5.7481556 = boost
               6.3497796 = idf(docFreq=209, maxDocs=44218)
               0.015905932 = queryNorm
             0.99215305 = fieldWeight in 4098, product of:
               2.0 = tf(freq=4.0), with freq of:
                 4.0 = termFreq=4.0
               6.3497796 = idf(docFreq=209, maxDocs=44218)
               0.078125 = fieldNorm(doc=4098)
       0.24 = coord(6/25)