Many hard examples for resolution (Q59699144)
Language:
Current Data About Many hard examples for resolution
(P31) (Q13442814)

(P50) (Q439709)
(P1545) 2
(P1932) Endre Szemerédi

(Q1384912)
(P1545) 1

(P304) 759-768

(P407) (Q1860)

(P433) 4

(P478) 35

(P577) Saturday, October 1, 1988

(P1433) (Q1709878)

(P1476) "Many hard examples for resolution" (language: en)

(P6104) (Q8487137)