%0 Journal Article %1 journals/ibmrd/Gilmore60 %A Gilmore, Paul C. %D 1960 %J IBM J. Res. Dev. %K dblp %N 1 %P 28-35 %T A Proof Method for Quantification Theory: Its Justification and Realization. %U http://dblp.uni-trier.de/db/journals/ibmrd/ibmrd4.html#Gilmore60 %V 4

@article{journals/ibmrd/Gilmore60, added-at = {2020-03-13T00:00:00.000+0100}, author = {Gilmore, Paul C.}, biburl = {https://www.bibsonomy.org/bibtex/21e8a4028cf396a0f57906afa990e7ee9/dblp}, ee = {https://www.wikidata.org/entity/Q56038649}, interhash = {4bc36e9f85d11d586e809362697e82a5}, intrahash = {1e8a4028cf396a0f57906afa990e7ee9}, journal = {IBM J. Res. Dev.}, keywords = {dblp}, number = 1, pages = {28-35}, timestamp = {2020-03-14T11:48:54.000+0100}, title = {A Proof Method for Quantification Theory: Its Justification and Realization.}, url = {http://dblp.uni-trier.de/db/journals/ibmrd/ibmrd4.html#Gilmore60}, volume = 4, year = 1960 }