knownLowerBoundProvedBy

P90269

predicate

Indicates that a specific lower bound has been formally established or proven by a particular method, proof, or source.

Try in SPARQL

All labels observed (2)

Label	Occurrences
knownLowerBoundProvedBy canonical	2
provesLowerBoundFor	2

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: knownLowerBoundProvedBy

Generated description

Indicates that a specific lower bound has been formally established or proven by a particular method, proof, or source.

Sample triples (4)

Subject	Object
de Bruijn–Newman constant	Brad Rodgers ⓘ
de Bruijn–Newman constant	Terence Tao ⓘ
Furst–Saxe–Sipser lower bounds	parity function via predicate surface "provesLowerBoundFor" ⓘ
Furst–Saxe–Sipser lower bounds	MOD₂ function via predicate surface "provesLowerBoundFor" ⓘ