konvencionalna publikacija (HOL)
konvencionalna publikacija, izdanje sa sadržajem zapisanim prirodnim jezikom ...
HOL2 HOL
nekonvencionalna publikacija (HOL)
nekonvencionalna publikacija, izdanje sa sadržajem zabilježenim umjetnim jezikom u obliku kakva koda ...
HOL2 HOL
upit: konvencionalna publikacija; pronađenih odgovora: 2; vrijeme izvršavanja upita: 118 ms