EntityQ8612021· pop 5Category:Mathematical theorems in theoretical computer scienceWikimedia category