%0 Conference Paper %1 conf/mkm/KotelnikovKV15 %A Kotelnikov, Evgenii %A Kovács, Laura %A Voronkov, Andrei %B CICM %D 2015 %E Kerber, Manfred %E Carette, Jacques %E Kaliszyk, Cezary %E Rabe, Florian %E Sorge, Volker %I Springer %K dblp %P 71-86 %T A First Class Boolean Sort in First-Order Theorem Proving and TPTP. %U http://dblp.uni-trier.de/db/conf/mkm/cicm2015.html#KotelnikovKV15 %V 9150 %@ 978-3-319-20614-1

@inproceedings{conf/mkm/KotelnikovKV15, added-at = {2022-10-02T00:00:00.000+0200}, author = {Kotelnikov, Evgenii and Kovács, Laura and Voronkov, Andrei}, biburl = {https://www.bibsonomy.org/bibtex/2bf92910681eefba3b2c837b3aefd8373/dblp}, booktitle = {CICM}, crossref = {conf/mkm/2015}, editor = {Kerber, Manfred and Carette, Jacques and Kaliszyk, Cezary and Rabe, Florian and Sorge, Volker}, ee = {https://doi.org/10.1007/978-3-319-20615-8_5}, interhash = {0ec71627f25716f1b37cbc1b7b3c8856}, intrahash = {bf92910681eefba3b2c837b3aefd8373}, isbn = {978-3-319-20614-1}, keywords = {dblp}, pages = {71-86}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T17:43:58.000+0200}, title = {A First Class Boolean Sort in First-Order Theorem Proving and TPTP.}, url = {http://dblp.uni-trier.de/db/conf/mkm/cicm2015.html#KotelnikovKV15}, volume = 9150, year = 2015 }