{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,10,21]],"date-time":"2023-10-21T06:10:13Z","timestamp":1697868613957},"reference-count":6,"publisher":"Wiley","issue":"4","license":[{"start":{"date-parts":[[2006,11,13]],"date-time":"2006-11-13T00:00:00Z","timestamp":1163376000000},"content-version":"vor","delay-in-days":8717,"URL":"http:\/\/onlinelibrary.wiley.com\/termsAndConditions#vor"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Mathematical Logic Qtrly"],"published-print":{"date-parts":[[1983,1]]},"DOI":"10.1002\/malq.19830290409","type":"journal-article","created":{"date-parts":[[2007,6,9]],"date-time":"2007-06-09T08:17:35Z","timestamp":1181377055000},"page":"235-237","source":"Crossref","is-referenced-by-count":2,"title":["ON THE REDUCTION OF TYPE THEORY"],"prefix":"10.1002","volume":"29","author":[{"given":"Marcel","family":"Crabb\u00e9","sequence":"first","affiliation":[]}],"member":"311","published-online":{"date-parts":[[2006,11,13]]},"reference":[{"key":"e_1_2_1_2_2","unstructured":"Boffa M.On the axiomatization of NF. In: Colloque international de Logique Clermont \u2014 Ferrand1975 pp.157\u2013159."},{"key":"e_1_2_1_3_2","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0067644"},{"key":"e_1_2_1_4_2","first-page":"1387","article-title":"Consistency of a fragment of Quine's NF system","volume":"10","author":"Grishin V. N.","year":"1969","journal-title":"Soviet Math. Dokl."},{"key":"e_1_2_1_5_2","volume-title":"The method of stratification in set theory","author":"Grishin V. N.","year":"1973"},{"key":"e_1_2_1_6_2","doi-asserted-by":"publisher","DOI":"10.1007\/BF02011635"},{"key":"e_1_2_1_7_2","doi-asserted-by":"crossref","unstructured":"Specker E.Typical ambiguity. In: Logic Methodology and Philosophy of Science Stanford1962 pp.116\u2013124.","DOI":"10.1016\/S0049-237X(09)70576-2"}],"container-title":["Mathematical Logic Quarterly"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles\/10.1002%2Fmalq.19830290409","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/pdf\/10.1002\/malq.19830290409","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,10,20]],"date-time":"2023-10-20T07:22:52Z","timestamp":1697786572000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/malq.19830290409"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1983,1]]},"references-count":6,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1983,1]]}},"alternative-id":["10.1002\/malq.19830290409"],"URL":"https:\/\/doi.org\/10.1002\/malq.19830290409","archive":["Portico"],"relation":{},"ISSN":["0942-5616","1521-3870"],"issn-type":[{"value":"0942-5616","type":"print"},{"value":"1521-3870","type":"electronic"}],"subject":[],"published":{"date-parts":[[1983,1]]}}}