Metadata
Author: Literature
Data
English[en]
(As outlined earlier, the 'with proof Tin is obtained algorithmically from n.
Italian[it]
(Come abbiamo già visto in precedenza, l' << n-esima di mostrazione>> TI n è ottenuta algoritmicamente da n.