Next: Vaba muutuja ( free Up: No Title Previous: Tõene valem (true formula)

Unifikaator (unifier)

- asendus, mis muudab etteantud valemid ühesugusteks.

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