Decidability (logic) (English Wikipedia)

Analysis of information sources in references of the Wikipedia article "Decidability (logic)" in English language version.

refsWebsite

Global rank English rank

2books.google.com

3^rd place

2psu.edu

207^th place

136^th place

2doi.org

2^nd place

2semanticscholar.org

11^th place

8^th place

2mathoverflow.net

low place

2arxiv.org

69^th place

59^th place

1archive.org

6^th place

1uni-trier.de

7,690^th place

low place

1springer.com

274^th place

309^th place

archive.org (Global: 6^th place; English: 6^th place)

Monk, Donald (1976). Mathematical Logic. Springer. p. 279. ISBN 9780387901701.

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

Brumleve, Dan; Hamkins, Joel David; Schlicht, Philipp (2012). "The Mate-in-n Problem of Infinite Chess Is Decidable". Conference on Computability in Europe. Lecture Notes in Computer Science. Vol. 7318. Springer. pp. 78–88. arXiv:1201.5597. doi:10.1007/978-3-642-30870-3_9. ISBN 978-3-642-30870-3. S2CID 8998263.
Poonen, Bjorn (2014). "10. Undecidable Problems: A Sampler: §14.1 Abstract Games". In Kennedy, Juliette (ed.). Interpreting Gödel: Critical Essays. Cambridge University Press. pp. 211–241 See p. 239. arXiv:1204.0299. CiteSeerX 10.1.1.679.3322. ISBN 9781107002661.

books.google.com (Global: 3^rd place; English: 3^rd place)

Tarski, A.; Mostovski, A.; Robinson, R. (1953), Undecidable Theories, Studies in Logic and the Foundation of Mathematics, North-Holland, Amsterdam, ISBN 9780444533784 {{citation}}: ISBN / Date incompatibility (help)
Poonen, Bjorn (2014). "10. Undecidable Problems: A Sampler: §14.1 Abstract Games". In Kennedy, Juliette (ed.). Interpreting Gödel: Critical Essays. Cambridge University Press. pp. 211–241 See p. 239. arXiv:1204.0299. CiteSeerX 10.1.1.679.3322. ISBN 9781107002661.

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

Gurevich, Yuri (1976). "The Decision Problem for Standard Classes". J. Symb. Log. 41 (2): 460–464. CiteSeerX 10.1.1.360.1517. doi:10.1017/S0022481200051513. S2CID 798307. Retrieved 5 August 2014.
Brumleve, Dan; Hamkins, Joel David; Schlicht, Philipp (2012). "The Mate-in-n Problem of Infinite Chess Is Decidable". Conference on Computability in Europe. Lecture Notes in Computer Science. Vol. 7318. Springer. pp. 78–88. arXiv:1201.5597. doi:10.1007/978-3-642-30870-3_9. ISBN 978-3-642-30870-3. S2CID 8998263.

mathoverflow.net (Global: low place; English: low place)

psu.edu (Global: 207^th place; English: 136^th place)

citeseerx.ist.psu.edu

Gurevich, Yuri (1976). "The Decision Problem for Standard Classes". J. Symb. Log. 41 (2): 460–464. CiteSeerX 10.1.1.360.1517. doi:10.1017/S0022481200051513. S2CID 798307. Retrieved 5 August 2014.
Poonen, Bjorn (2014). "10. Undecidable Problems: A Sampler: §14.1 Abstract Games". In Kennedy, Juliette (ed.). Interpreting Gödel: Critical Essays. Cambridge University Press. pp. 211–241 See p. 239. arXiv:1204.0299. CiteSeerX 10.1.1.679.3322. ISBN 9781107002661.

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

api.semanticscholar.org

Gurevich, Yuri (1976). "The Decision Problem for Standard Classes". J. Symb. Log. 41 (2): 460–464. CiteSeerX 10.1.1.360.1517. doi:10.1017/S0022481200051513. S2CID 798307. Retrieved 5 August 2014.
Brumleve, Dan; Hamkins, Joel David; Schlicht, Philipp (2012). "The Mate-in-n Problem of Infinite Chess Is Decidable". Conference on Computability in Europe. Lecture Notes in Computer Science. Vol. 7318. Springer. pp. 78–88. arXiv:1201.5597. doi:10.1007/978-3-642-30870-3_9. ISBN 978-3-642-30870-3. S2CID 8998263.

springer.com (Global: 274^th place; English: 309^th place)

link.springer.com

Brumleve, Dan; Hamkins, Joel David; Schlicht, Philipp (2012). "The Mate-in-n Problem of Infinite Chess Is Decidable". Conference on Computability in Europe. Lecture Notes in Computer Science. Vol. 7318. Springer. pp. 78–88. arXiv:1201.5597. doi:10.1007/978-3-642-30870-3_9. ISBN 978-3-642-30870-3. S2CID 8998263.

uni-trier.de (Global: 7,690^th place; English: low place)

dblp.uni-trier.de

Gurevich, Yuri (1976). "The Decision Problem for Standard Classes". J. Symb. Log. 41 (2): 460–464. CiteSeerX 10.1.1.360.1517. doi:10.1017/S0022481200051513. S2CID 798307. Retrieved 5 August 2014.

Decidability (logic) (English Wikipedia)

archive.org (Global: 6th place; English: 6th place)

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

books.google.com (Global: 3rd place; English: 3rd place)

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