Document (#35574)

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.3168977 = sum of:
     0.3168977 = product of:
       0.8802713 = sum of:
         0.014766139 = weight(abstract_txt:systems in 2136) [ClassicSimilarity], result of:
           0.014766139 = score(doc=2136,freq=2.0), product of:
             0.05591407 = queryWeight, product of:
               1.0266062 = boost
               3.414623 = idf(docFreq=3820, maxDocs=42740)
               0.015950507 = queryNorm
             0.26408628 = fieldWeight in 2136, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               3.414623 = idf(docFreq=3820, maxDocs=42740)
               0.0546875 = fieldNorm(doc=2136)
         0.0088777235 = weight(abstract_txt:with in 2136) [ClassicSimilarity], result of:
           0.0088777235 = score(doc=2136,freq=2.0), product of:
             0.04559403 = queryWeight, product of:
               1.1353844 = boost
               2.5176222 = idf(docFreq=9369, maxDocs=42740)
               0.015950507 = queryNorm
             0.19471242 = fieldWeight in 2136, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               2.5176222 = idf(docFreq=9369, maxDocs=42740)
               0.0546875 = fieldNorm(doc=2136)
         0.017063212 = weight(abstract_txt:from in 2136) [ClassicSimilarity], result of:
           0.017063212 = score(doc=2136,freq=4.0), product of:
             0.05594193 = queryWeight, product of:
               1.2576438 = boost
               2.7887225 = idf(docFreq=7144, maxDocs=42740)
               0.015950507 = queryNorm
             0.30501652 = fieldWeight in 2136, product of:
               2.0 = tf(freq=4.0), with freq of:
                 4.0 = termFreq=4.0
               2.7887225 = idf(docFreq=7144, maxDocs=42740)
               0.0546875 = fieldNorm(doc=2136)
         0.08009845 = weight(abstract_txt:algebra in 2136) [ClassicSimilarity], result of:
           0.08009845 = score(doc=2136,freq=1.0), product of:
             0.17262058 = queryWeight, product of:
               1.2754828 = boost
               8.484837 = idf(docFreq=23, maxDocs=42740)
               0.015950507 = queryNorm
             0.4640145 = fieldWeight in 2136, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               8.484837 = idf(docFreq=23, maxDocs=42740)
               0.0546875 = fieldNorm(doc=2136)
         0.035001278 = weight(abstract_txt:natural in 2136) [ClassicSimilarity], result of:
           0.035001278 = score(doc=2136,freq=1.0), product of:
             0.12523982 = queryWeight, product of:
               1.5364362 = boost
               5.1103826 = idf(docFreq=700, maxDocs=42740)
               0.015950507 = queryNorm
             0.27947405 = fieldWeight in 2136, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.1103826 = idf(docFreq=700, maxDocs=42740)
               0.0546875 = fieldNorm(doc=2136)
         0.029016174 = weight(abstract_txt:language in 2136) [ClassicSimilarity], result of:
           0.029016174 = score(doc=2136,freq=1.0), product of:
             0.12651548 = queryWeight, product of:
               1.8913015 = boost
               4.1938066 = idf(docFreq=1752, maxDocs=42740)
               0.015950507 = queryNorm
             0.22934881 = fieldWeight in 2136, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.1938066 = idf(docFreq=1752, maxDocs=42740)
               0.0546875 = fieldNorm(doc=2136)
         0.05506071 = weight(abstract_txt:languages in 2136) [ClassicSimilarity], result of:
           0.05506071 = score(doc=2136,freq=1.0), product of:
             0.19391502 = queryWeight, product of:
               2.3415027 = boost
               5.192091 = idf(docFreq=645, maxDocs=42740)
               0.015950507 = queryNorm
             0.28394246 = fieldWeight in 2136, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.192091 = idf(docFreq=645, maxDocs=42740)
               0.0546875 = fieldNorm(doc=2136)
         0.07332229 = weight(abstract_txt:theories in 2136) [ClassicSimilarity], result of:
           0.07332229 = score(doc=2136,freq=1.0), product of:
             0.23471504 = queryWeight, product of:
               2.5760803 = boost
               5.712248 = idf(docFreq=383, maxDocs=42740)
               0.015950507 = queryNorm
             0.31238854 = fieldWeight in 2136, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.712248 = idf(docFreq=383, maxDocs=42740)
               0.0546875 = fieldNorm(doc=2136)
         0.56706536 = weight(abstract_txt:mathematical in 2136) [ClassicSimilarity], result of:
           0.56706536 = score(doc=2136,freq=8.0), product of:
             0.57825446 = queryWeight, product of:
               5.718254 = boost
               6.3398805 = idf(docFreq=204, maxDocs=42740)
               0.015950507 = queryNorm
             0.98065025 = fieldWeight in 2136, product of:
               2.828427 = tf(freq=8.0), with freq of:
                 8.0 = termFreq=8.0
               6.3398805 = idf(docFreq=204, maxDocs=42740)
               0.0546875 = fieldNorm(doc=2136)
       0.36 = coord(9/25)
   

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

   0.25272954 = sum of:
     0.25272954 = product of:
       0.7897798 = sum of:
         0.008967855 = weight(abstract_txt:with in 1686) [ClassicSimilarity], result of:
           0.008967855 = score(doc=1686,freq=1.0), product of:
             0.04559403 = queryWeight, product of:
               1.1353844 = boost
               2.5176222 = idf(docFreq=9369, maxDocs=42740)
               0.015950507 = queryNorm
             0.19668923 = fieldWeight in 1686, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               2.5176222 = idf(docFreq=9369, maxDocs=42740)
               0.078125 = fieldNorm(doc=1686)
         0.017236447 = weight(abstract_txt:from in 1686) [ClassicSimilarity], result of:
           0.017236447 = score(doc=1686,freq=2.0), product of:
             0.05594193 = queryWeight, product of:
               1.2576438 = boost
               2.7887225 = idf(docFreq=7144, maxDocs=42740)
               0.015950507 = queryNorm
             0.30811322 = fieldWeight in 1686, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               2.7887225 = idf(docFreq=7144, maxDocs=42740)
               0.078125 = fieldNorm(doc=1686)
         0.050001826 = weight(abstract_txt:natural in 1686) [ClassicSimilarity], result of:
           0.050001826 = score(doc=1686,freq=1.0), product of:
             0.12523982 = queryWeight, product of:
               1.5364362 = boost
               5.1103826 = idf(docFreq=700, maxDocs=42740)
               0.015950507 = queryNorm
             0.39924863 = fieldWeight in 1686, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.1103826 = idf(docFreq=700, maxDocs=42740)
               0.078125 = fieldNorm(doc=1686)
         0.041451674 = weight(abstract_txt:language in 1686) [ClassicSimilarity], result of:
           0.041451674 = score(doc=1686,freq=1.0), product of:
             0.12651548 = queryWeight, product of:
               1.8913015 = boost
               4.1938066 = idf(docFreq=1752, maxDocs=42740)
               0.015950507 = queryNorm
             0.32764113 = fieldWeight in 1686, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.1938066 = idf(docFreq=1752, maxDocs=42740)
               0.078125 = fieldNorm(doc=1686)
         0.11095801 = weight(abstract_txt:linguistics in 1686) [ClassicSimilarity], result of:
           0.11095801 = score(doc=1686,freq=1.0), product of:
             0.21307096 = queryWeight, product of:
               2.0040357 = boost
               6.665678 = idf(docFreq=147, maxDocs=42740)
               0.015950507 = queryNorm
             0.5207561 = fieldWeight in 1686, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.665678 = idf(docFreq=147, maxDocs=42740)
               0.078125 = fieldNorm(doc=1686)
         0.16351326 = weight(abstract_txt:grammar in 1686) [ClassicSimilarity], result of:
           0.16351326 = score(doc=1686,freq=1.0), product of:
             0.2759225 = queryWeight, product of:
               2.2805357 = boost
               7.585353 = idf(docFreq=58, maxDocs=42740)
               0.015950507 = queryNorm
             0.5926057 = fieldWeight in 1686, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               7.585353 = idf(docFreq=58, maxDocs=42740)
               0.078125 = fieldNorm(doc=1686)
         0.11123943 = weight(abstract_txt:languages in 1686) [ClassicSimilarity], result of:
           0.11123943 = score(doc=1686,freq=2.0), product of:
             0.19391502 = queryWeight, product of:
               2.3415027 = boost
               5.192091 = idf(docFreq=645, maxDocs=42740)
               0.015950507 = queryNorm
             0.5736504 = fieldWeight in 1686, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               5.192091 = idf(docFreq=645, maxDocs=42740)
               0.078125 = fieldNorm(doc=1686)
         0.28641126 = weight(abstract_txt:mathematical in 1686) [ClassicSimilarity], result of:
           0.28641126 = score(doc=1686,freq=1.0), product of:
             0.57825446 = queryWeight, product of:
               5.718254 = boost
               6.3398805 = idf(docFreq=204, maxDocs=42740)
               0.015950507 = queryNorm
             0.49530315 = fieldWeight in 1686, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.3398805 = idf(docFreq=204, maxDocs=42740)
               0.078125 = fieldNorm(doc=1686)
       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.2062478 = sum of:
     0.2062478 = product of:
       0.7365993 = sum of:
         0.014916052 = weight(abstract_txt:systems in 1097) [ClassicSimilarity], result of:
           0.014916052 = score(doc=1097,freq=1.0), product of:
             0.05591407 = queryWeight, product of:
               1.0266062 = boost
               3.414623 = idf(docFreq=3820, maxDocs=42740)
               0.015950507 = queryNorm
             0.2667674 = fieldWeight in 1097, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               3.414623 = idf(docFreq=3820, maxDocs=42740)
               0.078125 = fieldNorm(doc=1097)
         0.020052733 = weight(abstract_txt:with in 1097) [ClassicSimilarity], result of:
           0.020052733 = score(doc=1097,freq=5.0), product of:
             0.04559403 = queryWeight, product of:
               1.1353844 = boost
               2.5176222 = idf(docFreq=9369, maxDocs=42740)
               0.015950507 = queryNorm
             0.43981048 = fieldWeight in 1097, product of:
               2.236068 = tf(freq=5.0), with freq of:
                 5.0 = termFreq=5.0
               2.5176222 = idf(docFreq=9369, maxDocs=42740)
               0.078125 = fieldNorm(doc=1097)
         0.11442636 = weight(abstract_txt:algebra in 1097) [ClassicSimilarity], result of:
           0.11442636 = score(doc=1097,freq=1.0), product of:
             0.17262058 = queryWeight, product of:
               1.2754828 = boost
               8.484837 = idf(docFreq=23, maxDocs=42740)
               0.015950507 = queryNorm
             0.66287786 = fieldWeight in 1097, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               8.484837 = idf(docFreq=23, maxDocs=42740)
               0.078125 = fieldNorm(doc=1097)
         0.058621522 = weight(abstract_txt:language in 1097) [ClassicSimilarity], result of:
           0.058621522 = score(doc=1097,freq=2.0), product of:
             0.12651548 = queryWeight, product of:
               1.8913015 = boost
               4.1938066 = idf(docFreq=1752, maxDocs=42740)
               0.015950507 = queryNorm
             0.46335456 = fieldWeight in 1097, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               4.1938066 = idf(docFreq=1752, maxDocs=42740)
               0.078125 = fieldNorm(doc=1097)
         0.16351326 = weight(abstract_txt:grammar in 1097) [ClassicSimilarity], result of:
           0.16351326 = score(doc=1097,freq=1.0), product of:
             0.2759225 = queryWeight, product of:
               2.2805357 = boost
               7.585353 = idf(docFreq=58, maxDocs=42740)
               0.015950507 = queryNorm
             0.5926057 = fieldWeight in 1097, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               7.585353 = idf(docFreq=58, maxDocs=42740)
               0.078125 = fieldNorm(doc=1097)
         0.07865816 = weight(abstract_txt:languages in 1097) [ClassicSimilarity], result of:
           0.07865816 = score(doc=1097,freq=1.0), product of:
             0.19391502 = queryWeight, product of:
               2.3415027 = boost
               5.192091 = idf(docFreq=645, maxDocs=42740)
               0.015950507 = queryNorm
             0.4056321 = fieldWeight in 1097, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.192091 = idf(docFreq=645, maxDocs=42740)
               0.078125 = fieldNorm(doc=1097)
         0.28641126 = weight(abstract_txt:mathematical in 1097) [ClassicSimilarity], result of:
           0.28641126 = score(doc=1097,freq=1.0), product of:
             0.57825446 = queryWeight, product of:
               5.718254 = boost
               6.3398805 = idf(docFreq=204, maxDocs=42740)
               0.015950507 = queryNorm
             0.49530315 = fieldWeight in 1097, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.3398805 = idf(docFreq=204, maxDocs=42740)
               0.078125 = fieldNorm(doc=1097)
       0.28 = coord(7/25)
   

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

   0.20543657 = sum of:
     0.20543657 = product of:
       0.57065713 = sum of:
         0.011932842 = weight(abstract_txt:systems in 879) [ClassicSimilarity], result of:
           0.011932842 = score(doc=879,freq=1.0), product of:
             0.05591407 = queryWeight, product of:
               1.0266062 = boost
               3.414623 = idf(docFreq=3820, maxDocs=42740)
               0.015950507 = queryNorm
             0.21341394 = fieldWeight in 879, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               3.414623 = idf(docFreq=3820, maxDocs=42740)
               0.0625 = fieldNorm(doc=879)
         0.014348567 = weight(abstract_txt:with in 879) [ClassicSimilarity], result of:
           0.014348567 = score(doc=879,freq=4.0), product of:
             0.04559403 = queryWeight, product of:
               1.1353844 = boost
               2.5176222 = idf(docFreq=9369, maxDocs=42740)
               0.015950507 = queryNorm
             0.31470278 = fieldWeight in 879, product of:
               2.0 = tf(freq=4.0), with freq of:
                 4.0 = termFreq=4.0
               2.5176222 = idf(docFreq=9369, maxDocs=42740)
               0.0625 = fieldNorm(doc=879)
         0.14533083 = weight(abstract_txt:signs in 879) [ClassicSimilarity], result of:
           0.14533083 = score(doc=879,freq=4.0), product of:
             0.14799045 = queryWeight, product of:
               1.1809871 = boost
               7.856228 = idf(docFreq=44, maxDocs=42740)
               0.015950507 = queryNorm
             0.9820285 = fieldWeight in 879, product of:
               2.0 = tf(freq=4.0), with freq of:
                 4.0 = termFreq=4.0
               7.856228 = idf(docFreq=44, maxDocs=42740)
               0.0625 = fieldNorm(doc=879)
         0.1054957 = weight(abstract_txt:sign in 879) [ClassicSimilarity], result of:
           0.1054957 = score(doc=879,freq=2.0), product of:
             0.15060118 = queryWeight, product of:
               1.1913586 = boost
               7.925221 = idf(docFreq=41, maxDocs=42740)
               0.015950507 = queryNorm
             0.70049715 = fieldWeight in 879, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               7.925221 = idf(docFreq=41, maxDocs=42740)
               0.0625 = fieldNorm(doc=879)
         0.009750407 = weight(abstract_txt:from in 879) [ClassicSimilarity], result of:
           0.009750407 = score(doc=879,freq=1.0), product of:
             0.05594193 = queryWeight, product of:
               1.2576438 = boost
               2.7887225 = idf(docFreq=7144, maxDocs=42740)
               0.015950507 = queryNorm
             0.17429516 = fieldWeight in 879, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               2.7887225 = idf(docFreq=7144, maxDocs=42740)
               0.0625 = fieldNorm(doc=879)
         0.023886785 = weight(abstract_txt:form in 879) [ClassicSimilarity], result of:
           0.023886785 = score(doc=879,freq=1.0), product of:
             0.08881036 = queryWeight, product of:
               1.2938238 = boost
               4.303423 = idf(docFreq=1570, maxDocs=42740)
               0.015950507 = queryNorm
             0.26896393 = fieldWeight in 879, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.303423 = idf(docFreq=1570, maxDocs=42740)
               0.0625 = fieldNorm(doc=879)
         0.118677996 = weight(abstract_txt:meaning in 879) [ClassicSimilarity], result of:
           0.118677996 = score(doc=879,freq=5.0), product of:
             0.15122211 = queryWeight, product of:
               1.6883053 = boost
               5.6155186 = idf(docFreq=422, maxDocs=42740)
               0.015950507 = queryNorm
             0.7847926 = fieldWeight in 879, product of:
               2.236068 = tf(freq=5.0), with freq of:
                 5.0 = termFreq=5.0
               5.6155186 = idf(docFreq=422, maxDocs=42740)
               0.0625 = fieldNorm(doc=879)
         0.057437126 = weight(abstract_txt:language in 879) [ClassicSimilarity], result of:
           0.057437126 = score(doc=879,freq=3.0), product of:
             0.12651548 = queryWeight, product of:
               1.8913015 = boost
               4.1938066 = idf(docFreq=1752, maxDocs=42740)
               0.015950507 = queryNorm
             0.45399287 = fieldWeight in 879, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               4.1938066 = idf(docFreq=1752, maxDocs=42740)
               0.0625 = fieldNorm(doc=879)
         0.0837969 = weight(abstract_txt:theories in 879) [ClassicSimilarity], result of:
           0.0837969 = score(doc=879,freq=1.0), product of:
             0.23471504 = queryWeight, product of:
               2.5760803 = boost
               5.712248 = idf(docFreq=383, maxDocs=42740)
               0.015950507 = queryNorm
             0.3570155 = fieldWeight in 879, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.712248 = idf(docFreq=383, maxDocs=42740)
               0.0625 = fieldNorm(doc=879)
       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.17952612 = sum of:
     0.17952612 = product of:
       0.74802554 = sum of:
         0.012682463 = weight(abstract_txt:with in 99) [ClassicSimilarity], result of:
           0.012682463 = score(doc=99,freq=2.0), product of:
             0.04559403 = queryWeight, product of:
               1.1353844 = boost
               2.5176222 = idf(docFreq=9369, maxDocs=42740)
               0.015950507 = queryNorm
             0.2781606 = fieldWeight in 99, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               2.5176222 = idf(docFreq=9369, maxDocs=42740)
               0.078125 = fieldNorm(doc=99)
         0.020997733 = weight(abstract_txt:work in 99) [ClassicSimilarity], result of:
           0.020997733 = score(doc=99,freq=1.0), product of:
             0.07023174 = queryWeight, product of:
               1.150562 = boost
               3.826916 = idf(docFreq=2529, maxDocs=42740)
               0.015950507 = queryNorm
             0.29897782 = fieldWeight in 99, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               3.826916 = idf(docFreq=2529, maxDocs=42740)
               0.078125 = fieldNorm(doc=99)
         0.012188009 = weight(abstract_txt:from in 99) [ClassicSimilarity], result of:
           0.012188009 = score(doc=99,freq=1.0), product of:
             0.05594193 = queryWeight, product of:
               1.2576438 = boost
               2.7887225 = idf(docFreq=7144, maxDocs=42740)
               0.015950507 = queryNorm
             0.21786895 = fieldWeight in 99, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               2.7887225 = idf(docFreq=7144, maxDocs=42740)
               0.078125 = fieldNorm(doc=99)
         0.07071326 = weight(abstract_txt:natural in 99) [ClassicSimilarity], result of:
           0.07071326 = score(doc=99,freq=2.0), product of:
             0.12523982 = queryWeight, product of:
               1.5364362 = boost
               5.1103826 = idf(docFreq=700, maxDocs=42740)
               0.015950507 = queryNorm
             0.5646228 = fieldWeight in 99, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               5.1103826 = idf(docFreq=700, maxDocs=42740)
               0.078125 = fieldNorm(doc=99)
         0.058621522 = weight(abstract_txt:language in 99) [ClassicSimilarity], result of:
           0.058621522 = score(doc=99,freq=2.0), product of:
             0.12651548 = queryWeight, product of:
               1.8913015 = boost
               4.1938066 = idf(docFreq=1752, maxDocs=42740)
               0.015950507 = queryNorm
             0.46335456 = fieldWeight in 99, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               4.1938066 = idf(docFreq=1752, maxDocs=42740)
               0.078125 = fieldNorm(doc=99)
         0.5728225 = weight(abstract_txt:mathematical in 99) [ClassicSimilarity], result of:
           0.5728225 = score(doc=99,freq=4.0), product of:
             0.57825446 = queryWeight, product of:
               5.718254 = boost
               6.3398805 = idf(docFreq=204, maxDocs=42740)
               0.015950507 = queryNorm
             0.9906063 = fieldWeight in 99, product of:
               2.0 = tf(freq=4.0), with freq of:
                 4.0 = termFreq=4.0
               6.3398805 = idf(docFreq=204, maxDocs=42740)
               0.078125 = fieldNorm(doc=99)
       0.24 = coord(6/25)