{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,31]],"date-time":"2022-03-31T21:32:45Z","timestamp":1648762365402},"reference-count":12,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1972,3,1]],"date-time":"1972-03-01T00:00:00Z","timestamp":68256000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["International Journal of Computer and Information Sciences"],"published-print":{"date-parts":[[1972,3]]},"DOI":"10.1007\/bf01108516","type":"journal-article","created":{"date-parts":[[2005,2,5]],"date-time":"2005-02-05T07:54:17Z","timestamp":1107590057000},"page":"17-27","source":"Crossref","is-referenced-by-count":1,"title":["A data structure for cognitive information retrieval"],"prefix":"10.1007","volume":"1","author":[{"given":"K. O.","family":"Biss","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"R. T.","family":"Chien","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"F. A.","family":"Stahl","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"CR1","first-page":"354","volume-title":"Semantic Information Processing","author":"F. S. Black","year":"1968","unstructured":"F. S. Black, ?A deductive question-answering system,? in M. Minsky, ed.,Semantic Information Processing (MIT Press, Cambridge, Mass., 1968), pp. 354?402."},{"key":"CR2","volume-title":"Translating ordinary language into symbolic logic","author":"J. L. Darlington","year":"1964","unstructured":"J. L. Darlington, ?Translating ordinary language into symbolic logic,? MAC M-149, Project MAC Memo, Massachusetts Institute of Technology, Cambridge, Mass. (March 1964)."},{"key":"CR3","doi-asserted-by":"crossref","unstructured":"C. C. Green and B. Raphael, ?The use of theorem proving techniques in question answering systems,?Proc. ACM Natl. Conf. 1968, pp. 169?181.","DOI":"10.1145\/800186.810578"},{"key":"CR4","first-page":"33","volume-title":"Semantic Information Processing","author":"B. Raphael","year":"1968","unstructured":"B. Raphael, ?A computer program for semantic information retrieval,? in M. Minsky, ed.,Semantic Information Processing (MIT Press, Cambridge, Mass., 1968), pp. 33?145."},{"issue":"1","key":"CR5","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1145\/321250.321253","volume":"12","author":"J. A. Robinson","year":"1965","unstructured":"J. A. Robinson, ?A machine-oriented logic based on the resolution principle,?J. ACM 12(1):23?41 (1965).","journal-title":"J. ACM"},{"key":"CR6","first-page":"151","volume-title":"Machine Intelligence 4","author":"J. A. Robinson","year":"1969","unstructured":"J. A. Robinson, ?Mechanizing higher-order logic,? in B. Meltzer and D. Michie, eds.,Machine Intelligence 4 (American Elsevier, New York, 1969), pp. 151?170."},{"issue":"1","key":"CR7","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1145\/362052.362058","volume":"13","author":"R. M. Schwarcz","year":"1970","unstructured":"R. M. Schwarcz, J. F. Burger, and R. F. Simmons, ?A deductive question-answerer for natural language inference,?Commun. ACM 13(1):167?183 (1970).","journal-title":"Commun. ACM"},{"issue":"1","key":"CR8","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1145\/363707.363732","volume":"8","author":"R. F. Simmons","year":"1965","unstructured":"R. F. Simmons, ?Answering English questions by computer: A survey,?Commun. ACM 8(1): 53?69 (1965).","journal-title":"Commun. ACM"},{"issue":"1","key":"CR9","doi-asserted-by":"crossref","first-page":"15","DOI":"10.1145\/361953.361963","volume":"13","author":"R. F. Simmons","year":"1970","unstructured":"R. F. Simmons, ?Natural language question-answering systems: 1969,?Commun. ACM 13(1): 15?36 (1970).","journal-title":"Commun. ACM"},{"key":"CR10","doi-asserted-by":"crossref","first-page":"441","DOI":"10.21236\/AD0672782","volume-title":"A Computational Model of Verbal Understanding","author":"R. F. Simmons","year":"1968","unstructured":"R. F. Simmons, J. F. Burger, and R. M. Schwarcz,A Computational Model of Verbal Understanding, AFIPS, FJCC (Spartan Books, New York, 1968), pp. 441?456."},{"issue":"3","key":"CR11","doi-asserted-by":"crossref","first-page":"196","DOI":"10.1002\/asi.5090150306","volume":"15","author":"R. F. Simmons","year":"1964","unstructured":"R. F. Simmons, S. Klein, and K. L. McConogue, ?Indexing and dependency logic for answering English questions,?Am. Documentation 15(3): 196?204 (1964).","journal-title":"Am. Documentation"},{"key":"CR12","doi-asserted-by":"crossref","DOI":"10.21236\/AD0612167","volume-title":"Deacon breadboard summary","author":"F. B. Thompson","year":"1964","unstructured":"F. B. Thompsonet al., ?Deacon breadboard summary,? RM 64TMP-9, TEMPO General Electric Company, Santa Barbara, Calif. (1964)."}],"container-title":["International Journal of Computer & Information Sciences"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01108516.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01108516\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01108516","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T09:24:11Z","timestamp":1556702651000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01108516"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1972,3]]},"references-count":12,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1972,3]]}},"alternative-id":["BF01108516"],"URL":"https:\/\/doi.org\/10.1007\/bf01108516","relation":{},"ISSN":["0091-7036","1573-7640"],"issn-type":[{"value":"0091-7036","type":"print"},{"value":"1573-7640","type":"electronic"}],"subject":[],"published":{"date-parts":[[1972,3]]}}}