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.3163982 = sum of:
      0.3163982 = product of:
        0.87888384 = sum of:
          0.014735126 = weight(abstract_txt:systems in 1135) [ClassicSimilarity], result of:
            0.014735126 = score(doc=1135,freq=2.0), product of:
              0.055853035 = queryWeight, product of:
                1.0286143 = boost
                3.411175 = idf(docFreq=3984, maxDocs=44421)
                0.015918063 = queryNorm
              0.2638196 = fieldWeight in 1135, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                3.411175 = idf(docFreq=3984, maxDocs=44421)
                0.0546875 = fieldNorm(doc=1135)
          0.008660438 = weight(abstract_txt:with in 1135) [ClassicSimilarity], result of:
            0.008660438 = score(doc=1135,freq=2.0), product of:
              0.04486089 = queryWeight, product of:
                1.1290385 = boost
                2.4961398 = idf(docFreq=9949, maxDocs=44421)
                0.015918063 = queryNorm
              0.19305095 = fieldWeight in 1135, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                2.4961398 = idf(docFreq=9949, maxDocs=44421)
                0.0546875 = fieldNorm(doc=1135)
          0.016545944 = weight(abstract_txt:from in 1135) [ClassicSimilarity], result of:
            0.016545944 = score(doc=1135,freq=4.0), product of:
              0.054822523 = queryWeight, product of:
                1.2481141 = boost
                2.759399 = idf(docFreq=7646, maxDocs=44421)
                0.015918063 = queryNorm
              0.30180925 = fieldWeight in 1135, product of:
                2.0 = tf(freq=4.0), with freq of:
                  4.0 = termFreq=4.0
                2.759399 = idf(docFreq=7646, maxDocs=44421)
                0.0546875 = fieldNorm(doc=1135)
          0.08010923 = weight(abstract_txt:algebra in 1135) [ClassicSimilarity], result of:
            0.08010923 = score(doc=1135,freq=1.0), product of:
              0.1726895 = queryWeight, product of:
                1.278931 = boost
                8.482592 = idf(docFreq=24, maxDocs=44421)
                0.015918063 = queryNorm
              0.46389174 = fieldWeight in 1135, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                8.482592 = idf(docFreq=24, maxDocs=44421)
                0.0546875 = fieldNorm(doc=1135)
          0.034199 = weight(abstract_txt:natural in 1135) [ClassicSimilarity], result of:
            0.034199 = score(doc=1135,freq=1.0), product of:
              0.12335681 = queryWeight, product of:
                1.5286595 = boost
                5.0694656 = idf(docFreq=758, maxDocs=44421)
                0.015918063 = queryNorm
              0.2772364 = fieldWeight in 1135, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                5.0694656 = idf(docFreq=758, maxDocs=44421)
                0.0546875 = fieldNorm(doc=1135)
          0.028571613 = weight(abstract_txt:language in 1135) [ClassicSimilarity], result of:
            0.028571613 = score(doc=1135,freq=1.0), product of:
              0.12525867 = queryWeight, product of:
                1.8865951 = boost
                4.1709876 = idf(docFreq=1863, maxDocs=44421)
                0.015918063 = queryNorm
              0.22810088 = fieldWeight in 1135, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                4.1709876 = idf(docFreq=1863, maxDocs=44421)
                0.0546875 = fieldNorm(doc=1135)
          0.05503645 = weight(abstract_txt:languages in 1135) [ClassicSimilarity], result of:
            0.05503645 = score(doc=1135,freq=1.0), product of:
              0.19391805 = queryWeight, product of:
                2.3473828 = boost
                5.189722 = idf(docFreq=672, maxDocs=44421)
                0.015918063 = queryNorm
              0.28381294 = fieldWeight in 1135, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                5.189722 = idf(docFreq=672, maxDocs=44421)
                0.0546875 = fieldNorm(doc=1135)
          0.07081689 = weight(abstract_txt:theories in 1135) [ClassicSimilarity], result of:
            0.07081689 = score(doc=1135,freq=1.0), product of:
              0.22940834 = queryWeight, product of:
                2.553168 = boost
                5.6446834 = idf(docFreq=426, maxDocs=44421)
                0.015918063 = queryNorm
              0.30869362 = fieldWeight in 1135, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                5.6446834 = idf(docFreq=426, maxDocs=44421)
                0.0546875 = fieldNorm(doc=1135)
          0.57020915 = weight(abstract_txt:mathematical in 1135) [ClassicSimilarity], result of:
            0.57020915 = score(doc=1135,freq=8.0), product of:
              0.5805693 = queryWeight, product of:
                5.744032 = boost
                6.3496094 = idf(docFreq=210, maxDocs=44421)
                0.015918063 = queryNorm
              0.9821551 = fieldWeight in 1135, product of:
                2.828427 = tf(freq=8.0), with freq of:
                  8.0 = termFreq=8.0
                6.3496094 = idf(docFreq=210, maxDocs=44421)
                0.0546875 = fieldNorm(doc=1135)
        0.36 = coord(9/25)
    
  2. Sikkel, K.: Parsing schemata : a framework for specification and analysis of parsing algorithms (1996) 0.25
    0.25262213 = sum of:
      0.25262213 = product of:
        0.78944415 = sum of:
          0.008748363 = weight(abstract_txt:with in 1685) [ClassicSimilarity], result of:
            0.008748363 = score(doc=1685,freq=1.0), product of:
              0.04486089 = queryWeight, product of:
                1.1290385 = boost
                2.4961398 = idf(docFreq=9949, maxDocs=44421)
                0.015918063 = queryNorm
              0.19501092 = fieldWeight in 1685, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                2.4961398 = idf(docFreq=9949, maxDocs=44421)
                0.078125 = fieldNorm(doc=1685)
          0.016713928 = weight(abstract_txt:from in 1685) [ClassicSimilarity], result of:
            0.016713928 = score(doc=1685,freq=2.0), product of:
              0.054822523 = queryWeight, product of:
                1.2481141 = boost
                2.759399 = idf(docFreq=7646, maxDocs=44421)
                0.015918063 = queryNorm
              0.30487338 = fieldWeight in 1685, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                2.759399 = idf(docFreq=7646, maxDocs=44421)
                0.078125 = fieldNorm(doc=1685)
          0.04885571 = weight(abstract_txt:natural in 1685) [ClassicSimilarity], result of:
            0.04885571 = score(doc=1685,freq=1.0), product of:
              0.12335681 = queryWeight, product of:
                1.5286595 = boost
                5.0694656 = idf(docFreq=758, maxDocs=44421)
                0.015918063 = queryNorm
              0.396052 = fieldWeight in 1685, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                5.0694656 = idf(docFreq=758, maxDocs=44421)
                0.078125 = fieldNorm(doc=1685)
          0.04081659 = weight(abstract_txt:language in 1685) [ClassicSimilarity], result of:
            0.04081659 = score(doc=1685,freq=1.0), product of:
              0.12525867 = queryWeight, product of:
                1.8865951 = boost
                4.1709876 = idf(docFreq=1863, maxDocs=44421)
                0.015918063 = queryNorm
              0.3258584 = fieldWeight in 1685, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                4.1709876 = idf(docFreq=1863, maxDocs=44421)
                0.078125 = fieldNorm(doc=1685)
          0.110041685 = weight(abstract_txt:linguistics in 1685) [ClassicSimilarity], result of:
            0.110041685 = score(doc=1685,freq=1.0), product of:
              0.21196187 = queryWeight, product of:
                2.0038168 = boost
                6.6452217 = idf(docFreq=156, maxDocs=44421)
                0.015918063 = queryNorm
              0.51915795 = fieldWeight in 1685, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                6.6452217 = idf(docFreq=156, maxDocs=44421)
                0.078125 = fieldNorm(doc=1685)
          0.16507836 = weight(abstract_txt:grammar in 1685) [ClassicSimilarity], result of:
            0.16507836 = score(doc=1685,freq=1.0), product of:
              0.27776638 = queryWeight, product of:
                2.2938712 = boost
                7.607123 = idf(docFreq=59, maxDocs=44421)
                0.015918063 = queryNorm
              0.59430647 = fieldWeight in 1685, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                7.607123 = idf(docFreq=59, maxDocs=44421)
                0.078125 = fieldNorm(doc=1685)
          0.111190416 = weight(abstract_txt:languages in 1685) [ClassicSimilarity], result of:
            0.111190416 = score(doc=1685,freq=2.0), product of:
              0.19391805 = queryWeight, product of:
                2.3473828 = boost
                5.189722 = idf(docFreq=672, maxDocs=44421)
                0.015918063 = queryNorm
              0.5733887 = fieldWeight in 1685, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                5.189722 = idf(docFreq=672, maxDocs=44421)
                0.078125 = fieldNorm(doc=1685)
          0.2879991 = weight(abstract_txt:mathematical in 1685) [ClassicSimilarity], result of:
            0.2879991 = score(doc=1685,freq=1.0), product of:
              0.5805693 = queryWeight, product of:
                5.744032 = boost
                6.3496094 = idf(docFreq=210, maxDocs=44421)
                0.015918063 = queryNorm
              0.49606323 = fieldWeight in 1685, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                6.3496094 = idf(docFreq=210, maxDocs=44421)
                0.078125 = fieldNorm(doc=1685)
        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.20672756 = sum of:
      0.20672756 = product of:
        0.7383127 = sum of:
          0.014884725 = weight(abstract_txt:systems in 1096) [ClassicSimilarity], result of:
            0.014884725 = score(doc=1096,freq=1.0), product of:
              0.055853035 = queryWeight, product of:
                1.0286143 = boost
                3.411175 = idf(docFreq=3984, maxDocs=44421)
                0.015918063 = queryNorm
              0.26649806 = fieldWeight in 1096, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                3.411175 = idf(docFreq=3984, maxDocs=44421)
                0.078125 = fieldNorm(doc=1096)
          0.019561935 = weight(abstract_txt:with in 1096) [ClassicSimilarity], result of:
            0.019561935 = score(doc=1096,freq=5.0), product of:
              0.04486089 = queryWeight, product of:
                1.1290385 = boost
                2.4961398 = idf(docFreq=9949, maxDocs=44421)
                0.015918063 = queryNorm
              0.4360577 = fieldWeight in 1096, product of:
                2.236068 = tf(freq=5.0), with freq of:
                  5.0 = termFreq=5.0
                2.4961398 = idf(docFreq=9949, maxDocs=44421)
                0.078125 = fieldNorm(doc=1096)
          0.11444175 = weight(abstract_txt:algebra in 1096) [ClassicSimilarity], result of:
            0.11444175 = score(doc=1096,freq=1.0), product of:
              0.1726895 = queryWeight, product of:
                1.278931 = boost
                8.482592 = idf(docFreq=24, maxDocs=44421)
                0.015918063 = queryNorm
              0.66270244 = fieldWeight in 1096, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                8.482592 = idf(docFreq=24, maxDocs=44421)
                0.078125 = fieldNorm(doc=1096)
          0.057723373 = weight(abstract_txt:language in 1096) [ClassicSimilarity], result of:
            0.057723373 = score(doc=1096,freq=2.0), product of:
              0.12525867 = queryWeight, product of:
                1.8865951 = boost
                4.1709876 = idf(docFreq=1863, maxDocs=44421)
                0.015918063 = queryNorm
              0.46083337 = fieldWeight in 1096, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                4.1709876 = idf(docFreq=1863, maxDocs=44421)
                0.078125 = fieldNorm(doc=1096)
          0.16507836 = weight(abstract_txt:grammar in 1096) [ClassicSimilarity], result of:
            0.16507836 = score(doc=1096,freq=1.0), product of:
              0.27776638 = queryWeight, product of:
                2.2938712 = boost
                7.607123 = idf(docFreq=59, maxDocs=44421)
                0.015918063 = queryNorm
              0.59430647 = fieldWeight in 1096, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                7.607123 = idf(docFreq=59, maxDocs=44421)
                0.078125 = fieldNorm(doc=1096)
          0.078623496 = weight(abstract_txt:languages in 1096) [ClassicSimilarity], result of:
            0.078623496 = score(doc=1096,freq=1.0), product of:
              0.19391805 = queryWeight, product of:
                2.3473828 = boost
                5.189722 = idf(docFreq=672, maxDocs=44421)
                0.015918063 = queryNorm
              0.40544704 = fieldWeight in 1096, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                5.189722 = idf(docFreq=672, maxDocs=44421)
                0.078125 = fieldNorm(doc=1096)
          0.2879991 = weight(abstract_txt:mathematical in 1096) [ClassicSimilarity], result of:
            0.2879991 = score(doc=1096,freq=1.0), product of:
              0.5805693 = queryWeight, product of:
                5.744032 = boost
                6.3496094 = idf(docFreq=210, maxDocs=44421)
                0.015918063 = queryNorm
              0.49606323 = fieldWeight in 1096, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                6.3496094 = idf(docFreq=210, maxDocs=44421)
                0.078125 = fieldNorm(doc=1096)
        0.28 = coord(7/25)
    
  4. Danesi, M.: Semiotics (2009) 0.20
    0.203896 = sum of:
      0.203896 = product of:
        0.56637776 = sum of:
          0.01190778 = weight(abstract_txt:systems in 865) [ClassicSimilarity], result of:
            0.01190778 = score(doc=865,freq=1.0), product of:
              0.055853035 = queryWeight, product of:
                1.0286143 = boost
                3.411175 = idf(docFreq=3984, maxDocs=44421)
                0.015918063 = queryNorm
              0.21319844 = fieldWeight in 865, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                3.411175 = idf(docFreq=3984, maxDocs=44421)
                0.0625 = fieldNorm(doc=865)
          0.013997381 = weight(abstract_txt:with in 865) [ClassicSimilarity], result of:
            0.013997381 = score(doc=865,freq=4.0), product of:
              0.04486089 = queryWeight, product of:
                1.1290385 = boost
                2.4961398 = idf(docFreq=9949, maxDocs=44421)
                0.015918063 = queryNorm
              0.31201747 = fieldWeight in 865, product of:
                2.0 = tf(freq=4.0), with freq of:
                  4.0 = termFreq=4.0
                2.4961398 = idf(docFreq=9949, maxDocs=44421)
                0.0625 = fieldNorm(doc=865)
          0.1463898 = weight(abstract_txt:signs in 865) [ClassicSimilarity], result of:
            0.1463898 = score(doc=865,freq=4.0), product of:
              0.1487545 = queryWeight, product of:
                1.186996 = boost
                7.872826 = idf(docFreq=45, maxDocs=44421)
                0.015918063 = queryNorm
              0.98410326 = fieldWeight in 865, product of:
                2.0 = tf(freq=4.0), with freq of:
                  4.0 = termFreq=4.0
                7.872826 = idf(docFreq=45, maxDocs=44421)
                0.0625 = fieldNorm(doc=865)
          0.10619626 = weight(abstract_txt:sign in 865) [ClassicSimilarity], result of:
            0.10619626 = score(doc=865,freq=2.0), product of:
              0.15131399 = queryWeight, product of:
                1.1971642 = boost
                7.9402676 = idf(docFreq=42, maxDocs=44421)
                0.015918063 = queryNorm
              0.7018271 = fieldWeight in 865, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                7.9402676 = idf(docFreq=42, maxDocs=44421)
                0.0625 = fieldNorm(doc=865)
          0.009454826 = weight(abstract_txt:from in 865) [ClassicSimilarity], result of:
            0.009454826 = score(doc=865,freq=1.0), product of:
              0.054822523 = queryWeight, product of:
                1.2481141 = boost
                2.759399 = idf(docFreq=7646, maxDocs=44421)
                0.015918063 = queryNorm
              0.17246243 = fieldWeight in 865, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                2.759399 = idf(docFreq=7646, maxDocs=44421)
                0.0625 = fieldNorm(doc=865)
          0.023764819 = weight(abstract_txt:form in 865) [ClassicSimilarity], result of:
            0.023764819 = score(doc=865,freq=1.0), product of:
              0.08853519 = queryWeight, product of:
                1.2950518 = boost
                4.294757 = idf(docFreq=1646, maxDocs=44421)
                0.015918063 = queryNorm
              0.2684223 = fieldWeight in 865, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                4.294757 = idf(docFreq=1646, maxDocs=44421)
                0.0625 = fieldNorm(doc=865)
          0.11717617 = weight(abstract_txt:meaning in 865) [ClassicSimilarity], result of:
            0.11717617 = score(doc=865,freq=5.0), product of:
              0.14999005 = queryWeight, product of:
                1.6856228 = boost
                5.59 = idf(docFreq=450, maxDocs=44421)
                0.015918063 = queryNorm
              0.7812263 = fieldWeight in 865, product of:
                2.236068 = tf(freq=5.0), with freq of:
                  5.0 = termFreq=5.0
                5.59 = idf(docFreq=450, maxDocs=44421)
                0.0625 = fieldNorm(doc=865)
          0.056557126 = weight(abstract_txt:language in 865) [ClassicSimilarity], result of:
            0.056557126 = score(doc=865,freq=3.0), product of:
              0.12525867 = queryWeight, product of:
                1.8865951 = boost
                4.1709876 = idf(docFreq=1863, maxDocs=44421)
                0.015918063 = queryNorm
              0.45152265 = fieldWeight in 865, product of:
                1.7320508 = tf(freq=3.0), with freq of:
                  3.0 = termFreq=3.0
                4.1709876 = idf(docFreq=1863, maxDocs=44421)
                0.0625 = fieldNorm(doc=865)
          0.08093359 = weight(abstract_txt:theories in 865) [ClassicSimilarity], result of:
            0.08093359 = score(doc=865,freq=1.0), product of:
              0.22940834 = queryWeight, product of:
                2.553168 = boost
                5.6446834 = idf(docFreq=426, maxDocs=44421)
                0.015918063 = queryNorm
              0.3527927 = fieldWeight in 865, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                5.6446834 = idf(docFreq=426, maxDocs=44421)
                0.0625 = fieldNorm(doc=865)
        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.17937836 = sum of:
      0.17937836 = product of:
        0.7474099 = sum of:
          0.012372053 = weight(abstract_txt:with in 98) [ClassicSimilarity], result of:
            0.012372053 = score(doc=98,freq=2.0), product of:
              0.04486089 = queryWeight, product of:
                1.1290385 = boost
                2.4961398 = idf(docFreq=9949, maxDocs=44421)
                0.015918063 = queryNorm
              0.2757871 = fieldWeight in 98, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                2.4961398 = idf(docFreq=9949, maxDocs=44421)
                0.078125 = fieldNorm(doc=98)
          0.020405343 = weight(abstract_txt:work in 98) [ClassicSimilarity], result of:
            0.020405343 = score(doc=98,freq=1.0), product of:
              0.06892586 = queryWeight, product of:
                1.1426685 = boost
                3.7894108 = idf(docFreq=2729, maxDocs=44421)
                0.015918063 = queryNorm
              0.29604772 = fieldWeight in 98, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                3.7894108 = idf(docFreq=2729, maxDocs=44421)
                0.078125 = fieldNorm(doc=98)
          0.011818533 = weight(abstract_txt:from in 98) [ClassicSimilarity], result of:
            0.011818533 = score(doc=98,freq=1.0), product of:
              0.054822523 = queryWeight, product of:
                1.2481141 = boost
                2.759399 = idf(docFreq=7646, maxDocs=44421)
                0.015918063 = queryNorm
              0.21557805 = fieldWeight in 98, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                2.759399 = idf(docFreq=7646, maxDocs=44421)
                0.078125 = fieldNorm(doc=98)
          0.06909241 = weight(abstract_txt:natural in 98) [ClassicSimilarity], result of:
            0.06909241 = score(doc=98,freq=2.0), product of:
              0.12335681 = queryWeight, product of:
                1.5286595 = boost
                5.0694656 = idf(docFreq=758, maxDocs=44421)
                0.015918063 = queryNorm
              0.5601021 = fieldWeight in 98, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                5.0694656 = idf(docFreq=758, maxDocs=44421)
                0.078125 = fieldNorm(doc=98)
          0.057723373 = weight(abstract_txt:language in 98) [ClassicSimilarity], result of:
            0.057723373 = score(doc=98,freq=2.0), product of:
              0.12525867 = queryWeight, product of:
                1.8865951 = boost
                4.1709876 = idf(docFreq=1863, maxDocs=44421)
                0.015918063 = queryNorm
              0.46083337 = fieldWeight in 98, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                4.1709876 = idf(docFreq=1863, maxDocs=44421)
                0.078125 = fieldNorm(doc=98)
          0.5759982 = weight(abstract_txt:mathematical in 98) [ClassicSimilarity], result of:
            0.5759982 = score(doc=98,freq=4.0), product of:
              0.5805693 = queryWeight, product of:
                5.744032 = boost
                6.3496094 = idf(docFreq=210, maxDocs=44421)
                0.015918063 = queryNorm
              0.99212646 = fieldWeight in 98, product of:
                2.0 = tf(freq=4.0), with freq of:
                  4.0 = termFreq=4.0
                6.3496094 = idf(docFreq=210, maxDocs=44421)
                0.078125 = fieldNorm(doc=98)
        0.24 = coord(6/25)