Gödel's completeness theorem (English Wikipedia)

Analysis of information sources in references of the Wikipedia article "Gödel's completeness theorem" in English language version.

refsWebsite

Global rank English rank

2^nd place

2^nd place

26^th place

20^th place

2semanticscholar.org

11^th place

8^th place

69^th place

59^th place

1sourceforge.net

1,669^th place

1,290^th place

1web.archive.org

1^st place

1^st place

arxiv.org (Global: 69^th place; English: 59^th place)

Batzoglou, Serafim (2021). "Gödel's Incompleteness Theorem". arXiv:2112.06641 [math.HO]. (p.17). Accessed 2022-12-01.

doi.org (Global: 2^nd place; English: 2^nd place)

Leon Henkin (Sep 1949). "The completeness of the first-order functional calculus". The Journal of Symbolic Logic. 14 (3): 159–166. doi:10.2307/2267044. JSTOR 2267044. S2CID 28935946.
Gisbert F. R. Hasenjaeger (Mar 1953). "Eine Bemerkung zu Henkin's Beweis für die Vollständigkeit des Prädikatenkalküls der Ersten Stufe". The Journal of Symbolic Logic. 18 (1): 42–48. doi:10.2307/2266326. JSTOR 2266326. S2CID 45705695.

jstor.org (Global: 26^th place; English: 20^th place)

Leon Henkin (Sep 1949). "The completeness of the first-order functional calculus". The Journal of Symbolic Logic. 14 (3): 159–166. doi:10.2307/2267044. JSTOR 2267044. S2CID 28935946.
Gisbert F. R. Hasenjaeger (Mar 1953). "Eine Bemerkung zu Henkin's Beweis für die Vollständigkeit des Prädikatenkalküls der Ersten Stufe". The Journal of Symbolic Logic. 18 (1): 42–48. doi:10.2307/2266326. JSTOR 2266326. S2CID 45705695.

semanticscholar.org (Global: 11^th place; English: 8^th place)

api.semanticscholar.org

Leon Henkin (Sep 1949). "The completeness of the first-order functional calculus". The Journal of Symbolic Logic. 14 (3): 159–166. doi:10.2307/2267044. JSTOR 2267044. S2CID 28935946.
Gisbert F. R. Hasenjaeger (Mar 1953). "Eine Bemerkung zu Henkin's Beweis für die Vollständigkeit des Prädikatenkalküls der Ersten Stufe". The Journal of Symbolic Logic. 18 (1): 42–48. doi:10.2307/2266326. JSTOR 2266326. S2CID 45705695.

sourceforge.net (Global: 1,669^th place; English: 1,290^th place)

afp.sourceforge.net

James Margetson (Sep 2004). Proving the Completeness Theorem within Isabelle/HOL (PDF) (Technical Report). Archived (PDF) from the original on 2006-02-22.

web.archive.org (Global: 1^st place; English: 1^st place)

James Margetson (Sep 2004). Proving the Completeness Theorem within Isabelle/HOL (PDF) (Technical Report). Archived (PDF) from the original on 2006-02-22.