%0 Journal Article %1 journals/afp/ParsertK17 %A Parsert, Julian %A Kaliszyk, Cezary %D 2017 %J Arch. Formal Proofs %K dblp %T Microeconomics and the First Welfare Theorem. %U http://dblp.uni-trier.de/db/journals/afp/afp2017.html#ParsertK17 %V 2017

@article{journals/afp/ParsertK17, added-at = {2020-05-25T00:00:00.000+0200}, author = {Parsert, Julian and Kaliszyk, Cezary}, biburl = {https://www.bibsonomy.org/bibtex/2fedc18c9839f4253b3c8fe00918fe01a/dblp}, ee = {https://www.isa-afp.org/entries/First_Welfare_Theorem.html}, interhash = {1b9d062bb163e417139a5c288973a53a}, intrahash = {fedc18c9839f4253b3c8fe00918fe01a}, journal = {Arch. Formal Proofs}, keywords = {dblp}, timestamp = {2020-05-26T11:50:19.000+0200}, title = {Microeconomics and the First Welfare Theorem.}, url = {http://dblp.uni-trier.de/db/journals/afp/afp2017.html#ParsertK17}, volume = 2017, year = 2017 }