Next: Üldkehtestatav valem (valid formula)
Up: No Title
Previous: Väär valem (false formula)
- 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 
.
Jaan Penjam
Mon Sep 2 19:01:04 EET DST 1996