brojčana jednadžba (HOL)
brojčana jednadžba, jednadžba između brojčanih vrijednosti fizikalnih veličina ...
HOL
veličinska jednadžba (HOL)
veličinska jednadžba, jednadžba između potpunih vrijednosti fizikalnih veličina ...
HE HOL
upit: brojčana jednadžba; pronađenih odgovora: 2; vrijeme izvršavanja upita: 128 ms