ag-gipp/GoUldI

View on GitHub
data/230.json

Summary

Maintainability
Test Coverage
{
  "definitions" : {
    "x" : [ {
      "Q12916" : "real number"
    } ],
    "y" : [ {
      "Q12916" : "real number"
    } ]
  },
  "constraints" : [ ],
  "math_inputtex" : "(x+y)/2",
  "math_inputtex_semantic" : "(\\w{Q12916}{x} + \\w{Q12916}{y})/2",
  "correct_tex" : "(x+y)/2",
  "correct_mml" : "<math xmlns=\"http://www.w3.org/1998/Math/MathML\" id=\"p1.1.m1.1\" class=\"ltx_Math\" alttext=\"(x+y)/2\" display=\"inline\">\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.2.cmml\">\n        <mo stretchy=\"false\" id=\"p1.1.m1.1.1\" xref=\"p1.1.m1.1.8.1.2.cmml\">(</mo>\n        <mrow id=\"p1.1.m1.1.8.1.2\" xref=\"p1.1.m1.1.8.1.2.cmml\">\n          <mi id=\"p1.1.m1.1.2\" xref=\"p1.1.m1.1.2.cmml\">x</mi>\n          <mo id=\"p1.1.m1.1.3\" xref=\"p1.1.m1.1.3.cmml\">+</mo>\n          <mi id=\"p1.1.m1.1.4\" xref=\"p1.1.m1.1.4.cmml\">y</mi>\n        </mrow>\n        <mo stretchy=\"false\" id=\"p1.1.m1.1.5\" xref=\"p1.1.m1.1.8.1.2.cmml\">)</mo>\n      </mrow>\n      <mo id=\"p1.1.m1.1.6\" xref=\"p1.1.m1.1.6.cmml\">/</mo>\n      <mn id=\"p1.1.m1.1.7\" xref=\"p1.1.m1.1.7.cmml\">2</mn>\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        <divide id=\"p1.1.m1.1.6.cmml\" xref=\"p1.1.m1.1.6\"/>\n        <apply id=\"p1.1.m1.1.8.1.2.cmml\" xref=\"p1.1.m1.1.8.1\">\n          <plus id=\"p1.1.m1.1.3.cmml\" xref=\"p1.1.m1.1.3\"/>\n          <csymbol cd=\"latexml\" id=\"p1.1.m1.1.2.cmml\" xref=\"p1.1.m1.1.2\">Q12916</csymbol>\n          <csymbol cd=\"latexml\" id=\"p1.1.m1.1.4.cmml\" xref=\"p1.1.m1.1.4\">Q12916</csymbol>\n        </apply>\n        <cn type=\"integer\" id=\"p1.1.m1.1.7.cmml\" xref=\"p1.1.m1.1.7\">2</cn>\n      </apply>\n    </annotation-xml>\n    <annotation encoding=\"application/x-tex\" id=\"p1.1.m1.1c\">(x+y)/2</annotation>\n  </semantics>\n</math>",
  "uri" : "https://arxiv.org/abs/1201.5232",
  "title" : "Arithmetic mean: Context 1",
  "comment" : "",
  "type" : "general formula",
  "ntcir12-type" : "1",
  "formula" : "1_35.3",
  "page" : "5",
  "ntcir12-relevance" : "4"
}