usesComputationMethod

P89
predicate

Indicates that an entity performs its processing or decision-making by applying a specified computational method or algorithm.

Try in SPARQL

All labels observed (24)

Label Occurrences
usesAlgorithm 68
evaluationStrategy 37
usedToCompute 23

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: usesComputationMethod
Generated description
Indicates that an entity performs its processing or decision-making by applying a specified computational method or algorithm.

Sample triples (197)

Subject Object
Legendre symbol quadratic reciprocity and supplementary laws via predicate surface "computableBy" ⓘ
EIGRP DUAL via predicate surface "usesAlgorithm" ⓘ
Lyapunov exponents linearization of the flow or map via predicate surface "computedBy" ⓘ
Lyapunov exponents Benettin algorithm via predicate surface "computedBy" ⓘ
Lyapunov exponents QR decomposition methods via predicate surface "computedBy" ⓘ
Lyapunov exponents time series reconstruction methods via predicate surface "computedBy" ⓘ
Lyapunov fractal iterating logistic map for each parameter pair via predicate surface "computedBy" ⓘ
Lyapunov fractal evaluating Lyapunov exponent for each parameter sequence via predicate surface "computedBy" ⓘ
Lyapunov vector Benettin algorithm via predicate surface "computedBy" ⓘ
Lyapunov vector QR-based methods via predicate surface "computedBy" ⓘ
Lyapunov vector covariant Lyapunov vector algorithms via predicate surface "computedBy" ⓘ
IS‑IS
surface form: IS-IS
OSPF via predicate surface "usesAlgorithm" ⓘ
surface form: Dijkstra shortest path first
Adam optimizer gradient mean via predicate surface "usesFirstMomentEstimate" ⓘ
M language lazy evaluation with query folding to data sources via predicate surface "evaluationStrategy" ⓘ
Negotiated Finite Field Diffie-Hellman Ephemeral Parameters for Transport Layer Security (TLS) finite-field discrete logarithm problem via predicate surface "usesAlgorithm" ⓘ
CRAM-MD5 MD5 via predicate surface "usesAlgorithm" ⓘ
CRAM-MD5 MD5 of (password XOR pads concatenated with challenge) via predicate surface "digestComputation" ⓘ
Tcl string-based via predicate surface "evaluationStrategy" ⓘ
ISNI database ISO 27729 via predicate surface "usesAlgorithm" ⓘ
surface form: ISO 27729 check digit algorithm
Standard ML strict evaluation via predicate surface "evaluationStrategy" ⓘ
RFC 2574 HMAC-MD5-96 via predicate surface "usesAlgorithm" ⓘ
RFC 2574 HMAC via predicate surface "usesAlgorithm" ⓘ
surface form: HMAC-SHA-96
RFC 2574 CBC-DES for privacy via predicate surface "usesAlgorithm" ⓘ
CBC-DES Data Encryption Standard via predicate surface "usesAlgorithm" ⓘ
de Bruijn graph finding Eulerian paths to reconstruct sequences via predicate surface "commonAlgorithmicUse" ⓘ
Bardeen potential cosmic microwave background anisotropies via predicate surface "usedToCompute" ⓘ
Bardeen potential large-scale structure formation via predicate surface "usedToCompute" ⓘ
Witten index path integral with periodic boundary conditions for fermions via predicate surface "canBeComputedBy" ⓘ
Witten index supersymmetric localization via predicate surface "canBeComputedBy" ⓘ
ALGOL call by name (ALGOL 60) via predicate surface "evaluationStrategy" ⓘ
ALGOL call by value via predicate surface "evaluationStrategy" ⓘ
Satisfiability Modulo Theories (SMT)
surface form: Satisfiability Modulo Theories
DPLL(T) via predicate surface "usesAlgorithm" ⓘ
Satisfiability Modulo Theories (SMT)
surface form: Satisfiability Modulo Theories
CDCL-based search via predicate surface "usesAlgorithm" ⓘ
Satisfiability Modulo Theories (SMT)
surface form: Satisfiability Modulo Theories
theory propagation via predicate surface "usesAlgorithm" ⓘ
Satisfiability Modulo Theories (SMT)
surface form: Satisfiability Modulo Theories
theory learning via predicate surface "usesAlgorithm" ⓘ
Clebsch–Gordan coefficients recursive relations via predicate surface "computedBy" ⓘ
Clebsch–Gordan coefficients explicit closed-form formulas via predicate surface "computedBy" ⓘ
Clebsch–Gordan coefficients computer algebra systems via predicate surface "computedBy" ⓘ
Pharo Smalltalk message sending via predicate surface "evaluationStrategy" ⓘ
gzip DEFLATE via predicate surface "usesAlgorithm" ⓘ
bzip2 Burrows–Wheeler transform via predicate surface "usesAlgorithm" ⓘ
bzip2 Huffman coding via predicate surface "usesAlgorithm" ⓘ
bzip2 run-length encoding via predicate surface "usesAlgorithm" ⓘ
lzip 7zip via predicate surface "usesAlgorithm" ⓘ
surface form: LZMA
VisualWorks dynamic via predicate surface "evaluationStrategy" ⓘ
Clojure eager evaluation via predicate surface "evaluationStrategy" ⓘ
Fibonacci search offset from the start of the current range determined by a Fibonacci number via predicate surface "usesIndexComputation" ⓘ
Pisano period iterating Fibonacci numbers modulo n until the pair (0,1) reappears via predicate surface "computableBy" ⓘ
Daily Mix playlists Spotify recommendation algorithms via predicate surface "usesAlgorithm" ⓘ
Serial GC copying collection for young generation via predicate surface "usesAlgorithm" ⓘ