%0 Journal Article %1 journals/jolli/StrannegardENR13 %A Strannegård, Claes %A Engström, Fredrik %A Nizamani, Abdul Rahim %A Rips, Lance J. %D 2013 %J J. Log. Lang. Inf. %K dblp %N 1 %P 115-137 %T Reasoning About Truth in First-Order Logic. %U http://dblp.uni-trier.de/db/journals/jolli/jolli22.html#StrannegardENR13 %V 22

@article{journals/jolli/StrannegardENR13, added-at = {2020-09-17T00:00:00.000+0200}, author = {Strannegård, Claes and Engström, Fredrik and Nizamani, Abdul Rahim and Rips, Lance J.}, biburl = {https://www.bibsonomy.org/bibtex/28108ce84d628f46ff3f864e6ed5308dc/dblp}, ee = {https://doi.org/10.1007/s10849-012-9168-y}, interhash = {f3ba0cbc9bc657e9c8eae5c91d85f325}, intrahash = {8108ce84d628f46ff3f864e6ed5308dc}, journal = {J. Log. Lang. Inf.}, keywords = {dblp}, number = 1, pages = {115-137}, timestamp = {2020-09-18T11:45:25.000+0200}, title = {Reasoning About Truth in First-Order Logic.}, url = {http://dblp.uni-trier.de/db/journals/jolli/jolli22.html#StrannegardENR13}, volume = 22, year = 2013 }