How many phone hardware models are produced by the company named "Nokia Corporation"?
SELECT count(*) FROM phone WHERE Company_name = "Nokia Corporation";
phone hardware models produced by the company named 'Nokia Corporation' refers to COUNT(*) WHERE Company_name = 'Nokia Corporation';