{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,9,1]],"date-time":"2023-09-01T10:40:20Z","timestamp":1693564820132},"reference-count":11,"publisher":"Wiley","issue":"25-30","license":[{"start":{"date-parts":[[2006,11,13]],"date-time":"2006-11-13T00:00:00Z","timestamp":1163376000000},"content-version":"vor","delay-in-days":10543,"URL":"http:\/\/onlinelibrary.wiley.com\/termsAndConditions#vor"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Mathematical Logic Qtrly"],"published-print":{"date-parts":[[1978,1]]},"DOI":"10.1002\/malq.19780242502","type":"journal-article","created":{"date-parts":[[2007,5,28]],"date-time":"2007-05-28T22:02:20Z","timestamp":1180389740000},"page":"385-397","source":"Crossref","is-referenced-by-count":1,"title":["A Language for Type\u2010Free Algebra"],"prefix":"10.1002","volume":"24","author":[{"given":"William S.","family":"Hatcher","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"311","published-online":{"date-parts":[[2006,11,13]]},"reference":[{"key":"e_1_2_1_2_2","volume-title":"Universal Algebra","author":"Gr\u00e4tzer G.","year":"1968"},{"key":"e_1_2_1_3_2","volume-title":"Foundations of Mathematics","author":"Hatcher W. S.","year":"1968"},{"key":"e_1_2_1_4_2","unstructured":"Hatcher W. S. andS.Whitney Absolute algebra. Manuscript1976."},{"key":"e_1_2_1_5_2","first-page":"31","article-title":"Categorical languages for algebraic structures","volume":"21","author":"Hatcher W. S.","year":"1975","journal-title":"This Zeitschr."},{"key":"e_1_2_1_6_2","doi-asserted-by":"publisher","DOI":"10.1073\/pnas.50.5.869"},{"key":"e_1_2_1_7_2","first-page":"413","volume-title":"Algebraic theories, algebraic categories, and algebraic functors","author":"Lawvere F. W.","year":"1965"},{"key":"e_1_2_1_8_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-9860-1"},{"key":"e_1_2_1_9_2","unstructured":"Mexdelson E. Introduction to Logic. Van Nostrand Princeton N.J.1964."},{"key":"e_1_2_1_10_2","volume-title":"Categories and Functors","author":"Pareigis B.","year":"1970"},{"key":"e_1_2_1_11_2","unstructured":"Presburger M. \u00dcber die Vollst\u00e4ndigkeit eines gewissen Systems der Arithmetik ganzer Zahlen in welchem die Addition als einzige Operation hervortritt. Comptes rendus I. Congr\u00e8s des Math. des Pays Slaves Warsaw1929 192\u2013201 395."},{"key":"e_1_2_1_12_2","volume-title":"Nonstandard Analysis","author":"Robibson A.","year":"1999"}],"container-title":["Mathematical Logic Quarterly"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles\/10.1002%2Fmalq.19780242502","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/pdf\/10.1002\/malq.19780242502","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,8,31]],"date-time":"2023-08-31T17:32:24Z","timestamp":1693503144000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/malq.19780242502"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1978,1]]},"references-count":11,"journal-issue":{"issue":"25-30","published-print":{"date-parts":[[1978,1]]}},"alternative-id":["10.1002\/malq.19780242502"],"URL":"https:\/\/doi.org\/10.1002\/malq.19780242502","archive":["Portico"],"relation":{},"ISSN":["0942-5616","1521-3870"],"issn-type":[{"value":"0942-5616","type":"print"},{"value":"1521-3870","type":"electronic"}],"subject":[],"published":{"date-parts":[[1978,1]]}}}