{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T15:10:55Z","timestamp":1743088255695,"version":"3.40.3"},"publisher-location":"Cham","reference-count":8,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319074818"},{"type":"electronic","value":"9783319074825"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-07482-5_42","type":"book-chapter","created":{"date-parts":[[2014,6,6]],"date-time":"2014-06-06T07:05:23Z","timestamp":1402038323000},"page":"441-451","source":"Crossref","is-referenced-by-count":0,"title":["Novel Didactic Proof Assistant for First-Order Logic Natural Deduction"],"prefix":"10.1007","author":[{"given":"Jorge","family":"Pais","sequence":"first","affiliation":[]},{"given":"\u00c1lvaro","family":"Tasistro","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"11","key":"42_CR1","first-page":"1570","volume":"19","author":"J. Pais","year":"2013","unstructured":"Pais, J., Tasistro, \u00c1.: Proof Assistant Based on Didactic Considerations. Journal of Universal Computer Science\u00a019(11), 1570\u20131596 (2013)","journal-title":"Journal of Universal Computer Science"},{"key":"42_CR2","doi-asserted-by":"publisher","first-page":"521","DOI":"10.1093\/logcom\/exm064","volume":"18","author":"M.J. Gabbay","year":"2008","unstructured":"Gabbay, M.J., Mathijssen, A.: One-and-a-Halfth-Order Logic. Journal of Logic and Computation\u00a018, 521\u2013562 (2008)","journal-title":"Journal of Logic and Computation"},{"key":"#cr-split#-42_CR3.1","unstructured":"Frege, G.: Beggriffsschrift, eine der aritmetischen nachgebildete Formelsprache des reinen Denkens. Louis Nebert, Halle A.S. (1879)"},{"key":"#cr-split#-42_CR3.2","unstructured":"Translated as Bauer-Mengelberg S.: Concept Script: A formal language of pure thought modeled upon that of Arithmetic. In: van Heijenoort, J. (eds.) From Frege to G\u00f6del: A Source Book in Mathematical Logic (1879-1931). Harvard University Press, Cambridge (1967)"},{"key":"#cr-split#-42_CR4.1","doi-asserted-by":"crossref","unstructured":"Gentzen, G.: Untersuchungen \u00fcber das logische Schliessen. Matematische Zeitsschrift 39 (1935)","DOI":"10.1007\/BF01201363"},{"key":"#cr-split#-42_CR4.2","unstructured":"Translated as Investigations into logical deduction. In: Szabo, M. (ed.) Collected Papers of Gerhard Gentzen. North Holland (1969)"},{"key":"42_CR5","unstructured":"van Dalen, D.: Logic and Structure. Springer (2008)"},{"key":"42_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"513","DOI":"10.1007\/978-3-540-45220-1_41","volume-title":"Computer Science Logic","author":"C. Urban","year":"2003","unstructured":"Urban, C., Pitts, A.M., Gabbay, M.J.: Nominal Unification. In: Baaz, M., Makowsky, J.A. (eds.) CSL 2003. LNCS, vol.\u00a02803, pp. 513\u2013527. Springer, Heidelberg (2003)"}],"container-title":["Lecture Notes in Computer Science","Learning and Collaboration Technologies. Designing and Developing Novel Learning Experiences"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-07482-5_42","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,2,22]],"date-time":"2020-02-22T22:47:37Z","timestamp":1582411657000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-07482-5_42"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319074818","9783319074825"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-07482-5_42","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}