(P31)	(Q486902) (Q65943)
(P138)	(Q1395607)
(P1318)	(Q1395607)
(P1343)	(Q29393117)
(P6104)	(Q8487137)

aliases

Solovay's theorem

External Links

(P646)	/m/09gcr4d
(P6366)	2780068953