{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T13:33:59Z","timestamp":1740144839956,"version":"3.37.3"},"reference-count":16,"publisher":"Informa UK Limited","issue":"2","funder":[{"DOI":"10.13039\/501100003130","name":"Fonds Wetenschappelijk Onderzoek","doi-asserted-by":"publisher","award":["G070521N"],"award-info":[{"award-number":["G070521N"]}],"id":[{"id":"10.13039\/501100003130","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["www.tandfonline.com"],"crossmark-restriction":true},"short-container-title":["The American Mathematical Monthly"],"published-print":{"date-parts":[[2025,2,7]]},"DOI":"10.1080\/00029890.2024.2416376","type":"journal-article","created":{"date-parts":[[2024,11,8]],"date-time":"2024-11-08T19:00:37Z","timestamp":1731092437000},"page":"175-179","update-policy":"https:\/\/doi.org\/10.1080\/tandf_crossmark_01","source":"Crossref","is-referenced-by-count":0,"title":["The Possible Asylum"],"prefix":"10.1080","volume":"132","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-3460-4251","authenticated-orcid":false,"given":"Bart","family":"Bogaerts","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"301","published-online":{"date-parts":[[2024,11,8]]},"reference":[{"key":"e_1_3_5_2_1","doi-asserted-by":"publisher","DOI":"10.1080\/00029890.2023.2176668"},{"key":"e_1_3_5_3_1","doi-asserted-by":"publisher","DOI":"10.2307\/3026490"},{"key":"e_1_3_5_4_1","doi-asserted-by":"publisher","DOI":"10.2307\/3027328"},{"key":"e_1_3_5_5_1","doi-asserted-by":"publisher","DOI":"10.1080\/00029890.2023.2277092"},{"key":"e_1_3_5_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/3191315.3191321"},{"key":"e_1_3_5_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1342991.1342998"},{"key":"e_1_3_5_8_1","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068406002973"},{"key":"e_1_3_5_9_1","volume-title":"The lady or the tiger? and other logic puzzles","author":"Smullyan R.","year":"1982","unstructured":"Smullyan R. The lady or the tiger? and other logic puzzles. New York: Alfred A. Knopf; 1982."},{"key":"e_1_3_5_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-89982-2_12"},{"key":"e_1_3_5_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-2360-3"},{"key":"e_1_3_5_12_1","first-page":"430","volume-title":"Proceedings, The Twentieth National Conference on Artificial Intelligence and the Seventeenth Innovative Applications of Artificial Intelligence Conference","author":"Mitchell DG","year":"2005","unstructured":"Mitchell DG, Ternovska E. A framework for representing and solving NP search problems. In: Veloso MM, Kambhampati S, editors. Proceedings, The Twentieth National Conference on Artificial Intelligence and the Seventeenth Innovative Applications of Artificial Intelligence Conference, July 9\u201313, 2005, Pittsburgh, Pennsylvania, USA. AAAI Press \/ The MIT Press; 2005. p. 430\u2013435. Available from: http:\/\/www.aaai.org\/Library\/AAAI\/2005\/aaai05-068.php."},{"key":"e_1_3_5_13_1","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068414000155"},{"key":"e_1_3_5_14_1","unstructured":"Sutcliffe G Suttner C. The TPTP problem library for automated theorem proving. Available from: https:\/\/tptp.org\/."},{"key":"e_1_3_5_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02959-2_10"},{"key":"e_1_3_5_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICTAI.2013.159"},{"key":"e_1_3_5_17_1","doi-asserted-by":"publisher","DOI":"10.5281\/zenodo.12608036"}],"container-title":["The American Mathematical Monthly"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.tandfonline.com\/doi\/pdf\/10.1080\/00029890.2024.2416376","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,27]],"date-time":"2025-01-27T11:01:09Z","timestamp":1737975669000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.tandfonline.com\/doi\/full\/10.1080\/00029890.2024.2416376"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,11,8]]},"references-count":16,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2025,2,7]]}},"alternative-id":["10.1080\/00029890.2024.2416376"],"URL":"https:\/\/doi.org\/10.1080\/00029890.2024.2416376","relation":{},"ISSN":["0002-9890","1930-0972"],"issn-type":[{"type":"print","value":"0002-9890"},{"type":"electronic","value":"1930-0972"}],"subject":[],"published":{"date-parts":[[2024,11,8]]},"assertion":[{"value":"The publishing and review policy for this title is described in its Aims & Scope.","order":1,"name":"peerreview_statement","label":"Peer Review Statement"},{"value":"http:\/\/www.tandfonline.com\/action\/journalInformation?show=aimsScope&journalCode=uamm20","URL":"http:\/\/www.tandfonline.com\/action\/journalInformation?show=aimsScope&journalCode=uamm20","order":2,"name":"aims_and_scope_url","label":"Aim & Scope"},{"value":"2024-02-09","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2024-07-02","order":1,"name":"revised","label":"Revised","group":{"name":"publication_history","label":"Publication History"}},{"value":"2024-07-03","order":2,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2024-11-08","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}