Etymology of redex

Raw extraction fields are retained for auditing. Their order does not establish ancestry.

{
  "templates": [
    {
      "name": "abbreviation",
      "args": {
        "1": "en",
        "2": "reducible expression"
      },
      "expansion": "Abbreviation of reducible expression"
    }
  ],
  "links": [
    [
      "reducible",
      "reducible#English"
    ],
    [
      "expression",
      "expression#English"
    ]
  ],
  "references": [],
  "descendants": [],
  "lexical": [
    {
      "pos": "noun",
      "glosses": [
        "Something to be reduced according to the rules of a formal system."
      ],
      "tags": [],
      "recordId": "a87b3b034e47584b393a57fd4b5d97652ec5fd79217ec7d820e7a3654d730928",
      "rawRecordSha256": "5ebe70a7ce3bb766d493a29519890af3d1e43803322bcda701c8f071a500aa5b",
      "sourceRecordOrdinal": 245692
    }
  ],
  "omittedAuxiliaryFields": {
    "templates": 0,
    "links": 0,
    "references": 0,
    "descendants": 0,
    "lexicalRecords": 0,
    "lexicalSenses": 0,
    "glosses": 0
  }
}