{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,27]],"date-time":"2026-07-27T22:09:36Z","timestamp":1785190176821,"version":"3.55.0"},"reference-count":19,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"12","license":[{"start":{"date-parts":[[2022,12,1]],"date-time":"2022-12-01T00:00:00Z","timestamp":1669852800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2022,12,1]],"date-time":"2022-12-01T00:00:00Z","timestamp":1669852800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2022,12,1]],"date-time":"2022-12-01T00:00:00Z","timestamp":1669852800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"name":"Spanish Ministry of Science, Innovation, and Universities"},{"name":"State Agency of Research"},{"DOI":"10.13039\/501100011011","name":"Junta de Andalucía","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100011011","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100009473","name":"Universidad de Málaga","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100009473","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100008530","name":"European Regional Development Fund","doi-asserted-by":"publisher","award":["TIN2017-89023-P"],"award-info":[{"award-number":["TIN2017-89023-P"]}],"id":[{"id":"10.13039\/501100008530","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100008530","name":"European Regional Development Fund","doi-asserted-by":"publisher","award":["UMA2018-FEDERJA-001"],"award-info":[{"award-number":["UMA2018-FEDERJA-001"]}],"id":[{"id":"10.13039\/501100008530","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100008530","name":"European Regional Development Fund","doi-asserted-by":"publisher","award":["UMA18-FEDERJA-158"],"award-info":[{"award-number":["UMA18-FEDERJA-158"]}],"id":[{"id":"10.13039\/501100008530","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100008530","name":"European Regional Development Fund","doi-asserted-by":"publisher","award":["UMA-CEIATECH-24"],"award-info":[{"award-number":["UMA-CEIATECH-24"]}],"id":[{"id":"10.13039\/501100008530","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Fuzzy Syst."],"published-print":{"date-parts":[[2022,12]]},"DOI":"10.1109\/tfuzz.2022.3179847","type":"journal-article","created":{"date-parts":[[2022,6,3]],"date-time":"2022-06-03T19:46:18Z","timestamp":1654285578000},"page":"5534-5543","source":"Crossref","is-referenced-by-count":2,"title":["Parameterized Simplification Logic: Reasoning With Implications in an Automated Way"],"prefix":"10.1109","volume":"30","author":[{"given":"Pablo","family":"Cordero","sequence":"first","affiliation":[{"name":"University of Málaga, Andalucía Tech, Málaga, Spain"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Manuel","family":"Enciso","sequence":"additional","affiliation":[{"name":"University of Málaga, Andalucía Tech, Málaga, Spain"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4548-8030","authenticated-orcid":false,"given":"Angel","family":"Mora","sequence":"additional","affiliation":[{"name":"University of Málaga, Andalucía Tech, Málaga, Spain"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Vilem","family":"Vychodil","sequence":"additional","affiliation":[{"name":"Department of Computer Science, Palacky University, Olomouc, Czech Republic"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1093\/oso\/9780190200015.001.0001"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-51370-6"},{"key":"ref12","doi-asserted-by":"crossref","first-page":"88","DOI":"10.1016\/j.fss.2016.06.019","article-title":"Fuzzy functional dependencies: A comparative survey","volume":"317","author":"je\u017ekov\u00e1","year":"2017","journal-title":"Fuzzy Sets Syst"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/TFUZZ.2015.2470530"},{"key":"ref14","author":"birkhoff","year":"1940","journal-title":"Lattice Theory"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1016\/j.ijar.2017.08.013"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511809088"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1080\/00207160.2011.644275"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1016\/j.ijar.2015.12.007"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/s10472-016-9526-6"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/320064.320066"},{"key":"ref3","author":"maier","year":"1983","journal-title":"Theory of Relational Databases"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-11928-6_22"},{"key":"ref5","author":"ganter","year":"1997","journal-title":"Formal Concept Analysis Mathematical Foundations"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/170036.170072"},{"key":"ref7","first-page":"5","article-title":"Familles minimales d’implications informatives resultant d’un tableau de données binaires","volume":"95","author":"guigues","year":"1986","journal-title":"Math Sci Humaines"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/357980.358007"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1080\/03081079.2020.1831484"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1023\/B:DAMI.0000040429.96086.c7"}],"container-title":["IEEE Transactions on Fuzzy Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/91\/9967417\/09788064.pdf?arnumber=9788064","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,12,19]],"date-time":"2022-12-19T19:46:09Z","timestamp":1671479169000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9788064\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,12]]},"references-count":19,"journal-issue":{"issue":"12"},"URL":"https:\/\/doi.org\/10.1109\/tfuzz.2022.3179847","relation":{},"ISSN":["1063-6706","1941-0034"],"issn-type":[{"value":"1063-6706","type":"print"},{"value":"1941-0034","type":"electronic"}],"subject":[],"published":{"date-parts":[[2022,12]]}}}