Statements (16)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:philosophy
|
| gptkbp:aimsTo |
mechanize reasoning
|
| gptkbp:describedBy |
Leibniz's writings
|
| gptkbp:influenced |
gptkb:logic
computer science symbolic logic |
| gptkbp:languageOfOrigin |
gptkb:Latin
|
| gptkbp:period |
17th century
|
| gptkbp:proposedBy |
gptkb:Gottfried_Wilhelm_Leibniz
|
| gptkbp:relatedTo |
gptkb:logic
mechanical reasoning universal language characteristica universalis |
| gptkbp:bfsParent |
gptkb:Leibniz's_characteristica_universalis
|
| gptkbp:bfsLayer |
8
|
| https://www.w3.org/2000/01/rdf-schema#label |
calculus ratiocinator
|