@Article{Kauffman2001,
author = {Kauffman, LH}, 
title = {The Robbins problem: computer proofs and human proofs}, 
journal = {Kybernetes}, 
volume = {30}, 
number = {5-6}, 
pages = {726--751}, 
year = {2001}, 
abstract = {}, 
location = {}, 
keywords = {}}

{"_id":"2RSsCga6CFCrRR5cC","bibbaseid":"kauffman-therobbinsproblemcomputerproofsandhumanproofs-2001","authorIDs":[],"author_short":["Kauffman, L."],"bibdata":{"bibtype":"article","type":"article","author":[{"propositions":[],"lastnames":["Kauffman"],"firstnames":["LH"],"suffixes":[]}],"title":"The Robbins problem: computer proofs and human proofs","journal":"Kybernetes","volume":"30","number":"5-6","pages":"726–751","year":"2001","abstract":"","location":"","keywords":"","bibtex":"@Article{Kauffman2001,\nauthor = {Kauffman, LH}, \ntitle = {The Robbins problem: computer proofs and human proofs}, \njournal = {Kybernetes}, \nvolume = {30}, \nnumber = {5-6}, \npages = {726--751}, \nyear = {2001}, \nabstract = {}, \nlocation = {}, \nkeywords = {}}\n\n\n","author_short":["Kauffman, L."],"key":"Kauffman2001","id":"Kauffman2001","bibbaseid":"kauffman-therobbinsproblemcomputerproofsandhumanproofs-2001","role":"author","urls":{},"downloads":0},"bibtype":"article","biburl":"https://gist.githubusercontent.com/stuhlmueller/a37ef2ef4f378ebcb73d249fe0f8377a/raw/6f96f6f779501bd9482896af3e4db4de88c35079/references.bib","creationDate":"2020-01-27T02:13:34.754Z","downloads":0,"keywords":[],"search_terms":["robbins","problem","computer","proofs","human","proofs","kauffman"],"title":"The Robbins problem: computer proofs and human proofs","year":2001,"dataSources":["hEoKh4ygEAWbAZ5iy"]}