About: Automated Mathematician

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

1970s discovery system software

Property	Value
dbo:description	1970s discovery system software (en) Intelligenza artificiale in grado di scoprire concetti e leggi scientifiche, tramite un linguaggio di programmazione (it)
dbo:wikiPageExternalLink	https://github.com/akkartik/am-utexas https://web.archive.org/web/20030505231346/http:/web.media.mit.edu/~haase/thesis/thesis.html https://web.archive.org/web/20060528011654/http:/www.comp.glam.ac.uk/pages/staff/efurse/Abstracts/Why-did-AM-halt.html
dbo:wikiPageWikiLink	dbr:Eurisko dbr:Automated_theorem_proving dbr:Heuristic dbr:Experimental_mathematics dbr:Goldbach's_conjecture dbr:Computer-assisted_proof dbr:Fundamental_theorem_of_arithmetic dbc:Artificial_intelligence dbr:Douglas_Lenat dbr:HR_(software) dbr:IJCAI_Computers_and_Thought_Award dbr:Discovery_system_(AI_research) dbr:Graffiti_(program) dbr:Symbolic_mathematics dbr:Lisp_programming_language
dbp:wikiPageUsesTemplate	dbt:Reflist dbt:Short_description
dct:subject	dbc:Artificial_intelligence
gold:hypernym	dbr:Systems
rdfs:label	Automated Mathematician (en) Matematico Automatico (it) Matemático Automático (pt)
owl:sameAs	freebase:Automated Mathematician wikidata:Automated Mathematician dbpedia-it:Automated Mathematician dbpedia-pt:Automated Mathematician dbpedia-global:Automated Mathematician
prov:wasDerivedFrom	wikipedia-en:Automated_Mathematician?oldid=1281358920&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Automated_Mathematician
is dbo:knownFor of	dbr:Douglas_Lenat
is dbo:wikiPageDisambiguates of	dbr:AM
is dbo:wikiPageWikiLink of	dbr:Eurisko dbr:AM dbr:George_Pólya dbr:Index_of_robotics_articles dbr:Fluid_Concepts_and_Creative_Analogies dbr:Douglas_Lenat dbr:List_of_mathematical_logic_topics dbr:Philosophy_of_artificial_intelligence dbr:Discovery_system_(AI_research) dbr:Timeline_of_artificial_intelligence dbr:Outline_of_artificial_intelligence
is foaf:primaryTopic of	wikipedia-en:Automated_Mathematician