I thought they were, but I can't see whether or not the one I have acquired is. I have only really looked in CPU-Z.
AFAIK, it's socket 478, FSB 533, 2.8GHz if that helps any.
From what I have been reading there's not much mention of socket 478 P4s being 64-bit. Are the LGA775s 64-bit?