{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:23:31Z","timestamp":1725456211814},"publisher-location":"Berlin\/Heidelberg","reference-count":8,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"354019343X"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0012883","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T06:12:39Z","timestamp":1132726359000},"page":"756-757","source":"Crossref","is-referenced-by-count":0,"title":["SYMEVAL: A theorem prover based on the experimental logic"],"prefix":"10.1007","author":[{"given":"Frank M.","family":"Brown","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Seung S.","family":"Park","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"64_CR1","doi-asserted-by":"crossref","unstructured":"Brown1,F.M. \"An Experimental Logic Based on the Fundamental Deduction Principle\" Artificial Intelligence Vol.30, 1986","DOI":"10.1016\/0004-3702(86)90011-1"},{"key":"64_CR2","unstructured":"Brown2,F.M. \"Automatic Deduction in Set Theory\" Department of Computer Science TR-86-6, University of Kansas"},{"key":"64_CR3","unstructured":"Brown,F.M. and Liu,P. \"A Logic Programming and Verification System for Recursive Quantificational Logic\" Proceedings IJCAI-85, 1985"},{"key":"64_CR4","unstructured":"Liu,P. A Logic-based Programming System, Ph.D Thesis. Department of Computer Science, The University of Texas at Austin 1986"},{"key":"64_CR5","unstructured":"Liu,P. and Chang,R. \"A New Structural Induction Scheme for Proving Properties of Mutually Recursive Concepts\" Proceedings of AAAI-87 1987"},{"key":"64_CR6","unstructured":"Luschei,E.C. The logical systems of Lesniewski, 1962"},{"key":"64_CR7","unstructured":"Schwind,C.B. Ein Formalismus zur Beschreibung der Syntax und Bedeutung von Frage-Antwort-Systemen, Ph.D. Thesis, Technische Universitat, 1977"},{"key":"64_CR8","unstructured":"Quine,W.V.O. SET THEORY AND ITS LOGIC, Harvard University Press, 1969"}],"container-title":["Lecture Notes in Computer Science","9th International Conference on Automated Deduction"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.springerlink.com\/index\/pdf\/10.1007\/BFb0012883","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T04:24:07Z","timestamp":1586579047000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0012883"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["354019343X"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/bfb0012883","relation":{},"subject":[]}}