Metadata
Author: Literature
Data
English[en]
We would like the verifier to determine algorithmically whether the given program solves the given problem.
Italian[it]
Eravamo interessati a determinare algoritmicamente se il dato algoritmo risolveva il problema o no.