particija (HOL)
particija (lat.), dijeljenje, raščlanjivanje; u logici, dijeljenje sadržaja ...
HE HOL2 HOL

upit: particija; pronađenih odgovora: 1; vrijeme izvršavanja upita: 128 ms