Ciao,
con questa espressione regolare
codice:
/Art\. ([0-9]{1,})/
puoi estrarre il numero dell'articolo.
Es.
Codice PHP:
preg_match("/Art\\. ([0-9]{1,})/",$stringa,$match);
$numero_articolo = $match[1]; 
Se vuoi che lo spazio tra Art. e il numero sia facoltativo puoi usare:
codice:
/Art\.[ ]*([0-9]{1,})/
Se vuoi che sia "case insensitive" devi mettere un "i" dopo l'ultimo /