Using the advanced settings of Google, you can use it to search Wikipedia much more effectively than Wikipedia's search box. Simply enter the desired search term(s) at Google, then go to Google's advanced search screen and insert Wikipedia's URL (web address) into the "Domain" box, and click "Google search."