{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,6,27]],"date-time":"2024-06-27T05:52:53Z","timestamp":1719467573758},"reference-count":0,"publisher":"WORLD SCIENTIFIC","isbn-type":[{"value":"9789811245213","type":"print"},{"value":"9789811245220","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023,4]]},"DOI":"10.1142\/9789811245220_0010","type":"book-chapter","created":{"date-parts":[[2023,4,3]],"date-time":"2023-04-03T02:55:27Z","timestamp":1680490527000},"page":"251-271","source":"Crossref","is-referenced-by-count":1,"title":["A Herbrandised Interpretation of Semi-Intuitionistic Second-Order Arithmetic with Function Variables"],"prefix":"10.1142","author":[{"given":"J\u00f5ao","family":"Enes","sequence":"first","affiliation":[{"name":"Departamento de Matem\u00e1tica, Faculdade de Ci\u00eancias da Universidade de Lisboa, Campo Grande, Portugal"}]},{"given":"Fernando","family":"Ferreira","sequence":"additional","affiliation":[{"name":"Departamento de Matem\u00e1tica, Faculdade de Ci\u00eancias da Universidade de Lisboa, Campo Grande, Portugal"}]}],"member":"219","published-online":{"date-parts":[[2023,4,2]]},"container-title":["Mathematics for Computation (M4C)"],"original-title":[],"language":"en","deposited":{"date-parts":[[2023,4,3]],"date-time":"2023-04-03T02:55:55Z","timestamp":1680490555000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/10.1142\/9789811245220_0010"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,4]]},"ISBN":["9789811245213","9789811245220"],"references-count":0,"alternative-id":["10.1142\/9789811245220_0010","10.1142\/12500"],"URL":"https:\/\/doi.org\/10.1142\/9789811245220_0010","relation":{},"subject":[],"published":{"date-parts":[[2023,4]]}}}