Statements (16)
Predicate | Object |
---|---|
gptkbp:instanceOf |
gptkb:philosophy
|
gptkbp:aimsTo |
mechanize reasoning
|
gptkbp:describedBy |
Leibniz's writings
|
https://www.w3.org/2000/01/rdf-schema#label |
calculus ratiocinator
|
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
|