%0 Journal Article %1 journals/mlq/Pratt-Hartmann15 %A Pratt-Hartmann, Ian %D 2015 %J Math. Log. Q. %K dblp %N 6 %P 474-515 %T The two-variable fragment with counting and equivalence. %U http://dblp.uni-trier.de/db/journals/mlq/mlq61.html#Pratt-Hartmann15 %V 61

@article{journals/mlq/Pratt-Hartmann15, added-at = {2022-01-03T00:00:00.000+0100}, author = {Pratt-Hartmann, Ian}, biburl = {https://www.bibsonomy.org/bibtex/2e300864352d1f3dcfc1c42b66e2e2020/dblp}, ee = {https://doi.org/10.1002/malq.201400102}, interhash = {28540810573a53f0f824409f306187aa}, intrahash = {e300864352d1f3dcfc1c42b66e2e2020}, journal = {Math. Log. Q.}, keywords = {dblp}, number = 6, pages = {474-515}, timestamp = {2024-04-08T17:44:24.000+0200}, title = {The two-variable fragment with counting and equivalence.}, url = {http://dblp.uni-trier.de/db/journals/mlq/mlq61.html#Pratt-Hartmann15}, volume = 61, year = 2015 }