{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,15]],"date-time":"2025-08-15T01:22:53Z","timestamp":1755220973959,"version":"3.43.0"},"reference-count":5,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[1999,3,1]],"date-time":"1999-03-01T00:00:00Z","timestamp":920246400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1999,3,1]],"date-time":"1999-03-01T00:00:00Z","timestamp":920246400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Studia Logica"],"published-print":{"date-parts":[[1999,3]]},"DOI":"10.1023\/a:1026459821186","type":"journal-article","created":{"date-parts":[[2003,11,6]],"date-time":"2003-11-06T11:45:40Z","timestamp":1068119140000},"page":"283-289","source":"Crossref","is-referenced-by-count":1,"title":["Monotone Majorizable Functionals"],"prefix":"10.1007","volume":"62","author":[{"given":"Helmut","family":"Schwichtenberg","sequence":"first","affiliation":[]}],"member":"297","reference":[{"issue":"1","key":"205538_CR1","doi-asserted-by":"crossref","first-page":"271","DOI":"10.2307\/2275030","volume":"54","author":"M. Bezem","year":"1989","unstructured":"Marc Bezem, \u2018Compact and majorizable functionals of finite type\u2019, The Journal of Symbolic Logic 54(1): 271\u2013280, March 1989.","journal-title":"The Journal of Symbolic Logic"},{"key":"205538_CR2","series-title":"Lecture Notes in Mathematlics","volume-title":"Metamathematical Investigation of Intuitionistic Arithmetic and Analysis","year":"1973","unstructured":"Anne S. Troelstra (ed.), Metamathematical Investigation of Intuitionistic Arithmetic and Analysis, volume 344 of Lecture Notes in Mathematlics, Springer Verlag, Berlin, Heidelberg, New York, 1973."},{"key":"205538_CR3","doi-asserted-by":"crossref","unstructured":"Viggo Stoltenberg-Hansen, Edward Griffor, and Ingrid Lindstr\u00d6m, Mathematical Theory of Domains, Cambridge Tracts in Theoretical Computer Science, Cambridge University Press, 1994.","DOI":"10.1017\/CBO9781139166386"},{"key":"205538_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"305","DOI":"10.1007\/3-540-58233-9_14","volume-title":"Higher-Order Algebra, Logic and Term Rewriting (HOA '93)","author":"J. v. d. Pol","year":"1994","unstructured":"Jaco van de Pol, \u2018Termination proofs for higher-order rewrite systems\u2019, in J. Heering, K. Meinke, B. M\u00f6ller and T. Nipkow (eds.), Higher-Order Algebra, Logic and Term Rewriting (HOA '93), volume 816 of Lecture Notes in Computer Science, p. 305\u2013325, Springer Verlag, Berlin, Heidelberg, New York, 1994."},{"key":"205538_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"350","DOI":"10.1007\/BFb0014064","volume-title":"Typed Lambda Calculi and Applications","author":"J. v. d. Pol","year":"1995","unstructured":"Jaco van de Pol and Helmut Schwichtenberg, \u2018Strict functionals for termination proofs\u2019, in M. Dezani-Ciancaglini and G. Plotkin (eds.), Typed Lambda Calculi and Applications, volume 902 of Lecture Notes in Computer Science, p. 350\u2013364, Springer Verlag, Berlin, Heidelberg, New York, 1995."}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1026459821186.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1026459821186\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1026459821186.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,8]],"date-time":"2025-08-08T05:31:21Z","timestamp":1754631081000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1026459821186"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999,3]]},"references-count":5,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1999,3]]}},"alternative-id":["205538"],"URL":"https:\/\/doi.org\/10.1023\/a:1026459821186","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"type":"print","value":"0039-3215"},{"type":"electronic","value":"1572-8730"}],"subject":[],"published":{"date-parts":[[1999,3]]}}}