{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,31]],"date-time":"2026-07-31T20:34:33Z","timestamp":1785530073944,"version":"3.56.0"},"publisher-location":"Berlin, Heidelberg","reference-count":6,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540159841","type":"print"},{"value":"9783540396857","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1985]]},"DOI":"10.1007\/3-540-15984-3_309","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T13:30:52Z","timestamp":1330176652000},"page":"448-459","source":"Crossref","is-referenced-by-count":8,"title":["Using prolog for constructing geometric objects defined by constraints"],"prefix":"10.1007","author":[{"given":"Beat","family":"Br\u00fcderlin","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2005,6,8]]},"reference":[{"key":"81_CR1","volume-title":"Programming in Prolog","author":"W.F. Clocksin","year":"1981","unstructured":"W.F. Clocksin, C.S. Mellish, Programming in Prolog. Springer-Verlag Berlin, Heidelberg, NewYork, 1981."},{"key":"81_CR2","unstructured":"IF\/Prolog User's C-interface Manual Version 1.0 edited by Preben Folkjaer, Ute Leibrandt, Lawrence Bernhard, InterFace Computer GmbH M\u00fcnchen."},{"key":"81_CR3","unstructured":"Peter Schorn, Thomas Schulz Manual for \u2018Lilith-Prolog\u2019 and \u2018Logula\u2019 Semesterarbeit, Institut f\u00fcr Informatik ETH Z\u00fcrich, 1984"},{"key":"81_CR4","unstructured":"Tadeusz Szuba, PC-PROLOG for process control applications. Angewandte Informatik 4\/84."},{"key":"81_CR5","unstructured":"N. Wirth, The Personal Computer Lilith. ETH Report No., 40 Eidgen\u00f6ssische Technische Hochschule, Institut f\u00fcr Informatik, ETH Z\u00fcrich, 1981"},{"key":"81_CR6","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-96757-3","volume-title":"Programming in Modula-2","author":"N. Wirth","year":"1983","unstructured":"Niklaus Wirth Programming in Modula-2 Springer-Verlag Berlin, Heidelberg, NewYork, 1983."}],"container-title":["Lecture Notes in Computer Science","EUROCAL '85"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-15984-3_309.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T17:00:56Z","timestamp":1619542856000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-15984-3_309"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1985]]},"ISBN":["9783540159841","9783540396857"],"references-count":6,"URL":"https:\/\/doi.org\/10.1007\/3-540-15984-3_309","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1985]]}}}