%0 Journal Article %1 journals/jar/MintsT91 %A Mints, Grigori %A Tammet, Tanel %D 1991 %J J. Autom. Reason. %K dblp %N 4 %P 587-596 %T Condensed Detachment is Complete for Relevance Logic: A Computer-Aided Proof. %U http://dblp.uni-trier.de/db/journals/jar/jar7.html#MintsT91 %V 7

@article{journals/jar/MintsT91, added-at = {2020-09-02T00:00:00.000+0200}, author = {Mints, Grigori and Tammet, Tanel}, biburl = {https://www.bibsonomy.org/bibtex/23b7e6120f857a9463e7c2045efdcc733/dblp}, ee = {https://doi.org/10.1007/BF01880330}, interhash = {f711d5ce453307ccf028826a6ac81b11}, intrahash = {3b7e6120f857a9463e7c2045efdcc733}, journal = {J. Autom. Reason.}, keywords = {dblp}, number = 4, pages = {587-596}, timestamp = {2020-09-09T13:35:37.000+0200}, title = {Condensed Detachment is Complete for Relevance Logic: A Computer-Aided Proof.}, url = {http://dblp.uni-trier.de/db/journals/jar/jar7.html#MintsT91}, volume = 7, year = 1991 }