HR (software)
http://dbpedia.org/resource/HR_(software) an entity of type: Work
HR is a computer program that automatically forms mathematical theories by searching for sequences of numbers. It was written by Simon Colton, and derives its name from initials of the mathematicians Godfrey Harold Hardy and Srinivasa Aiyangar Ramanujan.
rdf:langString
rdf:langString
HR (software)
xsd:integer
21777232
xsd:integer
1090374200
rdf:langString
HR is a computer program that automatically forms mathematical theories by searching for sequences of numbers. It was written by Simon Colton, and derives its name from initials of the mathematicians Godfrey Harold Hardy and Srinivasa Aiyangar Ramanujan.
xsd:nonNegativeInteger
2354