On computational reducibility (Q1232281)

From MaRDI portal