domainOfVariables
P64857
predicate
Indicates that the predicate specifies the set or type of values that the variables involved in an expression or formula are allowed to take.
Observed surface forms (3)
- domainOfFormula ×1
- domainOfQuantification ×1
- hasVariableDomain ×1
Sample triples (7)
| Subject | Object |
|---|---|
| Erdős–Moser equation | positive integers ⓘ |
| Fermat's Last Theorem | integers ⓘ |
| Fermat's Last Theorem | whole numbers ⓘ |
| Jacobi’s four-square theorem | n ∈ ℕ via predicate surface "domainOfFormula" ⓘ |
| Max-3-SAT | Boolean variables via predicate surface "hasVariableDomain" ⓘ |
| Ramanujan–Nagell equation | integers ⓘ |
| fundamental theorem of arithmetic | set of positive integers greater than 1 via predicate surface "domainOfQuantification" ⓘ |