Information About a Given Entity: From Semantics Towards Automated Deduction | UPT Perpustakaan UHAMKA