%0 Journal Article %1 journals/mlq/HerreW75 %A Herre, Heinrich %A Wolter, Helmut %D 1975 %J Math. Log. Q. %K dblp %N 1 %P 229-246 %T Entscheidbarkeit von Theorien in Logiken mit verallgemeinerten Quantoren. %U http://dblp.uni-trier.de/db/journals/mlq/mlq21.html#HerreW75 %V 21

@article{journals/mlq/HerreW75, added-at = {2016-12-13T00:00:00.000+0100}, author = {Herre, Heinrich and Wolter, Helmut}, biburl = {https://www.bibsonomy.org/bibtex/2074ba39f228686fa2c67925e44bd2551/dblp}, ee = {http://dx.doi.org/10.1002/malq.19750210131}, interhash = {f5e26da714ca61d5c171be70c750952e}, intrahash = {074ba39f228686fa2c67925e44bd2551}, journal = {Math. Log. Q.}, keywords = {dblp}, number = 1, pages = {229-246}, timestamp = {2016-12-14T11:36:10.000+0100}, title = {Entscheidbarkeit von Theorien in Logiken mit verallgemeinerten Quantoren.}, url = {http://dblp.uni-trier.de/db/journals/mlq/mlq21.html#HerreW75}, volume = 21, year = 1975 }