Getting a specific “page” from the Wikipedia XML dump

Question

OK, so this is what I need :

• I have downloaded and extracted the full Wikipedia XML dump (>40GB, single XML file)
• I need to retrieve one particular <page> element (eg the page for the entry "Italy")

How can I do this? (Preferably with PHP code or some existing tool)

Answer 1

There is no guarantee that the full content of the page will be sequentially located, revisions might be anywhere in the same file or even in different XML files.

Please use or the web API's action=export at worst Special:Export . Not adding a link here because the output is huge.