{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,4,22]],"date-time":"2024-04-22T17:55:33Z","timestamp":1713808533079},"reference-count":7,"publisher":"Elsevier BV","issue":"1","license":[{"start":{"date-parts":[[1980,1,1]],"date-time":"1980-01-01T00:00:00Z","timestamp":315532800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,18]],"date-time":"2013-07-18T00:00:00Z","timestamp":1374105600000},"content-version":"vor","delay-in-days":12252,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Information and Control"],"published-print":{"date-parts":[[1980,1]]},"DOI":"10.1016\/s0019-9958(80)90123-0","type":"journal-article","created":{"date-parts":[[2004,12,15]],"date-time":"2004-12-15T09:12:12Z","timestamp":1103101932000},"page":"36-46","source":"Crossref","is-referenced-by-count":5,"title":["Congruences defined by languages and filters"],"prefix":"10.1016","volume":"44","author":[{"given":"Helmut","family":"Prodinger","sequence":"first","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/S0019-9958(80)90123-0_bib1","series-title":"A Course in Mathematical Logic","author":"Bell","year":"1977"},{"issue":"No. 2","key":"10.1016\/S0019-9958(80)90123-0_bib2","first-page":"251","article-title":"Recognizable filters and ideals","volume":"17","author":"Benda","year":"1976","journal-title":"Comment. Math Univ. Carolinae"},{"key":"10.1016\/S0019-9958(80)90123-0_bib3","volume":"Vol. A","author":"Eilenberg","year":"1974"},{"key":"10.1016\/S0019-9958(80)90123-0_bib4","volume":"Vol. B","author":"Eilenberg","year":"1976"},{"key":"10.1016\/S0019-9958(80)90123-0_bib5","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1016\/0304-3975(79)90042-2","article-title":"Language operators related to Init","volume":"8","author":"Prodinger","year":"1979","journal-title":"Theoret. Comput. Sci."},{"key":"10.1016\/S0019-9958(80)90123-0_bib6","series-title":"Topologies on free monoids induced by closure operators of a special type","author":"Prodinger","year":"1979"},{"key":"10.1016\/S0019-9958(80)90123-0_bib7","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1016\/S0019-9958(77)80008-9","article-title":"Disjunctive languages on a free monoid","volume":"34","author":"Shyr","year":"1977","journal-title":"Inform. Contr."}],"container-title":["Information and Control"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0019995880901230?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0019995880901230?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,1,31]],"date-time":"2019-01-31T13:54:31Z","timestamp":1548942871000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0019995880901230"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1980,1]]},"references-count":7,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1980,1]]}},"alternative-id":["S0019995880901230"],"URL":"https:\/\/doi.org\/10.1016\/s0019-9958(80)90123-0","relation":{},"ISSN":["0019-9958"],"issn-type":[{"value":"0019-9958","type":"print"}],"subject":[],"published":{"date-parts":[[1980,1]]}}}