When I want to know the Wikidata identifier of a Wikivoyage article like Barcelona, I usually run this API call:
wget --quiet -O - "http://www.wikidata.org/w/api.php?action=wbgetentities&sites=enwikivoyage&titles=Barcelona&format=xml&props=" | sed -e "s/.id=\"//" | sed -e "s/\".//"
Barcelona -> Q1492
But now I want to get the identifiers for all articles.
How can I get them without making thousands of API calls?
And also without downloading the WHOLE Wikidata database, which is probably huge.
Is there a file that contains just the Wikivoyage article name to Wikidata identifier mapping?