isSolutionOf
P14252
predicate
Indicates that one entity is a correct answer or satisfies the conditions of a given problem, equation, or task.
All labels observed (12)
| Label | Occurrences |
|---|---|
| solves | 47 |
| isSolutionOf canonical | 16 |
| areSolutionsOf | 7 |
| satisfiesDifferentialEquation | 4 |
| solutionOf | 4 |
| areSolutionOf | 3 |
| satisfiesFunctionalEquation | 2 |
| satisfyDifferentialEquation | 2 |
| solutionCalled | 2 |
| ariseAsSolutionsOf | 1 |
| isSupersymmetricSolutionOf | 1 |
| resultOfRiddleSolution | 1 |
Description generation (PDg)
The one-sentence description above was generated by prompting gpt-5.1 with the predicate name and this instruction.
Instruction
Given a predicate that represents a relationship or action between entities, generate a one-sentence description explaining its meaning. # Instructions Focus on describing the relationship, not the entities themselves. # Response Format Begin the description with \' Indicates...\'
Input
Predicate: isSolutionOf
Generated description
Indicates that one entity is a correct answer or satisfies the conditions of a given problem, equation, or task.
Sample triples (90)
| Subject | Object |
|---|---|
| de Sitter spacetime | Einstein field equations with cosmological constant ⓘ |
| Kerr metric | Einstein field equations in vacuum via predicate surface "solves" ⓘ |
| Reissner–Nordström metric | Einstein–Maxwell equations via predicate surface "solves" ⓘ |
| Kerr–Newman black hole | Einstein–Maxwell equations via predicate surface "solutionOf" ⓘ |
| Ornstein–Uhlenbeck process | linear stochastic differential equation with constant coefficients via predicate surface "solutionOf" ⓘ |
| Klein–Nishina formula | tree‑level QED scattering amplitude for photon–electron scattering ⓘ |
| Bethe ansatz |
Heisenberg model
via predicate surface "solves"
ⓘ
surface form:
Heisenberg spin chain
|
| Bethe ansatz | XXX spin chain via predicate surface "solves" ⓘ |
| Bethe ansatz | XXZ spin chain via predicate surface "solves" ⓘ |
| Bethe ansatz | Lieb–Liniger model via predicate surface "solves" ⓘ |
| Bethe ansatz | one-dimensional Bose gas with delta interaction via predicate surface "solves" ⓘ |
| Bethe ansatz | Hubbard model in one dimension via predicate surface "solves" ⓘ |
| Yukawa potential | static Klein–Gordon equation with point source ⓘ |
| Gödel metric | Einstein field equations with dust and negative cosmological constant via predicate surface "solutionOf" ⓘ |
| Jacobi ellipsoid | equations of rotating self-gravitating fluid equilibrium ⓘ |
|
Weierstrass elliptic functions
surface form:
Weierstrass ℘-function
|
(℘′(z))^2 = 4℘(z)^3 - g2℘(z) - g3 via predicate surface "satisfiesDifferentialEquation" ⓘ |
| Sphinx | liberation of Thebes from her terror via predicate surface "resultOfRiddleSolution" ⓘ |
| NAT-T | IPsec and NAT incompatibility via predicate surface "solves" ⓘ |
| anti-de Sitter space |
Einstein field equations
ⓘ
surface form:
Einstein field equations with negative cosmological constant
|
| Gamma function | Γ(z+1)=zΓ(z) via predicate surface "satisfiesFunctionalEquation" ⓘ |
| i | z^4 = 1 ⓘ |
| Wiener filter | Wiener–Hopf equations via predicate surface "solves" ⓘ |
| d’Alembert’s formula | u_{tt} = c^2 u_{xx} via predicate surface "solves" ⓘ |
| Builder | Complex object creation problem via predicate surface "solves" ⓘ |
| Bridge | Tight coupling between abstraction and implementation via predicate surface "solves" ⓘ |
| Bridge | Class explosion from multiple dimensions of variation via predicate surface "solves" ⓘ |
| Hamilton–Jacobi equation | Hamilton’s principal function via predicate surface "solutionCalled" ⓘ |
| Hamilton–Jacobi equation | Hamilton’s characteristic function via predicate surface "solutionCalled" ⓘ |
| Jacobi polynomials | Sturm–Liouville problem via predicate surface "areSolutionsOf" ⓘ |
| Will Hunting | advanced mathematics problems via predicate surface "solves" ⓘ |
| Feautrier method | boundary value problems in radiative transfer via predicate surface "solves" ⓘ |
| Davis–Putnam algorithm | SAT via predicate surface "solves" ⓘ |
| Davis–Putnam algorithm | propositional satisfiability via predicate surface "solves" ⓘ |
| Landau levels | Schrödinger equation in a uniform magnetic field via predicate surface "areSolutionOf" ⓘ |
| Landau levels |
Dirac equation
via predicate surface "areSolutionOf"
ⓘ
surface form:
Dirac equation in a magnetic field for relativistic particles
|
|
OU process
surface form:
Ornstein–Uhlenbeck process
|
Langevin equation with linear drift ⓘ |
| Yang monopole |
Yang–Mills theory
ⓘ
surface form:
Yang–Mills equations
|
| Dehn invariant | Hilbert's third problem via predicate surface "solves" ⓘ |
| Dehn algorithm | word problem for certain groups via predicate surface "solves" ⓘ |
| Gelfand–Levitan theory | inverse Sturm–Liouville problem via predicate surface "solves" ⓘ |
|
Lambert W function (later named in his honor)
surface form:
Lambert W function
|
W'(z) = W(z) / (z (1+W(z))) via predicate surface "satisfiesDifferentialEquation" ⓘ |
| Lucas–Kanade optical flow algorithm | 2D motion vector for image patch via predicate surface "solves" ⓘ |
| classical fourth-order Runge–Kutta method | initial value problems for ordinary differential equations via predicate surface "solves" ⓘ |
| golden ratio | x^2 - x - 1 = 0 ⓘ |
| Q-learning | Markov decision process control problems via predicate surface "solves" ⓘ |
| LTB metric | Einstein equations with dust stress–energy tensor via predicate surface "solves" ⓘ |
| Roche–Riemann ellipsoids | hydrostatic equilibrium in rotating frame via predicate surface "solves" ⓘ |
| Roche ellipsoid | equations of motion in rotating frame with tidal potential ⓘ |
| tangent half-angle substitution | integrals of the form ∫R(sin x, cos x) dx where R is rational via predicate surface "solves" ⓘ |
| Bessel functions | Bessel differential equation via predicate surface "ariseAsSolutionsOf" ⓘ |