مبرهنة كوك وليفين (Arabic Wikipedia)

Analysis of information sources in references of the Wikipedia article "مبرهنة كوك وليفين" in Arabic language version.

refsWebsite

Global rank Arabic rank

2^nd place

5^th place

1^st place

6^th place

3^rd place

1,185^th place

1,160^th place

acm.org

Cook، Stephen (1971). "The complexity of theorem proving procedures". Proceedings of the Third Annual ACM Symposium on Theory of Computing. ص. 151–158. DOI:10.1145/800157.805047.

T. P. Baker؛ J. Gill؛ R. Solovay (1975). "Relativizations of the P = NP question". SIAM Journal on Computing. ج. 4 ع. 4: 431–442. DOI:10.1137/0204037.
Cook، Stephen (1971). "The complexity of theorem proving procedures". Proceedings of the Third Annual ACM Symposium on Theory of Computing. ص. 151–158. DOI:10.1145/800157.805047.