<http://caligraph.org/resource/Reuben_Goodstein>	<http://caligraph.org/ontology/almaMater>	<http://caligraph.org/resource/Magdalene_College,_Cambridge> .
<http://caligraph.org/resource/Reuben_Goodstein>	<http://caligraph.org/ontology/doctoralStudent>	<http://caligraph.org/resource/Martin_L%C3%B6b> .
<http://caligraph.org/resource/Reuben_Goodstein>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/English_mathematician> .
<http://caligraph.org/resource/Reuben_Goodstein>	<http://caligraph.org/ontology/deathPlace>	<http://caligraph.org/resource/Leicester> .
<http://caligraph.org/resource/Reuben_Goodstein>	<http://caligraph.org/ontology/almaMater>	<http://caligraph.org/resource/Birkbeck,_University_of_London> .
<http://caligraph.org/resource/Reuben_Goodstein>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/Logician> .
<http://caligraph.org/resource/Reuben_Goodstein>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Alumni_of_Magdalene_College,_Cambridge> .
<http://caligraph.org/resource/Reuben_Goodstein>	<http://caligraph.org/ontology/deathYear>	"1985" .
<http://caligraph.org/resource/Reuben_Goodstein>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/Person_educated_at_St_Paul\u0027s_School,_London> .
<http://caligraph.org/resource/Reuben_Goodstein>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/20th-century_British_mathematician> .
<http://caligraph.org/resource/Reuben_Goodstein>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Lists_of_scientists_by_field> .
<http://caligraph.org/resource/Reuben_Goodstein>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/List_of_alumni_of_Magdalene_College,_Cambridge> .
<http://caligraph.org/resource/Reuben_Goodstein>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Lists_of_scientists_by_membership> .
<http://caligraph.org/resource/Reuben_Goodstein>	<http://caligraph.org/ontology/deathDate>	"1985-03-08" .
<http://caligraph.org/resource/Reuben_Goodstein>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Scientists_by_period> .
<http://caligraph.org/resource/Reuben_Goodstein>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Lists_of_scientists> .
<http://caligraph.org/resource/S._Barry_Cooper>	<http://caligraph.org/ontology/doctoralAdvisor>	<http://caligraph.org/resource/Reuben_Goodstein> .
<http://caligraph.org/resource/Reuben_Goodstein>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Scientists_by_religion> .
<http://caligraph.org/resource/Reuben_Goodstein>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:English_mathematicians> .
<http://caligraph.org/resource/Reuben_Goodstein>	<http://www.w3.org/2002/07/owl#sameAs>	<http://dbpedia.org/resource/Reuben_Goodstein> .
<http://caligraph.org/resource/Reuben_Goodstein>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:English_mathematicians_by_century> .
<http://caligraph.org/resource/Reuben_Goodstein>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Lists_of_scientists_by_award> .
<http://caligraph.org/resource/Reuben_Goodstein>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Lists_of_scientists_by_nationality> .
<http://caligraph.org/resource/Reuben_Goodstein>	<http://caligraph.org/ontology/institution>	<http://caligraph.org/resource/University_of_Cambridge> .
<http://caligraph.org/resource/Reuben_Goodstein>	<http://caligraph.org/ontology/doctoralStudent>	<http://caligraph.org/resource/S._Barry_Cooper> .
<http://caligraph.org/resource/Reuben_Goodstein>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://www.w3.org/2002/07/owl#NamedIndividual> .
<http://caligraph.org/resource/Reuben_Goodstein>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/List_of_University_of_Leicester_people> .
<http://caligraph.org/resource/Reuben_Goodstein>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Lists_of_scientists_by_religion> .
<http://caligraph.org/resource/Reuben_Goodstein>	<http://www.w3.org/2004/02/skos/core#altLabel>	"R. L. Goodstein" .
<http://caligraph.org/resource/Reuben_Goodstein>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/1985_death> .
<http://caligraph.org/resource/Reuben_Goodstein>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/The_Mathematical_Gazette> .
<http://caligraph.org/resource/Reuben_Goodstein>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Academics_of_the_University_of_Reading> .
<http://caligraph.org/resource/Reuben_Goodstein>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Academics_of_the_University_of_Leicester> .
<http://caligraph.org/resource/Reuben_Goodstein>	<http://caligraph.org/ontology/knownFor>	<http://caligraph.org/resource/Goodstein\u0027s_theorem> .
<http://caligraph.org/resource/Reuben_Goodstein>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Alumni_of_the_University_of_London> .
<http://caligraph.org/resource/Reuben_Goodstein>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/Alumnus_of_the_University_of_London> .
<http://caligraph.org/resource/Reuben_Goodstein>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Scientists> .
<http://caligraph.org/resource/Reuben_Goodstein>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Scientists_by_century> .
<http://caligraph.org/resource/Reuben_Goodstein>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/Alumnus_of_Magdalene_College,_Cambridge> .
<http://caligraph.org/resource/Reuben_Goodstein>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Scientists_by_continent> .
<http://caligraph.org/resource/Reuben_Goodstein>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Scientists_by_country_and_city> .
<http://caligraph.org/resource/Reuben_Goodstein>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Mathematical_Association> .
<http://caligraph.org/resource/Reuben_Goodstein>	<http://www.w3.org/2000/01/rdf-schema#label>	"Reuben Goodstein" .
<http://caligraph.org/resource/Reuben_Goodstein>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Scientists_by_century_and_nationality> .
<http://caligraph.org/resource/Reuben_Goodstein>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Scientists_by_city> .
<http://caligraph.org/resource/Reuben_Goodstein>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/Academic_of_the_University_of_Reading> .
<http://caligraph.org/resource/Reuben_Goodstein>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Scientists_by_field_and_continent> .
<http://caligraph.org/resource/Reuben_Goodstein>	<http://caligraph.org/ontology/academicAdvisor>	<http://caligraph.org/resource/Ludwig_Wittgenstein> .
<http://caligraph.org/resource/Reuben_Goodstein>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Scientists_by_field_and_nationality> .
<http://caligraph.org/resource/Reuben_Goodstein>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Scientists_by_ethnicity> .
<http://caligraph.org/resource/Reuben_Goodstein>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Scientists_by_field> .
<http://caligraph.org/resource/Reuben_Goodstein>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Scientists_by_nationality> .
<http://caligraph.org/resource/Reuben_Goodstein>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Scientists_by_nationality_and_century> .
<http://caligraph.org/resource/Reuben_Goodstein>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:People_educated_at_St_Paul\u0027s_School,_London> .
<http://caligraph.org/resource/Reuben_Goodstein>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/List_of_logicians> .
<http://caligraph.org/resource/Reuben_Goodstein>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Scientists_by_institution> .
<http://caligraph.org/resource/Reuben_Goodstein>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Naturalists_by_century> .
<http://caligraph.org/resource/Reuben_Goodstein>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/University_of_Leicester_people> .
<http://caligraph.org/resource/Martin_L%C3%B6b>	<http://caligraph.org/ontology/doctoralAdvisor>	<http://caligraph.org/resource/Reuben_Goodstein> .
<http://caligraph.org/resource/Reuben_Goodstein>	<http://caligraph.org/ontology/birthPlace>	<http://caligraph.org/resource/London> .
<http://caligraph.org/resource/Alan_Bundy>	<http://caligraph.org/ontology/doctoralAdvisor>	<http://caligraph.org/resource/Reuben_Goodstein> .
<http://caligraph.org/resource/Reuben_Goodstein>	<http://caligraph.org/ontology/birthYear>	"1912" .
<http://caligraph.org/resource/Reuben_Goodstein>	<http://caligraph.org/ontology/knownFor>	<http://caligraph.org/resource/Primitive_recursive_arithmetic> .
<http://caligraph.org/resource/Reuben_Goodstein>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:1912_births> .
<http://caligraph.org/resource/Reuben_Goodstein>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/1912_birth> .
<http://caligraph.org/resource/Reuben_Goodstein>	<http://www.w3.org/2004/02/skos/core#altLabel>	"Goodstein's" .
<http://caligraph.org/resource/Reuben_Goodstein>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:20th-century_British_mathematicians> .
<http://caligraph.org/resource/Reuben_Goodstein>	<http://caligraph.org/ontology/institution>	<http://caligraph.org/resource/University_of_Leicester> .
<http://caligraph.org/resource/Reuben_Goodstein>	<http://caligraph.org/ontology/birthDate>	"1912-12-15" .
<http://caligraph.org/resource/Reuben_Goodstein>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/Academic_of_the_University_of_Leicester> .
<http://caligraph.org/resource/Reuben_Goodstein>	<http://caligraph.org/ontology/doctoralStudent>	<http://caligraph.org/resource/Alan_Bundy> .
<http://caligraph.org/resource/Reuben_Goodstein>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/Scientist> .
<http://caligraph.org/resource/Reuben_Goodstein>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:1985_deaths> .
<http://caligraph.org/resource/Reuben_Goodstein>	<http://www.w3.org/2004/02/skos/core#prefLabel>	"Reuben Goodstein" .