{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,9,13]],"date-time":"2023-09-13T16:23:36Z","timestamp":1694622216848},"reference-count":4,"publisher":"Association for Computing Machinery (ACM)","issue":"3-5","license":[{"start":{"date-parts":[[2002,7,1]],"date-time":"2002-07-01T00:00:00Z","timestamp":1025481600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Form. Asp. Comput."],"published-print":{"date-parts":[[2002,7]]},"abstract":"<jats:title>Abstract.<\/jats:title>\n          <jats:p>Happiness and suffering are both the result of two factors combined: the situation in which one is placed and our consciousness of it. Happiness is not only of personal importance, it is also a necessary factor for ensuring peace in society. Therefore it is important to know the two possible ways for the pursuit of happiness: applied science, which focuses on how situations can be controlled, and spirituality, which focuses on developing the various types of consciousness one can have. The notion of purified consciousness is formulated in terms of psychology, neurophysiology, logic and meditative practice.<\/jats:p>","DOI":"10.1007\/s001650200020","type":"journal-article","created":{"date-parts":[[2003,12,10]],"date-time":"2003-12-10T21:38:13Z","timestamp":1071092293000},"page":"422-429","source":"Crossref","is-referenced-by-count":0,"title":["The Ancient Theory of Mind"],"prefix":"10.1145","volume":"13","author":[{"given":"Henk","family":"Barendregt","sequence":"first","affiliation":[{"name":"Foundations of Mathematics and Computer Science, Nijmegen University, Nijmegen, The Netherlands, NL"}]}],"member":"320","reference":[{"key":"p_1","volume-title":"(editors","author":"Agnati L. F.","year":"2000"},{"key":"p_2","first-page":"262","volume":"29","author":"Bar","year":"1996","journal-title":"New Series"},{"key":"p_3","volume-title":"Shambala Classics","author":"Go","year":"2001"},{"key":"p_4","volume-title":"Delta","author":"Kab","year":"1990"}],"container-title":["Formal Aspects of Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s001650200020.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s001650200020\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1007\/s001650200020","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,6]],"date-time":"2022-01-06T15:43:11Z","timestamp":1641483791000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1007\/s001650200020"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,7]]},"references-count":4,"journal-issue":{"issue":"3-5","published-print":{"date-parts":[[2002,7]]}},"alternative-id":["10.1007\/s001650200020"],"URL":"https:\/\/doi.org\/10.1007\/s001650200020","relation":{},"ISSN":["0934-5043","1433-299X"],"issn-type":[{"value":"0934-5043","type":"print"},{"value":"1433-299X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2002,7]]}}}