Resolutionrule Enum

as donto believed on

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

Resolutionrule Enum has 7 facts recorded in Dontopedia across 1 reference, with 1 live disagreement.

7 facts·2 predicates·1 sources·1 in dispute

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

Predicate	Value	Ref
Has Value	higher_tier	[1]
Has Value	proximity_to_event	[1]
Has Value	informant_knowledge	[1]
Has Value	internal_consistency	[1]
Has Value	corroboration	[1]
Has Value	preponderance	[1]
Defined in	Basic Lean	[1]

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.

7 undated

—

definedInblah/tpmjs/68

ex:basic-lean

—

hasValueblah/tpmjs/68

higher_tier

—

hasValueblah/tpmjs/68

proximity_to_event

—

hasValueblah/tpmjs/68

informant_knowledge

—

hasValueblah/tpmjs/68

internal_consistency

—

hasValueblah/tpmjs/68

corroboration

—

hasValueblah/tpmjs/68

preponderance

References (1)

1 references

[1]687 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…

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.

Resolutionrule Enum

Other facts (7)

Timeline

References (1)

See also

Keep researching