alternate way to get the information
I don't know the exact answer to your question, but you will find it with cat /proc/cpuinfo. After this, you shouldn't have any doubt left.
An hyperthreaded cpu will show two entries with the same core id and the same physical id. A multicore cpu will show several entries with the same physical id, but different core ids (also it indicates in cpu cores that it has several cores). And of course, different cpus will have different physical ids.