Complete formal definition: See here
Validation code: See here
Avaliable validator tests Code: See here
Experiments Code: See here Schema for wikidata: See here Wikidata dump used for validation: See here