Next:
Valem (formula)
Up:
No Title
Previous:
Unifikaator (unifier)
Vaba muutuja (
free variable
)
-
valemis
mitteseotud
muutuja
, vrdl.
seotud muutuja
.
Jaan Penjam
Mon Sep 2 19:01:04 EET DST 1996