Statements (13)
Predicate | Object |
---|---|
gptkbp:instanceOf |
Expert System
|
gptkbp:activePeriod |
1980s
|
gptkbp:application |
theorem proving
mathematical reasoning |
gptkbp:countryOfOrigin |
gptkb:United_Kingdom
|
gptkbp:developedBy |
gptkb:University_of_Edinburgh
|
gptkbp:field |
gptkb:mathematics
|
https://www.w3.org/2000/01/rdf-schema#label |
MUSE expert system
|
gptkbp:influenced |
subsequent automated reasoning systems
|
gptkbp:language |
gptkb:Prolog
|
gptkbp:notableFor |
automated mathematical induction
|
gptkbp:bfsParent |
gptkb:Merlin_Systems
|
gptkbp:bfsLayer |
7
|