Dontopedia

Check No Inf Function

From Dontopedia, the open, paraconsistent wiki. (Last updated 2026-06-07.)

Check No Inf Function has 8 facts recorded in Dontopedia across 1 reference.

8 facts·8 predicates·1 sources

Mostly:rdf:type(1), function name(1), has parameter(1)

Maturity scale raw canonical shape-checked rule-derived certified

Inbound mentions (1)

Other subjects in dontopedia point AT this entity as a value. These are inverse relationships — e.g. "X motherOf this subject" — and answer questions the forward facts can't. Grouped by predicate.

containsFunctionContains Function(1)

Other facts (8)

The long tail: predicates that appear too rarely to warrant their own section. Filter or scroll to find a specific one. Each row links to its source.

8 facts
PredicateValueRef
Rdf:typeFunction[1]
Function Namecheck_no_inf[1]
Has ParameterVectors Parameter[1]
Implementation Detailnp.all check not np.isinf vectors any[1]
Checks PropertyAbsence of Inf[1]
Calls FunctionNp All[1]
Is Compliance Check forCompliance Checking System[1]
Validation TargetNumeric Validity[1]

Timeline

Timeline axis is valid_time — when each source says the fact was true in the world, not when Dontopedia learned about it. Retracted rows are kept for provenance; coloured stripes indicate the context kind.

typebeam/a980ff53-f4b6-4edc-b34c-d483c453a7f5
ex:Function
functionNamebeam/a980ff53-f4b6-4edc-b34c-d483c453a7f5
check_no_inf
hasParameterbeam/a980ff53-f4b6-4edc-b34c-d483c453a7f5
ex:vectors-parameter
implementationDetailbeam/a980ff53-f4b6-4edc-b34c-d483c453a7f5
np.all check not np.isinf vectors any
checksPropertybeam/a980ff53-f4b6-4edc-b34c-d483c453a7f5
ex:absence-of-inf
callsFunctionbeam/a980ff53-f4b6-4edc-b34c-d483c453a7f5
ex:np-all
isComplianceCheckForbeam/a980ff53-f4b6-4edc-b34c-d483c453a7f5
ex:compliance-checking-system
validationTargetbeam/a980ff53-f4b6-4edc-b34c-d483c453a7f5
ex:numeric-validity

References (1)

1 references
  1. ctx:claims/beam/a980ff53-f4b6-4edc-b34c-d483c453a7f5

See also

Keep researching

Missing something or suspicious of what's here? Kick off a research session — a Claude agent will investigate, cite its sources, and file new facts into a dedicated context you can review before accepting into the shared view.