%0 Journal Article %1 journals/fm/Grabowski13c %A Grabowski, Adam %D 2013 %J Formalized Mathematics %K dblp %N 3 %P 213-221 %T Prime Filters and Ideals in Distributive Lattices. %U http://dblp.uni-trier.de/db/journals/fm/fm21.html#Grabowski13c %V 21

@article{journals/fm/Grabowski13c, added-at = {2019-02-20T00:00:00.000+0100}, author = {Grabowski, Adam}, biburl = {https://www.bibsonomy.org/bibtex/2d586f47c1974bf22ca491f68a2dc1282/dblp}, ee = {https://doi.org/10.2478/forma-2013-0023}, interhash = {289c7b280112022b510dc1a7bdccd504}, intrahash = {d586f47c1974bf22ca491f68a2dc1282}, journal = {Formalized Mathematics}, keywords = {dblp}, number = 3, pages = {213-221}, timestamp = {2019-02-21T11:39:31.000+0100}, title = {Prime Filters and Ideals in Distributive Lattices.}, url = {http://dblp.uni-trier.de/db/journals/fm/fm21.html#Grabowski13c}, volume = 21, year = 2013 }