Although the conflict officially ended in 1748, the main engagements were concluded by 1742.
戦争が正式に終わるのは1748年のことであったが、主な戦闘は1742年に終わった。