Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-16T11:42:41.019182Z
Paper Citation Record · LEDGER
On the Boolean Network Theory of Datalog$^\neg$
As of 18 August 2026, this Paper Citation Record lists 15 of 15 outbound references and 0 inbound Pith citation observations for arXiv:2504.15417.
A citation records a reference. It does not transfer a finding from one paper to another.
Coverage vector
One-hop event checks from named stored sources.
Source: scholarly_work_events, retraction_status_cache, observed 2026-08-18T06:34:40.430872+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links
A source-named dated measurement, never combined with another source.
Source: cited_works
Reference resolution
15 of 15 outbound references displayed
- verified exact2
- verified fuzzy7
- unresolved6
- parse uncertain0
- malformed identifier0
- metadata mismatch0
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation e9372f18-e641-44dd-bfb5-5530d3ada416 · outbound
This paper cites an unresolved cited work.
On the Boolean Network Theory of Datalog$^\neg$ Unresolved cited work
Reference 6
- Resolution
- unresolved
- raw_fallback, observed 2026-08-16T11:42:41.224595Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 26fc0983-cd88-4072-802f-769d60b86bee · outbound
This paper cites , Knorr, M.
Reference 9
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-16T11:42:41.177757Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 0100d2a7-5b03-4d98-b475-d7aa03ffd225 · outbound
This paper cites On the number of asynchronous attractors in AND-NOT Boolean networks.
On the Boolean Network Theory of Datalog$^\neg$ On the number of asynchronous attractors in AND-NOT Boolean networks
Reference 14
- Resolution
- verified exact
- local_arxiv, observed 2026-08-16T11:42:41.061563Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation f2f6aa8c-76f7-4315-a377-8646f8c1762f · outbound
This paper cites and Yuan, L.
On the Boolean Network Theory of Datalog$^\neg$ and Yuan, L
Reference 15
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-16T11:42:41.132311Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation ac57b0b4-f520-458d-8b35-f0c0fefbecae · outbound
This paper cites Static Analysis of Logic Programs via Boolean Networks.
On the Boolean Network Theory of Datalog$^\neg$ Static Analysis of Logic Programs via Boolean Networks
Reference 1973
- Resolution
- verified exact
- local_arxiv, observed 2026-08-16T11:42:41.100201Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 947eb10b-dc8b-426c-814c-62b2b6dee7fa · outbound
This paper cites an unresolved cited work.
On the Boolean Network Theory of Datalog$^\neg$ Unresolved cited work
Reference 1991
- Resolution
- unresolved
- raw_fallback, observed 2026-08-16T11:42:41.282760Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 6b2f4076-0f5f-4727-8a90-1d8d3e3fe689 · outbound
This paper cites and Hecher, M.
On the Boolean Network Theory of Datalog$^\neg$ and Hecher, M
Reference 1994
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-16T11:42:41.209147Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 43a2f6b2-ebef-455f-9aa2-b53e83089f43 · outbound
This paper cites Bridging abstract dialectical argumentation and Boolean gene regulation.
On the Boolean Network Theory of Datalog$^\neg$ Bridging abstract dialectical argumentation and Boolean gene regulation
Reference 1995
- Resolution
- unresolved
- no resolver link, observed 2026-08-16T11:42:40.956071Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 99ac81b5-3393-4daf-9f0f-4ef33ae3061c · outbound
This paper cites an unresolved cited work.
On the Boolean Network Theory of Datalog$^\neg$ Unresolved cited work
Reference 1999
- Resolution
- unresolved
- raw_fallback, observed 2026-08-16T11:42:41.267920Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 9aa1a1ae-4586-49c1-bd17-971d541f8244 · outbound
This paper cites and Zhao, X.
On the Boolean Network Theory of Datalog$^\neg$ and Zhao, X
Reference 2002
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-16T11:42:41.162603Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 344082a7-1279-4761-b450-bedf3709d4a3 · outbound
This paper cites and Provetti, A.
On the Boolean Network Theory of Datalog$^\neg$ and Provetti, A
Reference 2006
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-16T11:42:41.253301Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 331cfebb-a92a-4c09-bf15-582588c108e6 · outbound
This paper cites , Dvor´ak, W.
On the Boolean Network Theory of Datalog$^\neg$ , Dvor´ak, W
Reference 2014
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-16T11:42:41.238677Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation cadac783-1a58-476e-a8a3-f9218befa40c · outbound
This paper cites and Schlipf, J.
On the Boolean Network Theory of Datalog$^\neg$ and Schlipf, J
Reference 2020
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-16T11:42:41.147634Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 86a8dbbb-866a-4c5f-b425-e606cddd6dd7 · outbound
This paper cites an unresolved cited work.
On the Boolean Network Theory of Datalog$^\neg$ Unresolved cited work
Reference 2023
- Resolution
- unresolved
- raw_fallback, observed 2026-08-16T11:42:41.192973Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 9ae1af32-db3c-4ab3-8e12-4b674e089a92 · outbound
This paper cites mpbn: a simple tool for efficient edition and analysis of elementary properties of Boolean networks.
On the Boolean Network Theory of Datalog$^\neg$ mpbn: a simple tool for efficient edition and analysis of elementary properties of Boolean networks
Reference 2024
- Resolution
- unresolved
- no resolver link, observed 2026-08-16T11:42:41.009138Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Pith citing papers
No inbound Pith citation observations are available.