{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,8]],"date-time":"2025-07-08T13:47:09Z","timestamp":1751982429555},"reference-count":8,"publisher":"Informa UK Limited","issue":"1-2","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Applied Non-Classical Logics"],"published-print":{"date-parts":[[1998,1]]},"DOI":"10.1080\/11663081.1998.10510936","type":"journal-article","created":{"date-parts":[[2012,5,30]],"date-time":"2012-05-30T08:12:32Z","timestamp":1338365552000},"page":"141-169","source":"Crossref","is-referenced-by-count":6,"title":["Replacement of Induction by Similarity Saturation in a First Order Linear Temporal Logic"],"prefix":"10.1080","volume":"8","author":[{"given":"Regimantas","family":"Pliuskevicius","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"301","reference":[{"key":"CIT0001","doi-asserted-by":"crossref","unstructured":"Andreka, H., Nemeti, J. and Sain, J. 1989.On the strength of temporal proofVol. 379, 135\u2013144. Lecture Notes in Computer Science","DOI":"10.1007\/3-540-51486-4_61"},{"key":"CIT0002","doi-asserted-by":"crossref","unstructured":"Fisher, M. 1992.A normal form for first order temporal formulae.Vol. 607, 370\u2013384. Lecture Notes in Computer Science","DOI":"10.1007\/3-540-55602-8_178"},{"key":"CIT0003","doi-asserted-by":"crossref","unstructured":"Kawai, H. 1987.Sequential calculus for a first order infinitary temporal logicVol. 33, 423\u2013452. Zeitechr. fur Math. Logic und Grundlagen der Math.","DOI":"10.1002\/malq.19870330506"},{"key":"CIT0004","doi-asserted-by":"crossref","unstructured":"Pliu\u0161kevi\u010dius, R. 1993.On saturated calculi for a linear temporal logicVol. 711, 640\u2013649. Lecture Notes in Computer Science","DOI":"10.1007\/3-540-57182-5_55"},{"key":"CIT0005","doi-asserted-by":"crossref","unstructured":"Pliu\u0161kevi\u010dius, R. 1994.The saturated tableaux for a linear miniscoped Horn-like temporal logicVol. 13, 393\u2013407. Journal of Automated Reasoning","DOI":"10.1007\/BF00881951"},{"key":"CIT0006","unstructured":"Pliu\u0161kevi\u010dius, R. 1995.On the replacement of induction for a first order linear temporal logic, Proceedings of Second World Conf. on the Found, of Artif. Intell.331\u2013342."},{"key":"CIT0007","doi-asserted-by":"crossref","unstructured":"Szalas, A. 1986.Concerning the semantic consequence relation in firstorder temporal logicVol. 47, 329\u2013334. Theoret. Comput. Sci.","DOI":"10.1016\/0304-3975(86)90157-X"},{"key":"CIT0008","doi-asserted-by":"crossref","unstructured":"Szalas, A. 1987.A complete axiomatic characterization of the first order temporal logic of linear timeVol. 54, 199\u2013214. Theoret. Comput. Sci.","DOI":"10.1016\/0304-3975(87)90129-0"}],"container-title":["Journal of Applied Non-Classical Logics"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.tandfonline.com\/doi\/pdf\/10.1080\/10256018808623883","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,29]],"date-time":"2019-06-29T07:08:09Z","timestamp":1561792089000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.tandfonline.com\/doi\/abs\/10.1080\/11663081.1998.10510936"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998,1]]},"references-count":8,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[1998,1]]}},"alternative-id":["10.1080\/11663081.1998.10510936"],"URL":"https:\/\/doi.org\/10.1080\/11663081.1998.10510936","relation":{},"ISSN":["1166-3081","1958-5780"],"issn-type":[{"value":"1166-3081","type":"print"},{"value":"1958-5780","type":"electronic"}],"subject":[],"published":{"date-parts":[[1998,1]]}}}