%0 Journal Article %1 journals/ndjfl/Goodstein74 %A Goodstein, R. L. %D 1974 %J Notre Dame J. Formal Log. %K dblp %N 4 %P 598-600 %T Satisfiability in a larger domain. %U http://dblp.uni-trier.de/db/journals/ndjfl/ndjfl15.html#Goodstein74 %V 15

@article{journals/ndjfl/Goodstein74, added-at = {2020-05-21T00:00:00.000+0200}, author = {Goodstein, R. L.}, biburl = {https://www.bibsonomy.org/bibtex/2894553955246cc098cb29ac4ebb11de7/dblp}, ee = {https://doi.org/10.1305/ndjfl/1093891491}, interhash = {5b058c584239ad9a1fcd5e694fb71744}, intrahash = {894553955246cc098cb29ac4ebb11de7}, journal = {Notre Dame J. Formal Log.}, keywords = {dblp}, number = 4, pages = {598-600}, timestamp = {2020-05-23T12:15:45.000+0200}, title = {Satisfiability in a larger domain.}, url = {http://dblp.uni-trier.de/db/journals/ndjfl/ndjfl15.html#Goodstein74}, volume = 15, year = 1974 }