Statements (11)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
logical law
|
| gptkbp:appliesTo |
gptkb:logic
predicate logic |
| gptkbp:describes |
replacement of variables or terms with equivalents
|
| gptkbp:enables |
derivation of new statements from existing ones
|
| https://www.w3.org/2000/01/rdf-schema#label |
law of substitution
|
| gptkbp:relatedTo |
substitution rule
|
| gptkbp:usedIn |
gptkb:logic
gptkb:mathematics |
| gptkbp:bfsParent |
gptkb:Jean-Baptiste_Dumas
|
| gptkbp:bfsLayer |
5
|