commonlySolvedBy
P8791
predicate
Indicates that a problem, task, or issue is typically addressed or resolved through a particular method, tool, or agent.
All labels observed (14)
| Label | Occurrences |
|---|---|
| solvedBy | 63 |
| eliminationMethod | 33 |
| solvesProblem | 11 |
| solvedByMethod | 7 |
| usedToSolve | 7 |
| canSolve | 5 |
| hasSolvingMethod | 4 |
| solutionMethods | 4 |
| typicallySolvesFor | 4 |
| solvableBy | 3 |
| solvedWith | 3 |
| solve | 2 |
| commonlySolvedBy canonical | 1 |
| exactSolutionBy | 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: commonlySolvedBy
Generated description
Indicates that a problem, task, or issue is typically addressed or resolved through a particular method, tool, or agent.
Sample triples (148)
| Subject | Object |
|---|---|
| Navier–Stokes equations | numerical methods ⓘ |
| New York's 28th congressional district | congressional redistricting via predicate surface "eliminationMethod" ⓘ |
| Euler equations | finite volume methods via predicate surface "solvedBy" ⓘ |
| Euler equations | finite difference methods via predicate surface "solvedBy" ⓘ |
| Euler equations | spectral methods via predicate surface "solvedBy" ⓘ |
| Euler equations | Godunov-type schemes via predicate surface "solvedBy" ⓘ |
| Survivor | Tribal Council vote via predicate surface "eliminationMethod" ⓘ |
| Schwarzschild–Milne equations | discrete ordinates methods via predicate surface "solutionMethods" ⓘ |
| Schwarzschild–Milne equations | Feautrier method via predicate surface "solutionMethods" ⓘ |
| Schwarzschild–Milne equations | variational methods via predicate surface "solutionMethods" ⓘ |
| Schwarzschild–Milne equations | numerical integration via predicate surface "solutionMethods" ⓘ |
|
Ising models
surface form:
Ising model
|
Lars Onsager via predicate surface "exactSolutionBy" ⓘ |
| Entscheidungsproblem | Alonzo Church via predicate surface "solvedBy" ⓘ |
| Entscheidungsproblem | Alan Turing via predicate surface "solvedBy" ⓘ |
| Heisenberg model | Bethe ansatz in one dimension via predicate surface "solvedBy" ⓘ |
| Dancing with the Stars (U.S. season 8) | combined judges' scores and audience votes via predicate surface "eliminationMethod" ⓘ |
| Seven Bridges of Königsberg problem | Leonhard Euler via predicate surface "solvedBy" ⓘ |
|
Red Light, Green Light
surface form:
Red Light, Green Light (Squid Game)
|
being shot by automated gunfire via predicate surface "eliminationMethod" ⓘ |
| Fermat point | Evangelista Torricelli via predicate surface "solvedBy" ⓘ |
| Schwinger model | bosonization techniques via predicate surface "solvableBy" ⓘ |
| Schwinger model | operator methods via predicate surface "solvableBy" ⓘ |
| Schwinger model | path integral methods via predicate surface "solvableBy" ⓘ |
| Poincaré conjecture | Grigori Perelman via predicate surface "solvedBy" ⓘ |
| Regular Expression Search Algorithm | searching text for patterns via predicate surface "solvesProblem" ⓘ |
| Regular Expression Search Algorithm | matching strings against regular expressions via predicate surface "solvesProblem" ⓘ |
| Hartree–Fock method | self-consistent field procedure via predicate surface "solvedBy" ⓘ |
| Hartree–Fock method |
Hartree–Fock method
via predicate surface "solvedBy"
self-linksurface differs
ⓘ
surface form:
Roothaan–Hall equations
|
| density functional theory | self-consistent field procedure via predicate surface "solvedBy" ⓘ |
| Strategy | hard-wired algorithms in client code via predicate surface "solvesProblem" ⓘ |
| Strategy | conditional logic for algorithm selection via predicate surface "solvesProblem" ⓘ |
| Godunov-type schemes | hyperbolic conservation laws via predicate surface "solve" ⓘ |
| Godunov-type schemes | systems of conservation laws via predicate surface "solve" ⓘ |
| Lyapunov equation | vectorization methods via predicate surface "solvedBy" ⓘ |
| Lyapunov equation | Kronecker product methods via predicate surface "solvedBy" ⓘ |
| Lyapunov equation | Bartels–Stewart algorithm via predicate surface "solvedBy" ⓘ |
| Lyapunov equation | Schur decomposition methods via predicate surface "solvedBy" ⓘ |
| Lyapunov equation | iterative numerical algorithms via predicate surface "solvedBy" ⓘ |
| Rubik's Cube |
Rubik's Cube
via predicate surface "hasSolvingMethod"
self-linksurface differs
ⓘ
surface form:
CFOP method
|
| Rubik's Cube |
Rubik's Cube
via predicate surface "hasSolvingMethod"
self-linksurface differs
ⓘ
surface form:
Roux method
|
| Rubik's Cube | ZZ method via predicate surface "hasSolvingMethod" ⓘ |
| Rubik's Cube | beginner layer-by-layer method via predicate surface "hasSolvingMethod" ⓘ |
| Hilbert’s seventeenth problem | Emil Artin via predicate surface "solvedBy" ⓘ |
| Cauchy problem | energy methods via predicate surface "solvedBy" ⓘ |
| Cauchy problem | Fourier transform methods via predicate surface "solvedBy" ⓘ |
| Cauchy problem | semigroup theory via predicate surface "solvedBy" ⓘ |
| Cauchy problem | fixed point theorems via predicate surface "solvedBy" ⓘ |
| Hilbert’s tenth problem | Yuri Matiyasevich via predicate surface "solvedBy" ⓘ |
| Hilbert’s tenth problem | Martin Davis via predicate surface "solvedBy" ⓘ |
| Hilbert’s tenth problem | Hilary Putnam via predicate surface "solvedBy" ⓘ |
| Hilbert’s tenth problem | Julia Robinson via predicate surface "solvedBy" ⓘ |