propositionalized

A form of propositionalize — To convert by means of propositionalization

Scrabble 31

Meanings

verb
  1. participlepastsimple past and past participle of propositionalize

    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).

    2015, Supratik Chakraborty, Kuldeep S. Meel, Rakesh Mistry, Moshe Y. Vardi, “Approximate Probabilistic Inference via Word-Level Counting”, in arXiv
Cite this entry
APA

propositionalized. (n.d.). In WatkinsX Dictionary. Retrieved November 3, 2026, from https://dictionary.watkinsx.com/word/propositionalized

MLA

“propositionalized.” WatkinsX Dictionary, https://dictionary.watkinsx.com/word/propositionalized. Accessed November 3, 2026.

Chicago

WatkinsX Dictionary, s.v. “propositionalized,” accessed November 3, 2026, https://dictionary.watkinsx.com/word/propositionalized.

Source: propositionalized on Wiktionary, CC BY-SA 4.0.