Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-05T11:30:02.974352Z
Paper Citation Record · LEDGER
An Ontology-Based Approach to Optimizing Geometry Problem Sets for Skill Development
As of 23 August 2026, this Paper Citation Record lists 39 of 39 outbound references and 0 inbound Pith citation observations for arXiv:2509.02758.
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-23T06:30:58.430688+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
39 of 39 outbound references displayed
- verified exact0
- verified fuzzy26
- unresolved13
- parse uncertain0
- malformed identifier0
- metadata mismatch0
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation f0b12fc1-f80f-4841-bead-5a86e01514f2 · outbound
This paper cites Knowledge Engineering and the Semantic Web (KESW 2014) , editor =.
An Ontology-Based Approach to Optimizing Geometry Problem Sets for Skill Development Knowledge Engineering and the Semantic Web (KESW 2014) , editor =
Reference 1
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T11:30:03.403933Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 056e524b-310a-406c-9833-2f68fb940b64 · outbound
This paper cites Education and Information Technologies , year =.
An Ontology-Based Approach to Optimizing Geometry Problem Sets for Skill Development Education and Information Technologies , year =
Reference 2
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T11:30:03.393750Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 553692ac-157e-407d-bc4f-b2d593a14ccd · outbound
This paper cites an unresolved cited work.
An Ontology-Based Approach to Optimizing Geometry Problem Sets for Skill Development Unresolved cited work
Reference 3
- Resolution
- unresolved
- raw_fallback, observed 2026-08-05T11:30:03.382070Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 12f842aa-e1a1-42bd-ae48-433fff73f8a7 · outbound
This paper cites Automated Deduction -- CADE 28 , series =.
An Ontology-Based Approach to Optimizing Geometry Problem Sets for Skill Development Automated Deduction -- CADE 28 , series =
Reference 4
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T11:30:03.371828Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 0dcff680-ac76-456b-957e-26f33516bc94 · outbound
This paper cites Educational Studies in Mathematics , year =.
An Ontology-Based Approach to Optimizing Geometry Problem Sets for Skill Development Educational Studies in Mathematics , year =
Reference 5
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T11:30:03.361522Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 12776f6b-66c8-4fc7-8743-821fa6416484 · outbound
This paper cites 1956 , publisher =.
An Ontology-Based Approach to Optimizing Geometry Problem Sets for Skill Development 1956 , publisher =
Reference 6
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T11:30:03.350924Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 598b97de-d99f-43cf-bb23-dff7c9f4b69d · outbound
This paper cites 1973 , publisher =.
An Ontology-Based Approach to Optimizing Geometry Problem Sets for Skill Development 1973 , publisher =
Reference 7
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T11:30:03.339824Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation ee9b65fb-483e-418a-af7c-53d114d31f97 · outbound
This paper cites 1983 , publisher =.
An Ontology-Based Approach to Optimizing Geometry Problem Sets for Skill Development 1983 , publisher =
Reference 8
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T11:30:03.329298Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 667e84ac-0257-4861-8882-684dd617d3e6 · outbound
This paper cites an unresolved cited work.
An Ontology-Based Approach to Optimizing Geometry Problem Sets for Skill Development Unresolved cited work
Reference 9
- Resolution
- unresolved
- raw_fallback, observed 2026-08-05T11:30:03.319144Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation bff7f7ef-d3f3-49f5-b327-0be308d86d07 · outbound
This paper cites an unresolved cited work.
An Ontology-Based Approach to Optimizing Geometry Problem Sets for Skill Development Unresolved cited work
Reference 10
- Resolution
- unresolved
- raw_fallback, observed 2026-08-05T11:30:03.308686Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation a65eb1fd-6d92-4fc9-b5f6-497d96d4af0a · outbound
This paper cites an unresolved cited work.
An Ontology-Based Approach to Optimizing Geometry Problem Sets for Skill Development Unresolved cited work
Reference 11
- Resolution
- unresolved
- raw_fallback, observed 2026-08-05T11:30:03.298503Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 69b237f5-65bf-45a8-bba5-0bb6d426ce2d · outbound
This paper cites 2018 , note =.
An Ontology-Based Approach to Optimizing Geometry Problem Sets for Skill Development 2018 , note =
Reference 12
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T11:30:03.287757Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation d632433c-fabb-4545-ae9d-2b3cf7bc5a56 · outbound
This paper cites , title =.
An Ontology-Based Approach to Optimizing Geometry Problem Sets for Skill Development , title =
Reference 13
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T11:30:03.277367Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation adc0690e-bf6c-4255-ae83-fc48d3404b05 · outbound
This paper cites 1971 , publisher =.
An Ontology-Based Approach to Optimizing Geometry Problem Sets for Skill Development 1971 , publisher =
Reference 14
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T11:30:03.266779Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 9ae0dc2a-aef6-4343-a638-a735efe61c46 · outbound
This paper cites ZDM -- Mathematics Education , year =.
An Ontology-Based Approach to Optimizing Geometry Problem Sets for Skill Development ZDM -- Mathematics Education , year =
Reference 15
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T11:30:03.255671Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 021c4efa-a43c-495c-9b92-1823e712ab81 · outbound
This paper cites 1973 , publisher =.
An Ontology-Based Approach to Optimizing Geometry Problem Sets for Skill Development 1973 , publisher =
Reference 16
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T11:30:03.245205Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 9cc5dec8-79d2-4174-a342-5abfb3efc55e · outbound
This paper cites an unresolved cited work.
An Ontology-Based Approach to Optimizing Geometry Problem Sets for Skill Development Unresolved cited work
Reference 17
- Resolution
- unresolved
- raw_fallback, observed 2026-08-05T11:30:03.234461Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 46571521-140c-4618-af1e-81a2d8196153 · outbound
This paper cites an unresolved cited work.
An Ontology-Based Approach to Optimizing Geometry Problem Sets for Skill Development Unresolved cited work
Reference 18
- Resolution
- unresolved
- raw_fallback, observed 2026-08-05T11:30:03.223829Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 5fa43f1f-85ec-4f5b-bbf4-5a691d82cfd8 · outbound
This paper cites an unresolved cited work.
An Ontology-Based Approach to Optimizing Geometry Problem Sets for Skill Development Unresolved cited work
Reference 19
- Resolution
- unresolved
- raw_fallback, observed 2026-08-05T11:30:03.214291Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 2e3fee05-21ca-4464-bd5f-2bb4618c348c · outbound
This paper cites an unresolved cited work.
An Ontology-Based Approach to Optimizing Geometry Problem Sets for Skill Development Unresolved cited work
Reference 20
- Resolution
- unresolved
- raw_fallback, observed 2026-08-05T11:30:03.204338Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation e44d28a4-7f41-45fe-b2d2-b33cf2a74c87 · outbound
This paper cites and Ramani, Srinivasan , title =.
An Ontology-Based Approach to Optimizing Geometry Problem Sets for Skill Development and Ramani, Srinivasan , title =
Reference 21
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T11:30:03.194528Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 7df54ce8-5465-45ae-9efb-ce60bd983ada · outbound
This paper cites Semantic Web , year =.
An Ontology-Based Approach to Optimizing Geometry Problem Sets for Skill Development Semantic Web , year =
Reference 22
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T11:30:03.184326Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 2e3a2d4a-6399-483b-885c-670c6e7c972e · outbound
This paper cites A Survey on Deep Learning for Theorem Proving.
An Ontology-Based Approach to Optimizing Geometry Problem Sets for Skill Development A Survey on Deep Learning for Theorem Proving
Reference 23
- Resolution
- unresolved
- no resolver link, observed 2026-08-05T11:30:02.918053Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation f78f7e33-ccef-4850-a9b3-070748025ffd · outbound
This paper cites Proceedings of the 41st International Conference on Machine Learning (ICML 2024) , series =.
An Ontology-Based Approach to Optimizing Geometry Problem Sets for Skill Development Proceedings of the 41st International Conference on Machine Learning (ICML 2024) , series =
Reference 24
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T11:30:03.174357Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 4bb3eb97-a988-4923-b34e-7371f9874267 · outbound
This paper cites Computer-assisted theorem proving in synthetic geometry , booktitle =.
An Ontology-Based Approach to Optimizing Geometry Problem Sets for Skill Development Computer-assisted theorem proving in synthetic geometry , booktitle =
Reference 25
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T11:30:03.163516Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 74d2d727-1422-4d13-b50f-816f935eba23 · outbound
This paper cites Generative Language Modeling for Automated Theorem Proving.
An Ontology-Based Approach to Optimizing Geometry Problem Sets for Skill Development Generative Language Modeling for Automated Theorem Proving
Reference 26
- Resolution
- unresolved
- no resolver link, observed 2026-08-05T11:30:02.929282Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation aed83de6-2c53-4f1a-b638-cdc5658e8774 · outbound
This paper cites Computer Aided Verification (CAV 2025) , series =.
An Ontology-Based Approach to Optimizing Geometry Problem Sets for Skill Development Computer Aided Verification (CAV 2025) , series =
Reference 27
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T11:30:03.152285Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation e38930f9-ce10-476b-b2cc-324eb24492b8 · outbound
This paper cites an unresolved cited work.
An Ontology-Based Approach to Optimizing Geometry Problem Sets for Skill Development Unresolved cited work
Reference 28
- Resolution
- unresolved
- raw_fallback, observed 2026-08-05T11:30:03.142431Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 642fa094-5fe8-449a-9f1f-86e714338636 · outbound
This paper cites and de Villiers, Michael and Jones, Keith and Kortenkamp, Ulrich and Leung, Allen and Owens, Kay , title =.
An Ontology-Based Approach to Optimizing Geometry Problem Sets for Skill Development and de Villiers, Michael and Jones, Keith and Kortenkamp, Ulrich and Leung, Allen and Owens, Kay , title =
Reference 29
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T11:30:03.132651Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 5903be1a-5008-4701-900c-964c24ff32e0 · outbound
This paper cites LeanGeo: Formalizing Competitional Geometry problems in Lean.
An Ontology-Based Approach to Optimizing Geometry Problem Sets for Skill Development LeanGeo: Formalizing Competitional Geometry problems in Lean
Reference 30
- Resolution
- unresolved
- no resolver link, observed 2026-08-05T11:30:02.943095Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 44cbf410-05ff-4ffa-898e-22e9a90f2372 · outbound
This paper cites and Senk, Sharon L.
An Ontology-Based Approach to Optimizing Geometry Problem Sets for Skill Development and Senk, Sharon L
Reference 31
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T11:30:03.122429Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation ceac38fb-4a47-4c51-bebd-27212a6dcd3f · outbound
This paper cites an unresolved cited work.
An Ontology-Based Approach to Optimizing Geometry Problem Sets for Skill Development Unresolved cited work
Reference 32
- Resolution
- unresolved
- raw_fallback, observed 2026-08-05T11:30:03.112156Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 0fe5a1fa-ac1d-4e06-b900-240249bfa489 · outbound
This paper cites , title =.
An Ontology-Based Approach to Optimizing Geometry Problem Sets for Skill Development , title =
Reference 33
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T11:30:03.101253Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation d173a856-06d5-4343-8958-ff8980f02c20 · outbound
This paper cites and Stylianides, Andreas J.
An Ontology-Based Approach to Optimizing Geometry Problem Sets for Skill Development and Stylianides, Andreas J
Reference 34
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T11:30:03.090943Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 62fdc124-a125-41d3-b3cb-ac1e0ee1b3bb · outbound
This paper cites and Wu, Yuhuai and Le, Quoc V.
An Ontology-Based Approach to Optimizing Geometry Problem Sets for Skill Development and Wu, Yuhuai and Le, Quoc V
Reference 35
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T11:30:03.080145Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation b0ead527-9971-4c14-952a-be35eed7492c · outbound
This paper cites 1982 , note =.
An Ontology-Based Approach to Optimizing Geometry Problem Sets for Skill Development 1982 , note =
Reference 36
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T11:30:03.069106Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 633f19ea-8d20-4838-86c4-99611c2fa9ed · outbound
This paper cites , title =.
An Ontology-Based Approach to Optimizing Geometry Problem Sets for Skill Development , title =
Reference 37
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T11:30:03.057522Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation ba086476-a9bf-41a0-886e-7348a68f7f14 · outbound
This paper cites , title =.
An Ontology-Based Approach to Optimizing Geometry Problem Sets for Skill Development , title =
Reference 38
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T11:30:03.046713Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 06a148e3-7412-428e-bc5a-002f9119e24e · outbound
This paper cites WDS'12 Proceedings of Contributed Papers, Part I , year =.
An Ontology-Based Approach to Optimizing Geometry Problem Sets for Skill Development WDS'12 Proceedings of Contributed Papers, Part I , year =
Reference 39
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T11:30:03.035127Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Pith citing papers
No inbound Pith citation observations are available.