3 ms·
It does matter, the second and last sentence of the abstract is "The proof is sensitive to the particular computational models."
by mgraczyk 3y ago
It does matter, the second and last sentence of the abstract is "The proof is sensitive to the particular computational models."