Dontopedia

date

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

date is year/month/day (partial dates OK).

9 facts·6 predicates·4 sources·1 in dispute

Mostly:rdf:type(2), permits partial dates(1), represents format(1)

Maturity scale raw canonical shape-checked rule-derived certified

Inbound mentions (6)

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.

allowedByAllowed by(1)

allowsValuesAllows Values(1)

definesTypeDefines Type(1)

examplesExamples(1)

hasDataTypeHas Data Type(1)

hasTypeHas Type(1)

Other facts (7)

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.

7 facts
PredicateValueRef
Rdf:typeData Type[2]
Rdf:typeData Type[4]
Permits Partial DatesTrue[1]
Represents Formatyear/month/day[1]
Defined inBasic Lean[3]
Descriptionyear/month/day (partial dates OK)[3]
Is Used forTimestamp Field[4]

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.

permitsPartialDatesblah/tpmjs/part-68
ex:true
representsFormatblah/tpmjs/part-68
year/month/day
typebeam/6d69485f-7565-48de-b47f-1af3ee59d355
ex:DataType
labelbeam/6d69485f-7565-48de-b47f-1af3ee59d355
Date Type
definedInblah/tpmjs/68
ex:basic-lean
descriptionblah/tpmjs/68
year/month/day (partial dates OK)
typebeam/1ec290c6-ad6c-4b29-a062-86f6f2dcd7f7
ex:DataType
labelbeam/1ec290c6-ad6c-4b29-a062-86f6f2dcd7f7
date
isUsedForbeam/1ec290c6-ad6c-4b29-a062-86f6f2dcd7f7
ex:timestamp-field

References (4)

4 references
  1. [1]Part 682 facts
    ctx:discord/blah/tpmjs/part-68
  2. ctx:claims/beam/6d69485f-7565-48de-b47f-1af3ee59d355
    • full textbeam-chunk
      text/plain1 KBdoc:beam/6d69485f-7565-48de-b47f-1af3ee59d355
      Show excerpt
      # Insert document document = { "id": 1, "title": "Document 1", "content": "This is the first document", "author": "John Doe", "date": "2022-01-01" } ``` Can you help me complete the `insert_document` method to insert a d
  3. [3]682 facts
    ctx:discord/blah/tpmjs/68
    • full texttpmjs-68
      text/plain3 KBdoc:agent/tpmjs-68/e5de6f17-d683-4095-a196-73fb499e3236
      Show excerpt
      [2026-03-29 23:03] ajaxdavis: ``` Lean Type System (Genealogy/) Basic.lean - Date — year/month/day (partial dates OK) - YearRange — earliest/latest with validity proof - SourceTier — primary | secondary | tertiary - So
  4. ctx:claims/beam/1ec290c6-ad6c-4b29-a062-86f6f2dcd7f7

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.