next up previous contents
Next: Üldkehtestatav valem (valid formula) Up: No Title Previous: Väär valem (false formula)

Üldisim unifikaator (most general unifier)

- unifikaator, "mis teeb valemites kõige vähem asendusi". Asendus s on avaldiste hulga W üldiseim unifikaator, kui iga unifikaatori v jaoks leidub asendus r, nii et tex2html_wrap_inline595 .



Jaan Penjam
Mon Sep 2 19:01:04 EET DST 1996