{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,30]],"date-time":"2022-03-30T02:42:23Z","timestamp":1648608143310},"reference-count":7,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[1987,8,1]],"date-time":"1987-08-01T00:00:00Z","timestamp":554774400000},"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":[[1987,8]]},"DOI":"10.1007\/bf00292109","type":"journal-article","created":{"date-parts":[[2004,10,5]],"date-time":"2004-10-05T16:13:40Z","timestamp":1096992820000},"page":"381-393","source":"Crossref","is-referenced-by-count":17,"title":["Partial-predicate logic in computer science"],"prefix":"10.1007","volume":"24","author":[{"given":"Albert","family":"Hoogewijs","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"CR1","doi-asserted-by":"crossref","first-page":"251","DOI":"10.1007\/BF00264250","volume":"21","author":"H. Barringer","year":"1984","unstructured":"Barringer, H., Cheng, J.H., Jones, C.B.: A logic Covering Undefinedness in Program Proofs. Acta Inf. 21:251?269 (1984)","journal-title":"Acta Inf."},{"key":"CR2","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-87132-0","volume-title":"Introduction to mathematical Logic","author":"H. Hermes","year":"1973","unstructured":"Hermes, H.: Introduction to mathematical Logic. Berlin Heidelberg New York: Springer 1973"},{"key":"CR3","unstructured":"Hoogewijs, A.: A Calculus of Partially Defined Predicates. Mathematical Scripts. Rijksuniversiteit Gent, 56p (1977)"},{"key":"CR4","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1002\/malq.19790251304","volume":"25","author":"A. Hoogewijs","year":"1979","unstructured":"Hoogewijs, A.: On a formalization of the non-definedness notion. Z. Math. Logic Grundlagen Math. 25:213?217 (1979)","journal-title":"Z. Math. Logic Grundlagen Math."},{"key":"CR5","doi-asserted-by":"crossref","first-page":"239","DOI":"10.1002\/malq.19830290410","volume":"29","author":"A. Hoogewijs","year":"1983","unstructured":"Hoogewijs, A.: A partial-predicate calculus in a two-valued logic. Z. Math. Logic Grundlagen Math. 29:239?249 (1983)","journal-title":"Z. Math. Logic Grundlagen Math."},{"key":"CR6","unstructured":"Koletsos, G.: Sequent Calculus and Partial Logic. M.Sc. Thesis, Manchester University 1976"},{"key":"CR7","volume-title":"Natural Deduction","author":"D. Prawitz","year":"1965","unstructured":"Prawitz, D.: Natural Deduction. Stockholm: Almgrist and Wiksell 1965"}],"container-title":["Acta Informatica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00292109.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00292109\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00292109","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,8]],"date-time":"2019-04-08T21:16:24Z","timestamp":1554758184000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00292109"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1987,8]]},"references-count":7,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1987,8]]}},"alternative-id":["BF00292109"],"URL":"https:\/\/doi.org\/10.1007\/bf00292109","relation":{},"ISSN":["0001-5903","1432-0525"],"issn-type":[{"value":"0001-5903","type":"print"},{"value":"1432-0525","type":"electronic"}],"subject":[],"published":{"date-parts":[[1987,8]]}}}