Statements (5)
| Predicate | Object |
|---|---|
| gptkbp:alternativeName |
formal_language
formal_system formalism semantic_theory |
| https://www.w3.org/2000/01/rdf-schema#label |
formal semantics
|