Statements (17)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:software
|
| gptkbp:demonstrates |
gptkb:Dartmouth_Summer_Research_Project_on_Artificial_Intelligence
|
| gptkbp:developedBy |
gptkb:Allen_Newell
gptkb:Herbert_A._Simon gptkb:RAND_Corporation gptkb:Cliff_Shaw |
| gptkbp:field |
gptkb:artificial_intelligence
|
| gptkbp:influenced |
gptkb:General_Problem_Solver
|
| gptkbp:language |
gptkb:Information_Processing_Language_(IPL)
|
| gptkbp:notableFor |
first artificial intelligence program
proved 38 of the first 52 theorems in Principia Mathematica |
| gptkbp:purpose |
prove mathematical theorems
|
| gptkbp:releaseYear |
1956
|
| gptkbp:type |
gptkb:automated_theorem_prover
|
| gptkbp:bfsParent |
gptkb:Allen_Newell
|
| gptkbp:bfsLayer |
5
|
| https://www.w3.org/2000/01/rdf-schema#label |
Logic Theorist
|