Statements (13)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb: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
|
| gptkbp:influenced |
subsequent automated reasoning systems
|
| gptkbp:language |
gptkb:Prolog
|
| gptkbp:notableFor |
automated mathematical induction
|
| gptkbp:bfsParent |
gptkb:Merlin_Systems
|
| gptkbp:bfsLayer |
7
|
| https://www.w3.org/2000/01/rdf-schema#label |
MUSE expert system
|