ag-gipp/GoUldI

View on GitHub
data/280.json

Summary

Maintainability
Test Coverage
{
  "definitions": {
    "\\Delta": [
      {
        "Q25383044": "difference operator"
      }
    ],
    "x": [
      {
        "Q192388": "position vector"
      }
    ],
    "v": [
      {
        "Q11465": "velocity"
      }
    ],
    "m": [
      {
        "Q11423": "mass"
      }
    ],
    "d": [
      {
        "Q929302": "dimension"
      }
    ],
    "E": [
      {
        "Q11379": "energy"
      }
    ]
  },
  "constraints": [],
  "math_inputtex": "\\Delta x\\Delta v\\geq\\frac{dm^{2}}{2}\\left\\langle E^{-3}\\right\\rangle.",
  "math_inputtex_semantic": "\\wf{Q47004757}{\\Delta}\\w{Q17334923}{x}\\Delta{\\w{Q11465}{v}} \\geq\\frac{\\w{Q929302}{d} \\w{Q11423}{m}^{2}}{2}\\mean{\\w{Q11379}{E}^{-3}}",
  "correct_tex": "\\Delta x\\Delta v\\geq\\frac{dm^{2}}{2}\\left\\langle E^{-3}\\right\\rangle",
  "correct_mml": "<math xmlns=\"http://www.w3.org/1998/Math/MathML\"\n      xmlns:xlink=\"http://www.w3.org/1999/xlink\"\n      alttext=\"\\Delta x\\Delta{v}\\geq\\frac{dm^{2}}{2}\\mean{E^{-3}}\"\n      class=\"ltx_Math\"\n      display=\"inline\"\n      id=\"p1.1.m1.1\">\n  <semantics id=\"p1.1.m1.1a\">\n      <mrow id=\"p1.1.m1.1.8\" xref=\"p1.1.m1.1.8.cmml\">\n         <mrow id=\"p1.1.m1.1.8.1\" xref=\"p1.1.m1.1.8.1.cmml\">\n            <mi id=\"p1.1.m1.1.1\" mathvariant=\"normal\" xref=\"p1.1.m1.1.1.cmml\">Δ</mi>\n            <mo id=\"p1.1.m1.1.8.1.1\" xref=\"p1.1.m1.1.8.1.1.cmml\">⁢</mo>\n            <mi id=\"p1.1.m1.1.2\" xref=\"p1.1.m1.1.2.cmml\">x</mi>\n            <mo id=\"p1.1.m1.1.8.1.1a\" xref=\"p1.1.m1.1.8.1.1.cmml\">⁢</mo>\n            <mi id=\"p1.1.m1.1.3\" mathvariant=\"normal\" xref=\"p1.1.m1.1.3.cmml\">Δ</mi>\n            <mo id=\"p1.1.m1.1.8.1.1b\" xref=\"p1.1.m1.1.8.1.1.cmml\">⁢</mo>\n            <mi id=\"p1.1.m1.1.4\" xref=\"p1.1.m1.1.4.cmml\">v</mi>\n         </mrow>\n         <mo id=\"p1.1.m1.1.5\" xref=\"p1.1.m1.1.5.cmml\">≥</mo>\n         <mrow id=\"p1.1.m1.1.8.2\" xref=\"p1.1.m1.1.8.2.cmml\">\n            <mfrac id=\"p1.1.m1.1.6\" xref=\"p1.1.m1.1.6.cmml\">\n               <mrow id=\"p1.1.m1.1.6.2\" xref=\"p1.1.m1.1.6.2.cmml\">\n                  <mi id=\"p1.1.m1.1.6.2.1\" xref=\"p1.1.m1.1.6.2.1.cmml\">d</mi>\n                  <mo id=\"p1.1.m1.1.6.2.4\" xref=\"p1.1.m1.1.6.2.4.cmml\">⁢</mo>\n                  <msup id=\"p1.1.m1.1.6.2.5\" xref=\"p1.1.m1.1.6.2.5.cmml\">\n                     <mi id=\"p1.1.m1.1.6.2.2\" xref=\"p1.1.m1.1.6.2.2.cmml\">m</mi>\n                     <mn id=\"p1.1.m1.1.6.2.3.1\" xref=\"p1.1.m1.1.6.2.3.1.cmml\">2</mn>\n                  </msup>\n               </mrow>\n               <mn id=\"p1.1.m1.1.6.3\" xref=\"p1.1.m1.1.6.3.cmml\">2</mn>\n            </mfrac>\n            <mo id=\"p1.1.m1.1.8.2.1\" xref=\"p1.1.m1.1.8.2.1.cmml\">⁢</mo>\n            <mrow id=\"p1.1.m1.1.7.5\" xref=\"p1.1.m1.1.7.1.cmml\">\n               <mo id=\"p1.1.m1.1.7.2\" xref=\"p1.1.m1.1.7.1.1.cmml\">⟨</mo>\n               <msup id=\"p1.1.m1.1.7.3\" xref=\"p1.1.m1.1.7.3.cmml\">\n                  <mi id=\"p1.1.m1.1.7.3.1\" xref=\"p1.1.m1.1.7.3.1.cmml\">E</mi>\n                  <mrow id=\"p1.1.m1.1.7.3.2.1\" xref=\"p1.1.m1.1.7.3.2.1.cmml\">\n                     <mo id=\"p1.1.m1.1.7.3.2.1.1\" xref=\"p1.1.m1.1.7.3.2.1.1.cmml\">-</mo>\n                     <mn id=\"p1.1.m1.1.7.3.2.1.2\" xref=\"p1.1.m1.1.7.3.2.1.2.cmml\">3</mn>\n                  </mrow>\n               </msup>\n               <mo id=\"p1.1.m1.1.7.4\" xref=\"p1.1.m1.1.7.1.1.cmml\">⟩</mo>\n            </mrow>\n         </mrow>\n      </mrow>\n      <annotation-xml encoding=\"MathML-Content\" id=\"p1.1.m1.1b\">\n         <apply id=\"p1.1.m1.1.8.cmml\" xref=\"p1.1.m1.1.8\">\n            <geq id=\"p1.1.m1.1.5.cmml\" xref=\"p1.1.m1.1.5\"/>\n            <apply id=\"p1.1.m1.1.8.1.cmml\" xref=\"p1.1.m1.1.8.1\">\n          <!--multiplication with multiple factors changed to function application.-->\n               <times id=\"p1.1.m1.1.8.1.1.cmml\" xref=\"p1.1.m1.1.8.1.1\"/>\n               <apply id=\"a-2-p1.1.m1.1.1.cmml\" xref=\"p1.1.m1.1.1\">\n                  <csymbol cd=\"wikidata\" id=\"p1.1.m1.1.1.cmml\" xref=\"p1.1.m1.1.1\">Q47004757</csymbol>\n                  <ci id=\"p1.1.m1.1.2.cmml\" xref=\"p1.1.m1.1.2\">𝑥</ci>\n               </apply>\n               <apply id=\"a-4-p1.1.m1.1.3.cmml\" xref=\"p1.1.m1.1.3\">\n                  <csymbol cd=\"wikidata\" id=\"p1.1.m1.1.3.cmml\" xref=\"p1.1.m1.1.3\">Q47004757</csymbol>\n                  <ci id=\"p1.1.m1.1.4.cmml\" xref=\"p1.1.m1.1.4\">𝑣</ci>\n               </apply>\n            </apply>\n            <apply id=\"p1.1.m1.1.8.2.cmml\" xref=\"p1.1.m1.1.8.2\">\n               <times id=\"p1.1.m1.1.8.2.1.cmml\" xref=\"p1.1.m1.1.8.2.1\"/>\n               <apply id=\"p1.1.m1.1.6.cmml\" xref=\"p1.1.m1.1.6\">\n                  <divide id=\"p1.1.m1.1.6.1.cmml\" xref=\"p1.1.m1.1.6\"/>\n                  <apply id=\"p1.1.m1.1.6.2.cmml\" xref=\"p1.1.m1.1.6.2\">\n                     <times id=\"p1.1.m1.1.6.2.4.cmml\" xref=\"p1.1.m1.1.6.2.4\"/>\n                     <ci id=\"p1.1.m1.1.6.2.1.cmml\" xref=\"p1.1.m1.1.6.2.1\">𝑑</ci>\n                     <apply id=\"p1.1.m1.1.6.2.5.cmml\" xref=\"p1.1.m1.1.6.2.5\">\n                        <power id=\"p1.1.m1.1.6.2.5.1.cmml\" xref=\"p1.1.m1.1.6.2.5\"/>\n                        <ci id=\"p1.1.m1.1.6.2.2.cmml\" xref=\"p1.1.m1.1.6.2.2\">𝑚</ci>\n                        <cn id=\"p1.1.m1.1.6.2.3.1.cmml\" type=\"integer\" xref=\"p1.1.m1.1.6.2.3.1\">2</cn>\n                     </apply>\n                  </apply>\n                  <cn id=\"p1.1.m1.1.6.3.cmml\" type=\"integer\" xref=\"p1.1.m1.1.6.3\">2</cn>\n               </apply>\n               <apply id=\"p1.1.m1.1.7.1.cmml\" xref=\"p1.1.m1.1.7.5\">\n                  <csymbol cd=\"wikidata\" id=\"p1.1.m1.1.7.1.1.cmml\" xref=\"p1.1.m1.1.7.2\">Q19033</csymbol>\n                  <apply id=\"p1.1.m1.1.7.3.cmml\" xref=\"p1.1.m1.1.7.3\">\n                     <power id=\"p1.1.m1.1.7.3.3.cmml\" xref=\"p1.1.m1.1.7.3\"/>\n                     <ci id=\"p1.1.m1.1.7.3.1.cmml\" xref=\"p1.1.m1.1.7.3.1\">𝐸</ci>\n                     <apply id=\"p1.1.m1.1.7.3.2.1.cmml\" xref=\"p1.1.m1.1.7.3.2.1\">\n                        <minus id=\"p1.1.m1.1.7.3.2.1.1.cmml\" xref=\"p1.1.m1.1.7.3.2.1.1\"/>\n                        <cn id=\"p1.1.m1.1.7.3.2.1.2.cmml\"\n                            type=\"integer\"\n                            xref=\"p1.1.m1.1.7.3.2.1.2\">3</cn>\n                     </apply>\n                  </apply>\n               </apply>\n            </apply>\n         </apply>\n      </annotation-xml>\n      <annotation encoding=\"application/x-tex\" id=\"p1.1.m1.1c\">\\Delta x\\Delta{v}\\geq\\frac{dm^{2}}{2}\\mean{E^{-3}}</annotation>\n  </semantics>\n</math>\n",
  "uri": "https://arxiv.org/abs/0907.5178",
  "title": "Heisenberg uncertainty principle Context 2",
  "comment": "",
  "type": "relation",
  "notation": "Bra-ket Q59090",
  "ntcir12-type": "22",
  "formula": "1_12.10",
  "page": "8",
  "ntcir12-relevance": "3"
}