formalizations

noun
  1. plural of formalization; the process of making something formal or giving it an official, structured form
  2. Usage: commonly used in academic, legal, and technical contexts
  3. in logic and mathematics, the process of expressing ideas, rules, or systems in precise formal notation or symbolic language
  4. Usage: technical; used in mathematics, computer science, and philosophy

Examples