"propositionalized" meaning in English

{
  "head_templates": [
    {
      "args": {
        "1": "en",
        "2": "verb form"
      },
      "expansion": "propositionalized",
      "name": "head"
    }
  ],
  "lang": "English",
  "lang_code": "en",
  "pos": "verb",
  "senses": [
    {
      "categories": [
        {
          "kind": "other",
          "name": "English entries with incorrect language header",
          "parents": [
            "Entries with incorrect language header",
            "Entry maintenance"
          ],
          "source": "w"
        }
      ],
      "examples": [
        {
          "ref": "2015, Supratik Chakraborty, Kuldeep S. Meel, Rakesh Mistry, Moshe Y. Vardi, “Approximate Probabilistic Inference via Word-Level Counting”, in arXiv",
          "text": "Techniques based on bit-level (or Boolean) hash functions require these problems to be propositionalized, making it impossible to leverage the remarkable progress made in SMT (Satisfiability Modulo Theory) solvers that can reason directly over words (or bit-vectors).",
          "type": "quotation"
        }
      ],
      "form_of": [
        {
          "word": "propositionalize"
        }
      ],
      "glosses": [
        "simple past and past participle of propositionalize"
      ],
      "id": "en-propositionalized-en-verb-mPTJ5YpJ",
      "links": [
        [
          "propositionalize",
          "propositionalize#English"
        ]
      ],
      "tags": [
        "form-of",
        "participle",
        "past"
      ]
    }
  ],
  "word": "propositionalized"
}

{
  "head_templates": [
    {
      "args": {
        "1": "en",
        "2": "verb form"
      },
      "expansion": "propositionalized",
      "name": "head"
    }
  ],
  "lang": "English",
  "lang_code": "en",
  "pos": "verb",
  "senses": [
    {
      "categories": [
        "English entries with incorrect language header",
        "English non-lemma forms",
        "English terms with quotations",
        "English verb forms"
      ],
      "examples": [
        {
          "ref": "2015, Supratik Chakraborty, Kuldeep S. Meel, Rakesh Mistry, Moshe Y. Vardi, “Approximate Probabilistic Inference via Word-Level Counting”, in arXiv",
          "text": "Techniques based on bit-level (or Boolean) hash functions require these problems to be propositionalized, making it impossible to leverage the remarkable progress made in SMT (Satisfiability Modulo Theory) solvers that can reason directly over words (or bit-vectors).",
          "type": "quotation"
        }
      ],
      "form_of": [
        {
          "word": "propositionalize"
        }
      ],
      "glosses": [
        "simple past and past participle of propositionalize"
      ],
      "links": [
        [
          "propositionalize",
          "propositionalize#English"
        ]
      ],
      "tags": [
        "form-of",
        "participle",
        "past"
      ]
    }
  ],
  "word": "propositionalized"
}