{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,2,10]],"date-time":"2023-02-10T05:16:04Z","timestamp":1676006164290},"reference-count":14,"publisher":"Hindawi Limited","issue":"9","license":[{"start":{"date-parts":[[2015,9,1]],"date-time":"2015-09-01T00:00:00Z","timestamp":1441065600000},"content-version":"tdm","delay-in-days":7913,"URL":"http:\/\/doi.wiley.com\/10.1002\/tdm_license_1.1"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Intell. Syst."],"published-print":{"date-parts":[[1994]]},"DOI":"10.1002\/int.4550090902","type":"journal-article","created":{"date-parts":[[2007,7,8]],"date-time":"2007-07-08T21:36:08Z","timestamp":1183930568000},"page":"769-786","source":"Crossref","is-referenced-by-count":1,"title":["A formal model for knowledge-based systems verification"],"prefix":"10.1155","volume":"9","author":[{"given":"Luis M.","family":"Laita","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Julia","family":"Couto","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luis","family":"De Ledesma","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alejandro Fern\u00e1ndez","family":"Margarit","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"98","reference":[{"key":"10.1002\/int.4550090902-BIB1","volume-title":"On the Metamathematics of Algebra","author":"Robinson","year":"1951","unstructured":"On the Metamathematics of Algebra, North-Holland, Amsterdam, 1951."},{"key":"10.1002\/int.4550090902-BIB2","volume-title":"Th\u00e9orie Metamath\u00e9matique des Id\u00e9aux","author":"Robinson","year":"1955","unstructured":"Th\u00e9orie Metamath\u00e9matique des Id\u00e9aux. Gauthier-Villars, Paris, 1955."},{"key":"10.1002\/int.4550090902-BIB3","volume-title":"Introduction to Model Theory","author":"Robinson","year":"1963","unstructured":"Introduction to Model Theory, North-Holland, Amsterdam, 1963."},{"key":"10.1002\/int.4550090902-BIB4","doi-asserted-by":"crossref","first-page":"497","DOI":"10.1002\/malq.19870330604","volume":"33","author":"Fern\u00e1ndez Margarit","year":"1987","journal-title":"Zeitschr. f. math. Logik und Grundlagen d. Math."},{"key":"10.1002\/int.4550090902-BIB5","volume-title":"An Algebraic Approach to Non-Classical Logics","author":"Rasiowa","year":"1974","unstructured":"An Algebraic Approach to Non-Classical Logics, North-Holland, Amsterdam, 1974."},{"key":"10.1002\/int.4550090902-BIB6","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511812866","volume-title":"Philosophy of Logics","author":"Haak","year":"1978","unstructured":"Philosophy of Logics, Cambridge U. Press, Cambridge, 1978."},{"key":"10.1002\/int.4550090902-BIB7","volume-title":"Polish Logic","author":"McCall","year":"1967","unstructured":"Polish Logic, Oxford U. Press, Oxford, 1967."},{"key":"10.1002\/int.4550090902-BIB8","volume-title":"Berichte des German Chapter of the ACM 28, Expertensysteme '87 Konzepte und Werkzeuge","author":"Mellis","year":"1987","unstructured":"1987. \u201cSupporting knowledge representation by checking consistency,\u201d in Berichte des German Chapter of the ACM 28, Expertensysteme '87 Konzepte und Werkzeuge, , and , Eds., Teubner Verlag, Stuttgart, 1987."},{"key":"10.1002\/int.4550090902-BIB9","author":"Meseguer","year":"1989","unstructured":"\u201cDetecci\u00f3n de Inconsistencias en Bases de Reglas utilizando Redes de Petri,\u201d In Actas de la III Reuni\u00f3n T\u00e9cnica de la Asociaci\u00f3n Espa\u00f1ola de Inteligencia Artificial, Madrid, AEPIA-89, 1989, pp. 81\u201391."},{"key":"10.1002\/int.4550090902-BIB10","author":"Nguyen","year":"1985","unstructured":", , and , \u201cChecking an expert system knowledge base for consistency and completeness,\u201d In Proceedings IJCAI'85, 1985, pp. 374\u2013389."},{"key":"10.1002\/int.4550090902-BIB11","first-page":"59","volume":"3","author":"Plant","year":"1990","journal-title":"J. Know. Eng."},{"key":"10.1002\/int.4550090902-BIB12","volume-title":"The Mathematics of Metamathematics","author":"Rasiowa","year":"1963","unstructured":"and , The Mathematics of Metamathematics, Polska Akademia N., Warsaw, 1963."},{"key":"10.1002\/int.4550090902-BIB13","author":"Rousset","year":"1988","unstructured":"\u201cOn the consistency of knowledge bases: the covadis system,\u201d In Proc. of EAIC-88, 1988, pp. 79\u201384."},{"key":"10.1002\/int.4550090902-BIB14","volume-title":"Logics for Artificial Intelligence","author":"Turner","year":"1985","unstructured":"Logics for Artificial Intelligence, Ellis Horwood Ltd. West Sussex, 1985."}],"container-title":["International Journal of Intelligent Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles\/10.1002%2Fint.4550090902","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/full\/10.1002\/int.4550090902","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,9]],"date-time":"2023-02-09T15:34:26Z","timestamp":1675956866000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/int.4550090902"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"references-count":14,"journal-issue":{"issue":"9","published-print":{"date-parts":[[1994]]}},"URL":"https:\/\/doi.org\/10.1002\/int.4550090902","relation":{},"ISSN":["0884-8173","1098-111X"],"issn-type":[{"value":"0884-8173","type":"print"},{"value":"1098-111X","type":"electronic"}],"subject":[],"published":{"date-parts":[[1994]]}}}