Contextualizebeta

paramodulation

noun

Etymology

From para- + modulation.

  1. derived from *med-✻ — “to measure; etc.”
  2. derived from modulātiō — “regular or rhythmical measure, modulation; inflection of tone; (architecture) calculation of measurements from a standard unit; (Late Latin) act of making music or singing; melody, song”
  3. derived from modulation
  4. inherited from modulacion
  5. prefixed as paramodulation — “para + modulation”

Definitions

  1. A technique for reasoning on sets of clauses where the predicate symbol is equality.

The neighborhood

Vish — recursive loop

No curated loop yet for paramodulation. Loops are being traced one word at a time while the ingestion pipeline matures.

sense glosses and etymology drawn from English Wiktionary · source · CC-BY-SA