{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,8]],"date-time":"2025-10-08T14:59:07Z","timestamp":1759935547290},"reference-count":3,"publisher":"Informa UK Limited","issue":"3","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Experimental &amp; Theoretical Artificial Intelligence"],"published-print":{"date-parts":[[1989,7]]},"DOI":"10.1080\/09528138908953703","type":"journal-article","created":{"date-parts":[[2007,7,7]],"date-time":"2007-07-07T13:48:37Z","timestamp":1183816117000},"page":"227-230","source":"Crossref","is-referenced-by-count":3,"title":["The<i>a priori<\/i>meaningfulness measure and resolution theorem proving"],"prefix":"10.1080","volume":"1","author":[{"given":"JOSEPH S.","family":"FULDA","sequence":"first","affiliation":[]},{"given":"KEVIN DE","family":"FONTES","sequence":"additional","affiliation":[]}],"member":"301","reference":[{"key":"CIT0001","first-page":"482","volume":"61","author":"Fulda J. S.","year":"1986","journal-title":"Meaningfulness from logical form. Thought."},{"key":"CIT0002","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1002\/int.4550030104","volume":"3","author":"Fulda J. S.","year":"1988","journal-title":"The lnterruuionol Journal of Intelligent Systems."},{"key":"CIT0003","volume-title":"Symbolic Logic. 5th edn","author":"Copi I.","year":"1979"}],"container-title":["Journal of Experimental &amp; Theoretical Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.tandfonline.com\/doi\/pdf\/10.1080\/09528138908953703","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,30]],"date-time":"2019-04-30T11:05:20Z","timestamp":1556622320000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.tandfonline.com\/doi\/abs\/10.1080\/09528138908953703"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1989,7]]},"references-count":3,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1989,7]]}},"alternative-id":["10.1080\/09528138908953703"],"URL":"https:\/\/doi.org\/10.1080\/09528138908953703","relation":{},"ISSN":["0952-813X","1362-3079"],"issn-type":[{"value":"0952-813X","type":"print"},{"value":"1362-3079","type":"electronic"}],"subject":[],"published":{"date-parts":[[1989,7]]}}}