isIntegralOver

P29595

predicate

Indicates that one algebraic structure (typically a ring element or extension) satisfies a monic polynomial with coefficients in another ring, expressing that it is algebraically dependent on and “integral over” that base ring.

Try in SPARQL

All labels observed (1)

Label	Occurrences
isIntegralOver canonical	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: isIntegralOver

Generated description

Indicates that one algebraic structure (typically a ring element or extension) satisfies a monic polynomial with coefficients in another ring, expressing that it is algebraically dependent on and “integral over” that base ring.

Sample triples (2)

Subject	Object
Stefan–Boltzmann law	Planck spectral radiance over all wavelengths ⓘ
Stefan–Boltzmann law	all solid angles of emission ⓘ