Dontopedia

is prime

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

is prime has 15 facts recorded in Dontopedia across 3 references.

15 facts·14 predicates·3 sources

Mostly:assumes positive i(1), correctly identifies primes up to42(1), inefficient for large n(1)

Maturity scale raw canonical shape-checked rule-derived certified

Inbound mentions (2)

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.

conditionCondition(1)

containsContains(1)

Other facts (14)

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.

14 facts
PredicateValueRef
Assumes Positive ILoop Variable I[1]
Correctly Identifies Primes Up To42Integers 1 to 42[1]
Inefficient for Large NIntegers 1 to 42[1]
Trial Division MethodFrom 2 to Sqrt[1]
If Prime Actionprintf("Prime\n");[2]
ImplementsRule Prime Prints Prime[2]
Sound AlgorithmCorrect Prime Test[2]
Initializes Flagint isPrime = 1;[2]
Optimizes to Sqrtj*j <= i[2]
Presupposes1 Not PrimeMathematical Convention[2]
Contains Inner LoopInner Prime Loop[2]
Skipped for1[2]
Rdf:typePrime Condition[3]
Has Inner LoopPrime Loop[3]

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.

assumesPositiveIblah/omega/part-647
ex:loop-variable-i
correctlyIdentifiesPrimesUpTo42blah/omega/part-647
ex:integers-1-to-42
inefficientForLargeNblah/omega/part-647
ex:integers-1-to-42
trialDivisionMethodblah/omega/part-647
ex:from-2-to-sqrt
ifPrimeActionblah/omega/part-651
printf("Prime\n");
implementsblah/omega/part-651
ex:rule-prime-prints-prime
soundAlgorithmblah/omega/part-651
ex:correct-prime-test
initializesFlagblah/omega/part-651
int isPrime = 1;
optimizesToSqrtblah/omega/part-651
j*j <= i
presupposes1NotPrimeblah/omega/part-651
ex:mathematical-convention
containsInnerLoopblah/omega/part-651
ex:inner-prime-loop
skippedForblah/omega/part-651
1
typedocument/031e3fb3-56ef-4e7d-8f07-600f47644757
ex:PrimeCondition
labeldocument/031e3fb3-56ef-4e7d-8f07-600f47644757
is prime
hasInnerLoopdocument/031e3fb3-56ef-4e7d-8f07-600f47644757
ex:prime-loop

References (3)

3 references
  1. [1]Part 6474 facts
    ctx:discord/blah/omega/part-647
  2. [2]Part 6518 facts
    ctx:discord/blah/omega/part-651
  3. ctx:claims/document/031e3fb3-56ef-4e7d-8f07-600f47644757
    • full textuncloseai: **Generated Code** (block 1/1): ```c #include <stdio.h> int main() { // Fiz
      text/plain1 KBdiscord:msg/1552993f-dc39-48ef-b849-1a123b55b349
      Show excerpt
      uncloseai: **Generated Code** (block 1/1): ```c #include <stdio.h> int main() { // Fizz Buzz implementation up to 42 with 3 new rules for (int i = 1; i <= 42; i++) { // Rule 1: If number is divisible by 7, print "Bazz"

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.