%0 Journal Article %1 journals/jsyml/Zakharyaschev97 %A Zakharyaschev, Michael %D 1997 %J J. Symb. Log. %K dblp %N 3 %P 950-975 %T Canonical Formulas for K4, Part III: The Finite Model Property. %U http://dblp.uni-trier.de/db/journals/jsyml/jsyml62.html#Zakharyaschev97 %V 62

@article{journals/jsyml/Zakharyaschev97, added-at = {2023-09-30T00:00:00.000+0200}, author = {Zakharyaschev, Michael}, biburl = {https://www.bibsonomy.org/bibtex/2cebffc90ca494eb329d9784d23768901/dblp}, ee = {http://projecteuclid.org/euclid.jsl/1183745306}, interhash = {2824b4b8086fbfaa8ba373a9b269c1ec}, intrahash = {cebffc90ca494eb329d9784d23768901}, journal = {J. Symb. Log.}, keywords = {dblp}, number = 3, pages = {950-975}, timestamp = {2024-04-08T12:22:20.000+0200}, title = {Canonical Formulas for K4, Part III: The Finite Model Property.}, url = {http://dblp.uni-trier.de/db/journals/jsyml/jsyml62.html#Zakharyaschev97}, volume = 62, year = 1997 }