Statements (61)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
Mathematical concept
|
| gptkbp:canBe |
False
|
| gptkbp:canCreate |
False
|
| gptkbp:hasDepartment |
The number of arguments or operands that a function or operation takes.
|
| gptkbp:hasType |
Binary
Unary N-ary Ternary |
| https://www.w3.org/2000/01/rdf-schema#label |
Arity
|
| gptkbp:isCitedBy |
Method
Operator Procedure Function signature |
| gptkbp:isFeaturedIn |
Natural numbers
|
| gptkbp:isImportantFor |
Logic
Programming languages Type theory |
| gptkbp:isRelatedTo |
Operation
Function Argument Parameter Cardinality Tuple |
| gptkbp:isUsedIn |
gptkb:Quantum_computing
Algorithm design Artificial intelligence Bioinformatics Category theory Computer science Cryptography Data mining Functional programming Lambda calculus Machine learning Mathematical logic Mathematics Modeling Optimization Project management Set theory Simulation Software engineering Statistics Type systems Graph theory Human-computer interaction Information theory Operations research Computational biology Data structures Network theory Numerical analysis Web development Computational complexity Game theory Formal languages User interface design Software testing Database queries Business analysis Systems analysis |