ag-gipp/GoUldI

View on GitHub
data/15.json

Summary

Maintainability
Test Coverage
{
  "definitions": {
    "b": [
      {
        "Q12916": "real number (quantity along a continuous line)"
      }
    ],
    "x": [
      {
        "Q12916": "real number (quantity along a continuous line)"
      }
    ]
  },
  "constraints": [],
  "math_inputtex": "bx-x^2",
  "math_inputtex_semantic": "\\w{Q1318370}{\\w{Q50700}{b}\\w{Q2487752}{x}-x^2}",
  "correct_tex": "bx-x^2",
  "correct_mml": "<math xmlns=\"http://www.w3.org/1998/Math/MathML\"\n      xmlns:xlink=\"http://www.w3.org/1999/xlink\"\n      alttext=\"bx-x^{2}\"\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.6\" xref=\"p1.1.m1.1.6.cmml\">\n         <mrow id=\"p1.1.m1.1.6.1\" xref=\"p1.1.m1.1.6.1.cmml\">\n            <mi id=\"p1.1.m1.1.1\" xref=\"p1.1.m1.1.1.cmml\">b</mi>\n            <mo id=\"p1.1.m1.1.6.1.1\" xref=\"p1.1.m1.1.6.1.1.cmml\">⁢</mo>\n            <mi id=\"p1.1.m1.1.2\" xref=\"p1.1.m1.1.2.cmml\">x</mi>\n         </mrow>\n         <mo id=\"p1.1.m1.1.3\" xref=\"p1.1.m1.1.3.cmml\">-</mo>\n         <msup id=\"p1.1.m1.1.6.2\" xref=\"p1.1.m1.1.6.2.cmml\">\n            <mi id=\"p1.1.m1.1.4\" xref=\"p1.1.m1.1.4.cmml\">x</mi>\n            <mn id=\"p1.1.m1.1.5.1\" xref=\"p1.1.m1.1.5.1.cmml\">2</mn>\n         </msup>\n      </mrow>\n      <annotation-xml encoding=\"MathML-Content\" id=\"p1.1.m1.1b\">\n         <apply id=\"p1.1.m1.1.6.cmml\" xref=\"p1.1.m1.1.6\">\n            <minus id=\"p1.1.m1.1.3.cmml\" xref=\"p1.1.m1.1.3\"/>\n            <apply id=\"p1.1.m1.1.6.1.cmml\" xref=\"p1.1.m1.1.6.1\">\n               <times id=\"p1.1.m1.1.6.1.1.cmml\" xref=\"p1.1.m1.1.6.1.1\"/>\n               <ci id=\"p1.1.m1.1.1.cmml\" xref=\"p1.1.m1.1.1\">𝑏</ci>\n               <ci id=\"p1.1.m1.1.2.cmml\" xref=\"p1.1.m1.1.2\">𝑥</ci>\n            </apply>\n            <apply id=\"p1.1.m1.1.6.2.cmml\" xref=\"p1.1.m1.1.6.2\">\n               <power id=\"p1.1.m1.1.6.2.1.cmml\" xref=\"p1.1.m1.1.6.2\"/>\n               <ci id=\"p1.1.m1.1.4.cmml\" xref=\"p1.1.m1.1.4\">𝑥</ci>\n               <cn id=\"p1.1.m1.1.5.1.cmml\" type=\"integer\" xref=\"p1.1.m1.1.5.1\">2</cn>\n            </apply>\n         </apply>\n      </annotation-xml>\n      <annotation encoding=\"application/x-tex\" id=\"p1.1.m1.1c\">bx-x^{2}</annotation>\n  </semantics>\n</math>\n",
  "uri": "https://en.formulasearchengine.com/w/index.php?oldid=26321#math26321.4",
  "title": "Adequality",
  "type": "general formula",
  "check": {
    "tree": true,
    "qid": true
  }
}