Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-07T05:18:58.795184Z
Paper Citation Record · LEDGER
Z3Guide: A Scalable, Student-Centered, and Extensible Educational Environment for Logic Modeling
As of 20 August 2026, this Paper Citation Record lists 52 of 52 outbound references and 0 inbound Pith citation observations for arXiv:2506.08294.
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-20T06:33:59.587034+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
52 of 52 outbound references displayed
- verified exact3
- verified fuzzy11
- unresolved34
- parse uncertain0
- malformed identifier1
- metadata mismatch3
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation b722f0c7-476b-4eca-975f-d483735cbf39 · outbound
This paper cites rise4fun.com web page is down·Z3Prover/z3·Discussion #5473.
Z3Guide: A Scalable, Student-Centered, and Extensible Educational Environment for Logic Modeling rise4fun.com web page is down·Z3Prover/z3·Discussion #5473
Reference 1
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T05:19:11.309101Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 6cfa38e4-2ae7-4fa4-8fc5-57cc151a4d89 · outbound
This paper cites Alloy4fun.
Z3Guide: A Scalable, Student-Centered, and Extensible Educational Environment for Logic Modeling Alloy4fun
Reference 2
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T05:19:11.115021Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 97bedd6c-1037-4f85-ae1a-05c8dc80d294 · outbound
This paper cites Build optimized websites quickly, focus on your content: Docusaurus.
Z3Guide: A Scalable, Student-Centered, and Extensible Educational Environment for Logic Modeling Build optimized websites quickly, focus on your content: Docusaurus
Reference 3
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T05:19:10.910812Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 98e58544-42df-4889-9a14-4887dcc2d1d7 · outbound
This paper cites an unresolved cited work.
Z3Guide: A Scalable, Student-Centered, and Extensible Educational Environment for Logic Modeling Unresolved cited work
Reference 4
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T05:19:10.715755Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 9c78daff-9b63-42c2-9684-291494e1f367 · outbound
This paper cites Digital Learning Platform.
Z3Guide: A Scalable, Student-Centered, and Extensible Educational Environment for Logic Modeling Digital Learning Platform
Reference 5
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T05:19:10.395422Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 78254662-ff49-4f1a-8df6-c93556a35711 · outbound
This paper cites GitHub Codespaces.
Z3Guide: A Scalable, Student-Centered, and Extensible Educational Environment for Logic Modeling GitHub Codespaces
Reference 6
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T05:19:10.094737Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 85cf9fe1-f5ab-4406-900a-455b622f6493 · outbound
This paper cites Stepik is an educational marketplace and online course editor.
Z3Guide: A Scalable, Student-Centered, and Extensible Educational Environment for Logic Modeling Stepik is an educational marketplace and online course editor
Reference 7
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T05:19:09.810568Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation da404d3c-0713-49a1-9283-61eb55dda122 · outbound
This paper cites Web Assembly.
Z3Guide: A Scalable, Student-Centered, and Extensible Educational Environment for Logic Modeling Web Assembly
Reference 8
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T05:19:09.528274Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation eb64fa03-66ef-4eab-a36f-77ef014c21da · outbound
This paper cites Online Guide for SAGE.
Z3Guide: A Scalable, Student-Centered, and Extensible Educational Environment for Logic Modeling Online Guide for SAGE
Reference 9
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T05:19:09.297061Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 759054bf-8aa1-401a-8ecf-f37902ba8caf · outbound
This paper cites Sage Tutorial.
Z3Guide: A Scalable, Student-Centered, and Extensible Educational Environment for Logic Modeling Sage Tutorial
Reference 10
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T05:19:09.061396Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 3c7608f1-9517-4b27-a0e3-fe86af99b97a · outbound
This paper cites an unresolved cited work.
Z3Guide: A Scalable, Student-Centered, and Extensible Educational Environment for Logic Modeling Unresolved cited work
Reference 11
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T05:19:08.701128Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation bcab924a-af98-496d-b660-6264d31baf56 · outbound
This paper cites an unresolved cited work.
Z3Guide: A Scalable, Student-Centered, and Extensible Educational Environment for Logic Modeling Unresolved cited work
Reference 12
- Resolution
- verified exact
- doi, observed 2026-08-07T05:18:59.480064Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 3a5467d7-b64f-4542-ae67-32c666471dd0 · outbound
This paper cites an unresolved cited work.
Z3Guide: A Scalable, Student-Centered, and Extensible Educational Environment for Logic Modeling Unresolved cited work
Reference 13
- Resolution
- metadata mismatch
- raw_fallback, observed 2026-08-07T05:19:01.138121Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 26c8e55d-fc54-459f-9b4d-0c0dbec7b5cf · outbound
This paper cites an unresolved cited work.
Z3Guide: A Scalable, Student-Centered, and Extensible Educational Environment for Logic Modeling Unresolved cited work
Reference 14
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T05:19:08.452024Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 3416b8bc-c1cc-4500-af0b-5996593e4da2 · outbound
This paper cites an unresolved cited work.
Z3Guide: A Scalable, Student-Centered, and Extensible Educational Environment for Logic Modeling Unresolved cited work
Reference 15
- Resolution
- unresolved
- no resolver link, observed 2026-08-07T05:18:52.881510Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 125e06c5-98a2-41ce-af61-2ebb0134b289 · outbound
This paper cites an unresolved cited work.
Z3Guide: A Scalable, Student-Centered, and Extensible Educational Environment for Logic Modeling Unresolved cited work
Reference 16
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T05:19:08.193981Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 164e01fe-66a1-4f44-9693-0a50821a173f · outbound
This paper cites an unresolved cited work.
Z3Guide: A Scalable, Student-Centered, and Extensible Educational Environment for Logic Modeling Unresolved cited work
Reference 17
- Resolution
- unresolved
- no resolver link, observed 2026-08-07T05:18:53.210343Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 88c8219a-8b01-44cb-8db4-bce01046b5ab · outbound
This paper cites an unresolved cited work.
Z3Guide: A Scalable, Student-Centered, and Extensible Educational Environment for Logic Modeling Unresolved cited work
Reference 18
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T05:19:07.873828Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 61ce53c0-ddfa-47a8-84f7-f7dcc107797c · outbound
This paper cites an unresolved cited work.
Z3Guide: A Scalable, Student-Centered, and Extensible Educational Environment for Logic Modeling Unresolved cited work
Reference 19
- Resolution
- malformed identifier
- no resolver link, observed 2026-08-07T05:18:53.531141Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 2b9f4db6-2680-4500-99c2-08c8a8f31e13 · outbound
This paper cites an unresolved cited work.
Z3Guide: A Scalable, Student-Centered, and Extensible Educational Environment for Logic Modeling Unresolved cited work
Reference 20
- Resolution
- unresolved
- no resolver link, observed 2026-08-07T05:18:53.694611Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation ef6fe580-e052-4a58-aa99-abe9c09ff02a · outbound
This paper cites an unresolved cited work.
Z3Guide: A Scalable, Student-Centered, and Extensible Educational Environment for Logic Modeling Unresolved cited work
Reference 21
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T05:19:07.617588Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 1544d03f-b490-47a4-b27e-1be5c36c0bbe · outbound
This paper cites an unresolved cited work.
Z3Guide: A Scalable, Student-Centered, and Extensible Educational Environment for Logic Modeling Unresolved cited work
Reference 22
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T05:19:07.322136Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 7cf65440-7729-467f-a146-7c192a1851ca · outbound
This paper cites an unresolved cited work.
Z3Guide: A Scalable, Student-Centered, and Extensible Educational Environment for Logic Modeling Unresolved cited work
Reference 23
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T05:19:06.999736Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation d483ca5a-3c98-451e-b082-3894c620cce7 · outbound
This paper cites an unresolved cited work.
Z3Guide: A Scalable, Student-Centered, and Extensible Educational Environment for Logic Modeling Unresolved cited work
Reference 24
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T05:19:06.680625Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 743d56f6-9f92-425d-8e76-b86c1443290e · outbound
This paper cites an unresolved cited work.
Z3Guide: A Scalable, Student-Centered, and Extensible Educational Environment for Logic Modeling Unresolved cited work
Reference 25
- Resolution
- unresolved
- no resolver link, observed 2026-08-07T05:18:54.551126Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 3cf19b99-cb5a-4e4c-9ff4-0b9f2c618bf0 · outbound
This paper cites Iltis: Learning Logic in the Web.
Z3Guide: A Scalable, Student-Centered, and Extensible Educational Environment for Logic Modeling Iltis: Learning Logic in the Web
Reference 26
- Resolution
- verified exact
- local_arxiv, observed 2026-08-07T05:19:00.691352Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 1333a069-61eb-4f5d-bfcf-fa583347f464 · outbound
This paper cites an unresolved cited work.
Z3Guide: A Scalable, Student-Centered, and Extensible Educational Environment for Logic Modeling Unresolved cited work
Reference 27
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T05:19:06.386631Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation bd6cc8c0-c4c5-4869-b62f-627b00bd2a7a · outbound
This paper cites Goualard and F.
Z3Guide: A Scalable, Student-Centered, and Extensible Educational Environment for Logic Modeling Goualard and F
Reference 28
- Resolution
- metadata mismatch
- raw_fallback, observed 2026-08-07T05:19:00.435707Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 6b76c24e-b7cc-4edb-be23-351cd5426342 · outbound
This paper cites an unresolved cited work.
Z3Guide: A Scalable, Student-Centered, and Extensible Educational Environment for Logic Modeling Unresolved cited work
Reference 29
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T05:19:06.057458Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation b405614c-a3db-4cf6-b1f1-e24d1cc0579a · outbound
This paper cites an unresolved cited work.
Z3Guide: A Scalable, Student-Centered, and Extensible Educational Environment for Logic Modeling Unresolved cited work
Reference 30
- Resolution
- unresolved
- no resolver link, observed 2026-08-07T05:18:55.435195Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 782d28c8-6c49-4601-bfa1-f181d54f44ed · outbound
This paper cites an unresolved cited work.
Z3Guide: A Scalable, Student-Centered, and Extensible Educational Environment for Logic Modeling Unresolved cited work
Reference 31
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T05:19:05.739177Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 617d12b9-9553-4f91-a5bb-744443044a57 · outbound
This paper cites an unresolved cited work.
Z3Guide: A Scalable, Student-Centered, and Extensible Educational Environment for Logic Modeling Unresolved cited work
Reference 32
- Resolution
- unresolved
- no resolver link, observed 2026-08-07T05:18:55.649705Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation a7bbf284-aed7-4043-af0f-d82b56df1c00 · outbound
This paper cites Guo, and Sorin Lerner.
Z3Guide: A Scalable, Student-Centered, and Extensible Educational Environment for Logic Modeling Guo, and Sorin Lerner
Reference 33
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T05:19:05.442398Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 42a78cf4-967b-4d5f-945f-7a1d5fa21c9b · outbound
This paper cites an unresolved cited work.
Z3Guide: A Scalable, Student-Centered, and Extensible Educational Environment for Logic Modeling Unresolved cited work
Reference 34
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T05:19:05.153732Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 74bd1ccb-601f-4b68-b20c-52a87bae8e09 · outbound
This paper cites an unresolved cited work.
Z3Guide: A Scalable, Student-Centered, and Extensible Educational Environment for Logic Modeling Unresolved cited work
Reference 35
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T05:19:04.867747Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 8e4e0954-9080-446e-a7ee-7d5467ee36aa · outbound
This paper cites 2013.Computer Science Curricula 2013: Curriculum Guidelines for Undergraduate Degree Programs in Computer Science.
Z3Guide: A Scalable, Student-Centered, and Extensible Educational Environment for Logic Modeling 2013.Computer Science Curricula 2013: Curriculum Guidelines for Undergraduate Degree Programs in Computer Science
Reference 36
- Resolution
- unresolved
- no resolver link, observed 2026-08-07T05:18:56.437533Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 943d4b7c-6a45-49e1-b6d1-63c89ccda2d2 · outbound
This paper cites an unresolved cited work.
Z3Guide: A Scalable, Student-Centered, and Extensible Educational Environment for Logic Modeling Unresolved cited work
Reference 37
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T05:19:04.463416Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation bfb0022a-8007-44e8-a7bb-50e2a2b08c0c · outbound
This paper cites an unresolved cited work.
Z3Guide: A Scalable, Student-Centered, and Extensible Educational Environment for Logic Modeling Unresolved cited work
Reference 38
- Resolution
- metadata mismatch
- raw_fallback, observed 2026-08-07T05:18:59.979185Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 4f4d3e26-acf2-4507-8522-ce52f334aff7 · outbound
This paper cites an unresolved cited work.
Z3Guide: A Scalable, Student-Centered, and Extensible Educational Environment for Logic Modeling Unresolved cited work
Reference 39
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T05:19:04.191426Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation bfd04dc3-3814-4a9c-91fc-e54942a9c708 · outbound
This paper cites an unresolved cited work.
Z3Guide: A Scalable, Student-Centered, and Extensible Educational Environment for Logic Modeling Unresolved cited work
Reference 40
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T05:19:03.902089Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 2460586d-f698-44ce-b42a-f1895041dab6 · outbound
This paper cites an unresolved cited work.
Z3Guide: A Scalable, Student-Centered, and Extensible Educational Environment for Logic Modeling Unresolved cited work
Reference 41
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T05:19:03.538244Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 214f7928-eda5-458b-b1bd-3b2d26894217 · outbound
This paper cites Paiva, Miguel Sozinho Ramalho, and Daniel Silva.
Z3Guide: A Scalable, Student-Centered, and Extensible Educational Environment for Logic Modeling Paiva, Miguel Sozinho Ramalho, and Daniel Silva
Reference 42
- Resolution
- unresolved
- no resolver link, observed 2026-08-07T05:18:57.394977Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation b47357b6-88ba-4234-997e-b0e3236859df · outbound
This paper cites Pierce, Arthur Azevedo de Amorim, Chris Casinghino, Marco Gaboardi, Michael Greenberg, Cˇatˇalin Hriţcu, Vilhelm Sjöberg, and Brent Yorgey.
Z3Guide: A Scalable, Student-Centered, and Extensible Educational Environment for Logic Modeling Pierce, Arthur Azevedo de Amorim, Chris Casinghino, Marco Gaboardi, Michael Greenberg, Cˇatˇalin Hriţcu, Vilhelm Sjöberg, and Brent Yorgey
Reference 43
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T05:19:03.199914Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 7f9f6cf2-3b32-432b-8225-d29e5229213e · outbound
This paper cites an unresolved cited work.
Z3Guide: A Scalable, Student-Centered, and Extensible Educational Environment for Logic Modeling Unresolved cited work
Reference 44
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T05:19:02.922836Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 6f87eb9c-c232-44c9-97db-ed0f2b91abea · outbound
This paper cites an unresolved cited work.
Z3Guide: A Scalable, Student-Centered, and Extensible Educational Environment for Logic Modeling Unresolved cited work
Reference 45
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T05:19:02.644117Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation b22f637c-1549-4f27-a7af-f4d1b5f3e06a · outbound
This paper cites an unresolved cited work.
Z3Guide: A Scalable, Student-Centered, and Extensible Educational Environment for Logic Modeling Unresolved cited work
Reference 46
- Resolution
- unresolved
- no resolver link, observed 2026-08-07T05:18:58.014962Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 1eff98fb-bd3c-4f8e-8b4b-bcccc3321f7c · outbound
This paper cites an unresolved cited work.
Z3Guide: A Scalable, Student-Centered, and Extensible Educational Environment for Logic Modeling Unresolved cited work
Reference 47
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T05:19:02.257084Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation ab6494b9-b215-48b6-8803-439dfd6614ee · outbound
This paper cites an unresolved cited work.
Z3Guide: A Scalable, Student-Centered, and Extensible Educational Environment for Logic Modeling Unresolved cited work
Reference 48
- Resolution
- verified exact
- doi, observed 2026-08-07T05:18:59.113695Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation c44cbaf2-63db-43ce-b0b9-536f27e126fc · outbound
This paper cites an unresolved cited work.
Z3Guide: A Scalable, Student-Centered, and Extensible Educational Environment for Logic Modeling Unresolved cited work
Reference 49
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T05:19:01.844063Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 14ff760e-2cf3-409d-954a-ca84e05cf6b8 · outbound
This paper cites Tree of Thoughts: Deliberate Problem Solving with Large Language Models.
Z3Guide: A Scalable, Student-Centered, and Extensible Educational Environment for Logic Modeling Tree of Thoughts: Deliberate Problem Solving with Large Language Models
Reference 50
- Resolution
- unresolved
- no resolver link, observed 2026-08-07T05:18:58.656025Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation be237ae6-9748-4a5a-8c12-5c3a5606daf4 · outbound
This paper cites an unresolved cited work.
Z3Guide: A Scalable, Student-Centered, and Extensible Educational Environment for Logic Modeling Unresolved cited work
Reference 51
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T05:19:01.526673Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation d07d0e42-3e65-4b76-83e7-d42ccbba344a · outbound
This paper cites an unresolved cited work.
Z3Guide: A Scalable, Student-Centered, and Extensible Educational Environment for Logic Modeling Unresolved cited work
Reference 316
- Resolution
- unresolved
- no resolver link, observed 2026-08-07T05:18:55.924534Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Pith citing papers
No inbound Pith citation observations are available.