{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,25]],"date-time":"2025-04-25T05:29:35Z","timestamp":1745558975985},"publisher-location":"Stroudsburg, PA, USA","reference-count":0,"publisher":"Association for Computational Linguistics","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.18653\/v1\/d17-2020","type":"proceedings-article","created":{"date-parts":[[2018,1,18]],"date-time":"2018-01-18T11:53:56Z","timestamp":1516276436000},"page":"115-120","source":"Crossref","is-referenced-by-count":8,"title":["LangPro: Natural Language Theorem Prover"],"prefix":"10.18653","author":[{"given":"Lasha","family":"Abzianidze","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"1643","event":{"name":"Proceedings of the 2017 Conference on Empirical Methods in Natural\n          Language Processing: System Demonstrations","start":{"date-parts":[[2017,9]]},"location":"Copenhagen, Denmark","end":{"date-parts":[[2017,9]]}},"container-title":["Proceedings of the 2017 Conference on Empirical Methods in Natural\n          Language Processing: System Demonstrations"],"original-title":[],"deposited":{"date-parts":[[2018,1,18]],"date-time":"2018-01-18T11:54:01Z","timestamp":1516276441000},"score":1,"resource":{"primary":{"URL":"http:\/\/aclweb.org\/anthology\/D17-2020"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"references-count":0,"URL":"https:\/\/doi.org\/10.18653\/v1\/d17-2020","relation":{},"subject":[],"published":{"date-parts":[[2017]]}}}