{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,9,2]],"date-time":"2023-09-02T09:15:36Z","timestamp":1693646136303},"reference-count":14,"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":7621,"URL":"http:\/\/onlinelibrary.wiley.com\/termsAndConditions#vor"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Mathematical Logic Qtrly"],"published-print":{"date-parts":[[1986,1]]},"DOI":"10.1002\/malq.19860322509","type":"journal-article","created":{"date-parts":[[2007,5,28]],"date-time":"2007-05-28T23:44:17Z","timestamp":1180395857000},"page":"439-444","source":"Crossref","is-referenced-by-count":0,"title":["Horn Sentences of Small Size in Identity Theory"],"prefix":"10.1002","volume":"32","author":[{"given":"G.","family":"Marongiu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S.","family":"Tulipani","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"311","published-online":{"date-parts":[[2006,11,13]]},"reference":[{"key":"e_1_2_1_2_2","doi-asserted-by":"publisher","DOI":"10.2307\/2963901"},{"key":"e_1_2_1_3_2","first-page":"264","article-title":"Equational spectra","volume":"30","author":"Bennett J. H.","year":"1965","journal-title":"J. Symb. Logic"},{"key":"e_1_2_1_4_2","doi-asserted-by":"publisher","DOI":"10.2307\/2274177"},{"key":"e_1_2_1_4_3","doi-asserted-by":"publisher","DOI":"10.2307\/2274329"},{"key":"e_1_2_1_5_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4613-8130-3"},{"key":"e_1_2_1_6_2","volume-title":"Model Theory","author":"Chang C. C.","year":"1973"},{"key":"e_1_2_1_7_2","doi-asserted-by":"publisher","DOI":"10.4064\/fm-49-2-129-141"},{"key":"e_1_2_1_8_2","first-page":"35","volume-title":"Sur quelques classifications des syst\u00e8mes de relations","author":"Fra\u00efss\u00e9 R.","year":"1954"},{"key":"e_1_2_1_9_2","doi-asserted-by":"publisher","DOI":"10.1007\/BF01118684"},{"key":"e_1_2_1_10_2","doi-asserted-by":"crossref","DOI":"10.1007\/978-0-387-77487-9","volume-title":"Universal Algebra","author":"Gr\u00e4tzer G.","year":"1979"},{"key":"e_1_2_1_11_2","doi-asserted-by":"publisher","DOI":"10.2307\/2271899"},{"key":"e_1_2_1_12_2","doi-asserted-by":"publisher","DOI":"10.1007\/BF01578706"},{"key":"e_1_2_1_13_2","article-title":"An algorithm to determine, for any prime p, a polynomial\u2010sized Horn sentence which expresses: the cardinality is not p","author":"Tulipani S.","journal-title":"J. Symb. Logic"},{"key":"e_1_2_1_14_2","unstructured":"Tulipani S. Horn sentences excluding a prime. In preparation."}],"container-title":["Mathematical Logic Quarterly"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles\/10.1002%2Fmalq.19860322509","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/pdf\/10.1002\/malq.19860322509","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,9,1]],"date-time":"2023-09-01T23:44:09Z","timestamp":1693611849000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/malq.19860322509"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1986,1]]},"references-count":14,"journal-issue":{"issue":"25-30","published-print":{"date-parts":[[1986,1]]}},"alternative-id":["10.1002\/malq.19860322509"],"URL":"https:\/\/doi.org\/10.1002\/malq.19860322509","archive":["Portico"],"relation":{},"ISSN":["0942-5616","1521-3870"],"issn-type":[{"value":"0942-5616","type":"print"},{"value":"1521-3870","type":"electronic"}],"subject":[],"published":{"date-parts":[[1986,1]]}}}