A First Class Boolean Sort in First-Order Theorem Proving and TPTP

Evgenii Kotelnikov, Laura Kovács, Andrei Voronkov

Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review

Original language	English
Title of host publication	Intelligent Computer Mathematics - International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings
Pages	71-86
Number of pages	16
DOIs	https://doi.org/10.1007/978-3-319-20615-8_5
Publication status	Published - 2015

Access to Document

@inproceedings{782bd587a5bd4730babac4584c718181,

title = "A First Class Boolean Sort in First-Order Theorem Proving and TPTP",

author = "Evgenii Kotelnikov and Laura Kov{\'a}cs and Andrei Voronkov",

year = "2015",

doi = "10.1007/978-3-319-20615-8\_5",

language = "English",

pages = "71--86",

booktitle = "Intelligent Computer Mathematics - International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings",

}

TY - GEN

T1 - A First Class Boolean Sort in First-Order Theorem Proving and TPTP

AU - Kotelnikov, Evgenii

AU - Kovács, Laura

AU - Voronkov, Andrei

PY - 2015

Y1 - 2015

UR - https://www.scopus.com/pages/publications/84949961476

U2 - 10.1007/978-3-319-20615-8_5

DO - 10.1007/978-3-319-20615-8_5

M3 - Conference contribution

SP - 71

EP - 86

BT - Intelligent Computer Mathematics - International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings

ER -