{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,23]],"date-time":"2026-07-23T22:09:49Z","timestamp":1784844589238,"version":"3.55.0"},"reference-count":13,"publisher":"Wiley","issue":"3","license":[{"start":{"date-parts":[[2006,10,6]],"date-time":"2006-10-06T00:00:00Z","timestamp":1160092800000},"content-version":"vor","delay-in-days":4176,"URL":"http:\/\/onlinelibrary.wiley.com\/termsAndConditions#vor"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Graph Theory"],"published-print":{"date-parts":[[1995,5]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>The Ramsey number <jats:italic>R<\/jats:italic>(4, 5) is defined to be the least positive integer <jats:italic>n<\/jats:italic> such that every <jats:italic>n<\/jats:italic>\u2010vertex graph contains either a clique of order 4 or an independent set of order 5. With the help of a long computation using novel techniques, we prove that <jats:italic>R<\/jats:italic>(4, 5) = 25. \u00a9 1995 John Wiley &amp; Sons, Inc.<\/jats:p>","DOI":"10.1002\/jgt.3190190304","type":"journal-article","created":{"date-parts":[[2007,5,26]],"date-time":"2007-05-26T13:55:53Z","timestamp":1180187753000},"page":"309-322","source":"Crossref","is-referenced-by-count":51,"title":["<i>R<\/i>(4, 5) = 25"],"prefix":"10.1002","volume":"19","author":[{"given":"Brendan D.","family":"McKay","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Stanislaw P.","family":"Radziszowski","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"311","published-online":{"date-parts":[[2006,10,6]]},"reference":[{"key":"e_1_2_1_2_2","first-page":"201","article-title":"Construction of special edge colorings","volume":"36","author":"Brass P.","year":"1989","journal-title":"Util. Math."},{"key":"e_1_2_1_3_2","volume-title":"Ramsey Theory","author":"Graham R. L.","year":"1990"},{"key":"e_1_2_1_4_2","doi-asserted-by":"publisher","DOI":"10.4153\/CJM-1955-001-4"},{"key":"e_1_2_1_5_2","doi-asserted-by":"publisher","DOI":"10.4153\/CMB-1965-041-7"},{"key":"e_1_2_1_6_2","unstructured":"B. D.McKay nauty Users' Guide (version 1.5). Technical Report TR\u2010CS\u201090\u201002 Computer Science Department Australian National University (1990)."},{"key":"e_1_2_1_7_2","unstructured":"B. D.McKay Isomorph\u2010free exhaustive generation. In preparation."},{"key":"e_1_2_1_8_2","doi-asserted-by":"publisher","DOI":"10.1006\/jctb.1994.1038"},{"key":"e_1_2_1_9_2","doi-asserted-by":"publisher","DOI":"10.1002\/jgt.3190160111"},{"key":"e_1_2_1_10_2","article-title":"Small Ramsey numbers","volume":"1","author":"Radziszowski S. P.","year":"1994","journal-title":"Electronic J. Combinatorics, Dynamic Survey"},{"key":"e_1_2_1_11_2","first-page":"37","article-title":"On R(3, k) Ramsey graphs: Theoretical and computational results","volume":"4","author":"Radziszowski S. P.","year":"1988","journal-title":"J. Combinant. Math. Combinat. Comput."},{"key":"e_1_2_1_12_2","doi-asserted-by":"publisher","DOI":"10.1112\/plms\/s2-30.1.264"},{"key":"e_1_2_1_13_2","doi-asserted-by":"publisher","DOI":"10.1016\/S0021-9800(68)80070-5"},{"key":"e_1_2_1_14_2","doi-asserted-by":"publisher","DOI":"10.1016\/0097-3165(71)90002-1"}],"container-title":["Journal of Graph Theory"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles\/10.1002%2Fjgt.3190190304","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/pdf\/10.1002\/jgt.3190190304","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,10,26]],"date-time":"2023-10-26T20:58:23Z","timestamp":1698353903000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/jgt.3190190304"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995,5]]},"references-count":13,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1995,5]]}},"alternative-id":["10.1002\/jgt.3190190304"],"URL":"https:\/\/doi.org\/10.1002\/jgt.3190190304","archive":["Portico"],"relation":{},"ISSN":["0364-9024","1097-0118"],"issn-type":[{"value":"0364-9024","type":"print"},{"value":"1097-0118","type":"electronic"}],"subject":[],"published":{"date-parts":[[1995,5]]}}}