{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T16:35:18Z","timestamp":1725554118673},"publisher-location":"Berlin, Heidelberg","reference-count":7,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540343790"},{"type":"electronic","value":"9783540343806"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11758501_139","type":"book-chapter","created":{"date-parts":[[2006,5,9]],"date-time":"2006-05-09T16:38:01Z","timestamp":1147192681000},"page":"924-927","source":"Crossref","is-referenced-by-count":2,"title":["The Effect of the Theorem Prover in Cognitive Science"],"prefix":"10.1007","author":[{"given":"Tadashi","family":"Takahashi","sequence":"first","affiliation":[]},{"given":"Hidetsune","family":"Kobayashi","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"139_CR1","unstructured":"Ichikawa, S.: Psychology of Learning and Education. Iwanami Shoten\u00a091 (1995) (in Japanese)"},{"key":"139_CR2","unstructured":"Kobayashi, H., Suzuki, H., Ono, Y.: Formalization of Henzels Lemma. In: 18th International Conference, TPHOLs, Oxford, UK, Emerging Trends Proceedings Oxford Research Report (2005)"},{"key":"139_CR3","unstructured":"Kozuya, T. (ed.): Memory and Knowledge (Cognitive Psychology Lecture 2), vol.\u00a017. University of Tokyo Press (1978) (in Japanese)"},{"key":"139_CR4","doi-asserted-by":"crossref","unstructured":"Polson, P.G., Kieras, D.E.: A Quantitative Model of the Learning and Performance of Text Editing Knowledge. In: Proceedings of ACM CHI 1985 Conference on Human Factors in Computing Systems (1985)","DOI":"10.1145\/317456.317494"},{"key":"139_CR5","unstructured":"Polya, G.: How to solve it. Doubleday (1957)"},{"key":"139_CR6","unstructured":"Rasmussen, J.: Recognition engineering of interface, Keigakushuppan (1990) (in Japanese)"},{"key":"139_CR7","unstructured":"Tamura, H.: Human interface. Ohm-sha (1998) (in Japanese)"}],"container-title":["Lecture Notes in Computer Science","Computational Science \u2013 ICCS 2006"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11758501_139","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,13]],"date-time":"2019-03-13T23:34:52Z","timestamp":1552520092000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11758501_139"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540343790","9783540343806"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/11758501_139","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}