{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,6]],"date-time":"2022-04-06T00:20:14Z","timestamp":1649204414473},"reference-count":8,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2005,7,21]],"date-time":"2005-07-21T00:00:00Z","timestamp":1121904000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Acta Informatica"],"published-print":{"date-parts":[[2005,10]]},"DOI":"10.1007\/s00236-005-0171-5","type":"journal-article","created":{"date-parts":[[2005,7,27]],"date-time":"2005-07-27T11:36:50Z","timestamp":1122464210000},"page":"43-56","source":"Crossref","is-referenced-by-count":0,"title":["N-dimensional versus (N\u20131)-dimensional connectivity testing of first-order queries to semi-algebraic sets"],"prefix":"10.1007","volume":"42","author":[{"given":"Floris","family":"Geerts","sequence":"first","affiliation":[]},{"given":"Lieven","family":"Smits","sequence":"additional","affiliation":[]},{"given":"Jan Van Den","family":"Bussche","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,7,21]]},"reference":[{"key":"171_CR1","unstructured":"Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases. Addison-Wesley (1995)"},{"issue":"(1)","key":"171_CR2","doi-asserted-by":"crossref","first-page":"169","DOI":"10.1016\/S0022-0000(02)00034-X","volume":"66","author":"M. Benedikt","year":"2003","unstructured":"Benedikt, M., Grohe, M., Libkin, L., Segoufin, L.: Reachability and connectivity queries in constraint databases. Journal of Computer and System Sciences 66(1), 169\u2013206 (2003)","journal-title":"Journal of Computer and System Sciences"},{"key":"171_CR3","doi-asserted-by":"crossref","unstructured":"Bochnak, J., Coste, M., Roy, M.F.: Real Algebraic Geometry. Springer (1998)","DOI":"10.1007\/978-3-662-03718-8"},{"key":"171_CR4","unstructured":"Ebbinghaus, H.D., Flum, J.: Finite Model Theory, second edn. Springer (1999)"},{"issue":"(9)","key":"171_CR5","doi-asserted-by":"crossref","first-page":"621","DOI":"10.1007\/s00236-002-0088-1","volume":"33","author":"C. Giannella","year":"2002","unstructured":"Giannella, C., Van Gucht, D.V.: Adding a path connectedness operator to FO+poly (linear). Acta Informatica 33(9), 621\u2013648 (2002)","journal-title":"Acta Informatica"},{"key":"171_CR6","doi-asserted-by":"crossref","unstructured":"Immerman, N.: Descriptive Complexity. Springer (1999)","DOI":"10.1007\/978-1-4612-0539-5"},{"key":"171_CR7","doi-asserted-by":"crossref","unstructured":"Kuper, G., Paredaens, J., Libkin, L.: Constraint Databases. Springer (2000)","DOI":"10.1007\/978-3-662-04031-7"},{"key":"171_CR8","doi-asserted-by":"crossref","unstructured":"Van den Dries, L.: Tame Topology and O-minimal Structures. Cambridge University Press (1998)","DOI":"10.1017\/CBO9780511525919"}],"container-title":["Acta Informatica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00236-005-0171-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00236-005-0171-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00236-005-0171-5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,24]],"date-time":"2019-05-24T09:41:52Z","timestamp":1558690912000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00236-005-0171-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,7,21]]},"references-count":8,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2005,10]]}},"alternative-id":["171"],"URL":"https:\/\/doi.org\/10.1007\/s00236-005-0171-5","relation":{},"ISSN":["0001-5903","1432-0525"],"issn-type":[{"value":"0001-5903","type":"print"},{"value":"1432-0525","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005,7,21]]}}}