Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-14T13:30:30.886597Z
Paper Citation Record · LEDGER
Studying Algebraic Structures using Prover9 and Mace4
As of 16 August 2026, this Paper Citation Record lists 11 of 11 outbound references and 0 inbound Pith citation observations for arXiv:1908.06479.
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-16T06:30:59.297886+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
11 of 11 outbound references displayed
- verified exact0
- verified fuzzy3
- unresolved8
- parse uncertain0
- malformed identifier0
- metadata mismatch0
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation 61870893-62dd-4120-b5ae-8b4f9aa387ca · outbound
This paper cites an unresolved cited work.
Studying Algebraic Structures using Prover9 and Mace4 Unresolved cited work
Reference 1
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T13:30:31.027832Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation d113d35d-c955-4519-ad64-f7d5c2566a16 · outbound
This paper cites an unresolved cited work.
Studying Algebraic Structures using Prover9 and Mace4 Unresolved cited work
Reference 2
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T13:30:31.018010Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 92c82c64-1982-45d3-8ee6-4bbd78b8f57b · outbound
This paper cites an unresolved cited work.
Studying Algebraic Structures using Prover9 and Mace4 Unresolved cited work
Reference 3
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T13:30:31.006870Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 90ae3bd8-24ef-4fc6-839e-76c43b0a2082 · outbound
This paper cites an unresolved cited work.
Studying Algebraic Structures using Prover9 and Mace4 Unresolved cited work
Reference 4
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T13:30:30.995403Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 375a4b5e-9bd3-4496-8de4-e70703c5eab8 · outbound
This paper cites an unresolved cited work.
Studying Algebraic Structures using Prover9 and Mace4 Unresolved cited work
Reference 5
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T13:30:30.985112Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 3a9feb3b-804f-4fe4-8056-a66efe6c4f0b · outbound
This paper cites The role and function of proof in mat hematics.
Studying Algebraic Structures using Prover9 and Mace4 The role and function of proof in mat hematics
Reference 6
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T13:30:30.973773Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 7f1f0a5b-92bd-4d70-8137-41de4052f404 · outbound
This paper cites /suppress Lukasiewicz and A.
Studying Algebraic Structures using Prover9 and Mace4 /suppress Lukasiewicz and A
Reference 7
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T13:30:30.960763Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation ff6ba6a2-f1a0-455d-9ba0-db201ab8b565 · outbound
This paper cites an unresolved cited work.
Studying Algebraic Structures using Prover9 and Mace4 Unresolved cited work
Reference 8
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T13:30:30.950232Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation cb0ff09f-a623-4ce0-bf3c-b184fe3ef601 · outbound
This paper cites Solution of the Robbins problem.
Studying Algebraic Structures using Prover9 and Mace4 Solution of the Robbins problem
Reference 9
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T13:30:30.939902Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 0c96bf46-c392-4caf-a8a1-55193f53442d · outbound
This paper cites an unresolved cited work.
Studying Algebraic Structures using Prover9 and Mace4 Unresolved cited work
Reference 10
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T13:30:30.929764Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 73c190b6-c019-4204-a44f-33275826f292 · outbound
This paper cites an unresolved cited work.
Studying Algebraic Structures using Prover9 and Mace4 Unresolved cited work
Reference 11
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T13:30:30.918843Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Pith citing papers
No inbound Pith citation observations are available.