Citation notice #10517 · 2026-08-16 06:31:06.339917+00:00

Discrete Linear Ensemble Logic

cites Demir et al, which carries a correction notice dated 2012-04-10. One-hop deterministic notice: the citation edge exists in the Pith bibliography graph; no model judged whether the citation was load-bearing.

This is not a judgment on the citing paper.

Citing paper Event page Original DOI Notice DOI File a formal challenge All reference changes

01Evidence

Raw extraction · citation context · bibliography index 7

lics/BresolinMSS11.html [6] D. C. Cooper. Theorem proving in arithmetic without multiplication. In Bernard Meltzer and Donald Michie, editors,Machine Intelligence, volume 7, pages 91-99. Edinburgh University Press, Edinburgh, 1972. [7] E. Demir et al. The BioPAX community standard for pathway data sharing.Nature Biotechnology, 28:935-942, 2010.https://doi.org/10.1038/nbt.1666 [8] J. Fan, X. Li, Y. Huang, X. Hao, L. Cui, GQ Zhang. Ensemble logic for symbolic representation of sleep medicine guidelines. InProceedings of AMIA 2026, 10 pages, in press. [9] M. Furst, J. B. Saxe, and M. Sipser. Parity, circuits, and the polynomial-time hierarchy.Mathematical Systems Theory, 17(1):13-27, 1984. [10] J. Håstad. Almost optimal lower bounds for small depth circuits.

Parser render (TeX stripped for reading; raw above is the evidence)

lics/BresolinMSS11.html [6] D. C. Cooper. Theorem proving in arithmetic without multiplication. In Bernard Meltzer and Donald Michie, editors,Machine Intelligence, volume 7, pages 91-99. Edinburgh University Press, Edinburgh, 1972. [7] E. Demir et al. The BioPAX community standard for pathway data sharing.Nature Biotechnology, 28:935-942, 2010.https://doi.org/10.1038/nbt.1666 [8] J. Fan, X. Li, Y. Huang, X. Hao, L. Cui, GQ Zhang. Ensemble logic for symbolic representation of sleep medicine guidelines. InProceedings of AMIA 2026, 10 pages, in press. [9] M. Furst, J. B. Saxe, and M. Sipser. Parity, circuits, and the polynomial-time hierarchy.Mathematical Systems Theory, 17(1):13-27, 1984. [10] J. Håstad. Almost optimal lower bounds for small depth circuits

02Event

Type

Correction

Source

Crossref

Original DOI

10.1038/nbt.1666

Notice DOI

10.1038/nbt0412-365c

Date

2012-04-10

Title

Erratum: Corrigendum: The BioPAX community standard for pathway data sharing

Reasons

['Erratum']

Work

Demir et al (2010)

Schema constants (for re-runners): correction · crossref

03Dispute this notice

If this citation does not depend on the flagged claim, or the event is wrong, say so. Disputes are public. For a signed challenge against the paper itself, use the formal challenge form.