Lemmatization for Stronger Reasoning in Large Theories

From MaRDI portal
Publication:2964472

DOI10.1007/978-3-319-24246-0_21zbMath1471.68313OpenAlexW2295529234WikidataQ108482155 ScholiaQ108482155MaRDI QIDQ2964472

Josef Urban, Cezary Kaliszyk, Jiří Vyskočil

Publication date: 27 February 2017

Published in: Frontiers of Combining Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-24246-0_21




Related Items (4)


Uses Software


Cites Work


This page was built for publication: Lemmatization for Stronger Reasoning in Large Theories