Average case completeness (Q1176231)

From MaRDI portal