Formula Snippet
From Dontopedia, the open, paraconsistent wiki. (Last updated 2026-06-09.)
Formula Snippet has 12 facts recorded in Dontopedia across 1 reference, with 2 live disagreements.
Mostly:has variable(4), uses arithmetic operation(2), rdf:type(1)
Maturity scale
raw canonical shape-checked rule-derived certifiedOther facts (12)
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.
| Predicate | Value | Ref |
|---|---|---|
| Has Variable | remaining_effort | [1] |
| Has Variable | total_effort | [1] |
| Has Variable | remaining_percentage | [1] |
| Has Variable | completed_percentage | [1] |
| Uses Arithmetic Operation | multiplication | [1] |
| Uses Arithmetic Operation | division | [1] |
| Rdf:type | Code Formula | [1] |
| Is Proposed by | User | [1] |
| Fails to Reflect | proportional-relationship-between-completed-and-remaining | [1] |
| Attempts Direct Calculation | Remaining Effort | [1] |
| Lacks | proportional-relationship-between-completed-and-remaining | [1] |
| Exhibits | division-by-completed-percentage | [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.
References (1)
ctx:claims/beam/d70803a6-31c4-459f-b91a-f6cf7b7a488c- full textbeam-chunktext/plain1 KB
doc:beam/d70803a6-31c4-459f-b91a-f6cf7b7a488cShow excerpt
remaining_effort = total_effort * remaining_percentage / completed_percentage print(f'Remaining effort: {remaining_effort:.2f} hours') ``` ->-> 8,19 [Turn 7451] Assistant: Certainly! To estimate the effort required to complete the remainin…
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.