%0 Journal Article %1 journals/topics/Schiller13 %A Schiller, Marvin R. G. %D 2013 %J Top. Cogn. Sci. %K dblp %N 2 %P 251-269 %T Granularity Analysis for Mathematical Proofs. %U http://dblp.uni-trier.de/db/journals/topics/topics5.html#Schiller13 %V 5

@article{journals/topics/Schiller13, added-at = {2020-10-01T00:00:00.000+0200}, author = {Schiller, Marvin R. G.}, biburl = {https://www.bibsonomy.org/bibtex/29e05fd3e7577a8da36485b7bfa781690/dblp}, ee = {https://www.wikidata.org/entity/Q44369921}, interhash = {04d08c70da9dd310a01df10f752f674f}, intrahash = {9e05fd3e7577a8da36485b7bfa781690}, journal = {Top. Cogn. Sci.}, keywords = {dblp}, number = 2, pages = {251-269}, timestamp = {2020-10-02T11:35:02.000+0200}, title = {Granularity Analysis for Mathematical Proofs.}, url = {http://dblp.uni-trier.de/db/journals/topics/topics5.html#Schiller13}, volume = 5, year = 2013 }