Пожалуйста, войдите в систему, чтобы принять участие в дискуссии (добавить собственные рецензию, или комментарий)
Цитировать эту публикацию
%0 Journal Article
%1 journals/corr/abs-2306-02521
%A Lyon, Tim S.
%A Ostropolski-Nalewaja, Piotr
%D 2023
%J CoRR
%K dblp
%T Connecting Proof Theory and Knowledge Representation: Sequent Calculi and the Chase with Existential Rules.
%U http://dblp.uni-trier.de/db/journals/corr/corr2306.html#abs-2306-02521
%V abs/2306.02521
@article{journals/corr/abs-2306-02521,
added-at = {2023-09-30T00:00:00.000+0200},
author = {Lyon, Tim S. and Ostropolski-Nalewaja, Piotr},
biburl = {https://www.bibsonomy.org/bibtex/2b5852a3e41dbb534317c700023f15a99/dblp},
ee = {https://doi.org/10.48550/arXiv.2306.02521},
interhash = {0f20f4680e2b68895a7736820500aa31},
intrahash = {b5852a3e41dbb534317c700023f15a99},
journal = {CoRR},
keywords = {dblp},
timestamp = {2024-04-09T00:04:21.000+0200},
title = {Connecting Proof Theory and Knowledge Representation: Sequent Calculi and the Chase with Existential Rules.},
url = {http://dblp.uni-trier.de/db/journals/corr/corr2306.html#abs-2306-02521},
volume = {abs/2306.02521},
year = 2023
}