%0 Conference Paper %1 conf/lpar/BlancoLM15 %A Blanco, Roberto %A Libal, Tomer %A Miller, Dale %B IWIL@LPAR %D 2015 %E Konev, Boris %E Schulz, Stephan %E Simon, Laurent %I EasyChair %K dblp %P 78-90 %T Defining the meaning of TPTP formatted proofs. %U http://dblp.uni-trier.de/db/conf/lpar/iwil2015.html#BlancoLM15 %V 40

@inproceedings{conf/lpar/BlancoLM15, added-at = {2021-08-15T00:00:00.000+0200}, author = {Blanco, Roberto and Libal, Tomer and Miller, Dale}, biburl = {https://www.bibsonomy.org/bibtex/2af994c03d8d7353e5a0a82187e07cfd3/dblp}, booktitle = {IWIL@LPAR}, crossref = {conf/lpar/2015iwil}, editor = {Konev, Boris and Schulz, Stephan and Simon, Laurent}, ee = {https://doi.org/10.29007/xtc2}, interhash = {9658ac8fc6b51d1603336b23ef908e16}, intrahash = {af994c03d8d7353e5a0a82187e07cfd3}, keywords = {dblp}, pages = {78-90}, publisher = {EasyChair}, series = {EPiC Series in Computing}, timestamp = {2024-06-03T07:16:33.000+0200}, title = {Defining the meaning of TPTP formatted proofs.}, url = {http://dblp.uni-trier.de/db/conf/lpar/iwil2015.html#BlancoLM15}, volume = 40, year = 2015 }