{"as_of":"2026-08-08T14:39:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:8e6ca8b8d8d4672f1797039698e2a63e98d94e205edb66ba68f32eb0176b2888","coverage":[{"denominator":45,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":45,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-07T13:24:20.450684Z","state":"measured"},{"denominator":45,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":45,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-08T06:32:00.761636+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/2505.22181/citation-record","integrity":"/paper/2505.22181/integrity","json":"/paper/2505.22181/citation-record.json","paper":"/paper/2505.22181"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:24:17.172289Z","title":"ACM TOCL (2003)","venue":null,"work_id":null,"year":2003},"citing_paper":{"arxiv_id":"2505.22181","last_updated":"2025-05-28T09:56:55Z","snapshot_observed_at":"2026-08-08T12:28:37.865045Z","submitted_at":"2025-05-28T09:56:55Z","title":"Term Ordering Diagrams","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-07T13:24:17.172289Z"},"links":{"citing_paper":"/paper/2505.22181"},"observation_digest":"sha256:1b878fdde4bc237d3d442b0ba68cf6197c918ebffdff09b433086856a2eca1e0","observation_id":"2573774d-bd16-46d7-b9f7-3ae4969a285d","resolution":{"observed_at":"2026-08-07T13:24:17.172289Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1023/a:1005879229581","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:24:21.898639Z","title":"Journal of Automated Reasoning (1997)","venue":null,"work_id":"b59aabc8-19c2-4994-a4e0-905932f7c7e0","year":1997},"citing_paper":{"arxiv_id":"2505.22181","last_updated":"2025-05-28T09:56:55Z","snapshot_observed_at":"2026-08-08T12:28:37.865045Z","submitted_at":"2025-05-28T09:56:55Z","title":"Term Ordering Diagrams","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-07T13:24:17.255378Z"},"links":{"citing_paper":"/paper/2505.22181"},"observation_digest":"sha256:bec25967db9b49eff26059fe1889c7ff5a7629ad4a5d1cc4b925c27077cb7c79","observation_id":"a4822f9b-d2a7-474b-86d0-ccaf4b8f3a02","resolution":{"observed_at":"2026-08-07T13:24:21.995624Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:24:17.350999Z","title":"In: IJCAR (2022)","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2505.22181","last_updated":"2025-05-28T09:56:55Z","snapshot_observed_at":"2026-08-08T12:28:37.865045Z","submitted_at":"2025-05-28T09:56:55Z","title":"Term Ordering Diagrams","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-07T13:24:17.350999Z"},"links":{"citing_paper":"/paper/2505.22181"},"observation_digest":"sha256:2f425c9fdf039d5b90483e8960eeb4bc585f597b6aaa2e9606a6ab9d76ee0d4b","observation_id":"ed70df7a-275e-4ebb-afbb-a5b2ffcfa33e","resolution":{"observed_at":"2026-08-07T13:24:17.350999Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:24:17.477643Z","title":"In: IJCAR (2020)","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2505.22181","last_updated":"2025-05-28T09:56:55Z","snapshot_observed_at":"2026-08-08T12:28:37.865045Z","submitted_at":"2025-05-28T09:56:55Z","title":"Term Ordering Diagrams","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-07T13:24:17.477643Z"},"links":{"citing_paper":"/paper/2505.22181"},"observation_digest":"sha256:982ab79aad9489194153f3ffc0f7aaddb7259acdcb4a9f5d0ccc7333a141d8b3","observation_id":"87ee319c-a2f1-45ec-a0a3-2561ba68c2a7","resolution":{"observed_at":"2026-08-07T13:24:17.477643Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:24:26.069090Z","title":"Unpub- lished manuscript (1980)","venue":null,"work_id":"30476b20-7a92-4d39-824e-394d04b8c654","year":1980},"citing_paper":{"arxiv_id":"2505.22181","last_updated":"2025-05-28T09:56:55Z","snapshot_observed_at":"2026-08-08T12:28:37.865045Z","submitted_at":"2025-05-28T09:56:55Z","title":"Term Ordering Diagrams","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-07T13:24:17.568936Z"},"links":{"citing_paper":"/paper/2505.22181"},"observation_digest":"sha256:53742ffc506fce3c7873d591e7fcbf45234e42f62afd40e85812a008174b22bd","observation_id":"de27bd3d-1b81-4538-8a27-3b23282e62a8","resolution":{"observed_at":"2026-08-07T13:24:26.148361Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:24:17.624739Z","title":"In: Automation of Reasoning 2","venue":null,"work_id":null,"year":1983},"citing_paper":{"arxiv_id":"2505.22181","last_updated":"2025-05-28T09:56:55Z","snapshot_observed_at":"2026-08-08T12:28:37.865045Z","submitted_at":"2025-05-28T09:56:55Z","title":"Term Ordering Diagrams","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-07T13:24:17.624739Z"},"links":{"citing_paper":"/paper/2505.22181"},"observation_digest":"sha256:05d5cf8903c661f8720815d19ffbdd5694239fedb2dffedce398dc9aa8187eb1","observation_id":"29e224e7-30dd-4a21-acc8-3e278cacc1d4","resolution":{"observed_at":"2026-08-07T13:24:17.624739Z","resolver_source":null,"status":"malformed_identifier"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:24:17.720644Z","title":"In: IJCAR (2008)","venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"2505.22181","last_updated":"2025-05-28T09:56:55Z","snapshot_observed_at":"2026-08-08T12:28:37.865045Z","submitted_at":"2025-05-28T09:56:55Z","title":"Term Ordering Diagrams","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-07T13:24:17.720644Z"},"links":{"citing_paper":"/paper/2505.22181"},"observation_digest":"sha256:4b08b88bbc437e1172522da04973cc2ac3330262d10ecc46299d88b5eff665ce","observation_id":"8f517c4a-2968-4f11-9b17-4cb01bd3fb2f","resolution":{"observed_at":"2026-08-07T13:24:17.720644Z","resolver_source":null,"status":"malformed_identifier"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:24:17.802589Z","title":"In: ICALP (2001)","venue":null,"work_id":null,"year":2001},"citing_paper":{"arxiv_id":"2505.22181","last_updated":"2025-05-28T09:56:55Z","snapshot_observed_at":"2026-08-08T12:28:37.865045Z","submitted_at":"2025-05-28T09:56:55Z","title":"Term Ordering Diagrams","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-07T13:24:17.802589Z"},"links":{"citing_paper":"/paper/2505.22181"},"observation_digest":"sha256:f64793468ae6b754637c14744d727aa388bfb6f927f2f7394914bcb3227df342","observation_id":"0c0e0c70-4f86-4cbe-8286-4b84e447c0ff","resolution":{"observed_at":"2026-08-07T13:24:17.802589Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:24:17.903036Z","title":"Information and Computation (2003)","venue":null,"work_id":null,"year":2003},"citing_paper":{"arxiv_id":"2505.22181","last_updated":"2025-05-28T09:56:55Z","snapshot_observed_at":"2026-08-08T12:28:37.865045Z","submitted_at":"2025-05-28T09:56:55Z","title":"Term Ordering Diagrams","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-07T13:24:17.903036Z"},"links":{"citing_paper":"/paper/2505.22181"},"observation_digest":"sha256:7863d314df052cbe97935f1f9af743d5ded1805bad6cfb4856c17d360d8d3bad","observation_id":"a7f2de3f-140f-4d7f-8362-2dfec618ef3e","resolution":{"observed_at":"2026-08-07T13:24:17.903036Z","resolver_source":null,"status":"malformed_identifier"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:24:17.951373Z","title":null,"venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2505.22181","last_updated":"2025-05-28T09:56:55Z","snapshot_observed_at":"2026-08-08T12:28:37.865045Z","submitted_at":"2025-05-28T09:56:55Z","title":"Term Ordering Diagrams","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-07T13:24:17.951373Z"},"links":{"citing_paper":"/paper/2505.22181"},"observation_digest":"sha256:a76aa78eb030a0c75904c7f2f0cf187af64bfd8c574f90045748282d4dcbb51e","observation_id":"4435bf6b-f0e0-4dbb-aac6-9a07989b3b85","resolution":{"observed_at":"2026-08-07T13:24:17.951373Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1142/s0218213006002564","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:24:21.314512Z","title":"International Journal on Artificial Intelligence Tools (2006)","venue":null,"work_id":"3c3a2692-9741-46b9-9391-a83242f44d9c","year":2006},"citing_paper":{"arxiv_id":"2505.22181","last_updated":"2025-05-28T09:56:55Z","snapshot_observed_at":"2026-08-08T12:28:37.865045Z","submitted_at":"2025-05-28T09:56:55Z","title":"Term Ordering Diagrams","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-07T13:24:18.097460Z"},"links":{"citing_paper":"/paper/2505.22181"},"observation_digest":"sha256:637c8d070bd796ca1f49b96923dd8437a3558cc3ddf6491f07d20c40f754f9cf","observation_id":"2580495a-0a48-4e6f-b911-d5ee6ad2efe6","resolution":{"observed_at":"2026-08-07T13:24:21.441492Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"publication/2290791","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:24:22.557482Z","title":"In: IWIL (2001), https://www.researchgate.net/publication/229079124","venue":null,"work_id":"d3c79513-3f53-4c50-af9d-6bef74c71ee9","year":2001},"citing_paper":{"arxiv_id":"2505.22181","last_updated":"2025-05-28T09:56:55Z","snapshot_observed_at":"2026-08-08T12:28:37.865045Z","submitted_at":"2025-05-28T09:56:55Z","title":"Term Ordering Diagrams","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-07T13:24:18.163272Z"},"links":{"citing_paper":"/paper/2505.22181"},"observation_digest":"sha256:80ba08d313a0dbe4ff5bf528806b974ad4ac041244483cbbe9bdbe953907cc80","observation_id":"189c4cf3-7a09-4065-827a-eb4c72cc1449","resolution":{"observed_at":"2026-08-07T13:24:22.726410Z","resolver_source":"raw_fallback","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/s10817-006-9031-4","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:24:21.115891Z","title":"Journal of Automated Reasoning (2006)","venue":null,"work_id":"447c79f4-9cb0-4cb3-be6b-522aa8f3cf2a","year":2006},"citing_paper":{"arxiv_id":"2505.22181","last_updated":"2025-05-28T09:56:55Z","snapshot_observed_at":"2026-08-08T12:28:37.865045Z","submitted_at":"2025-05-28T09:56:55Z","title":"Term Ordering Diagrams","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-07T13:24:18.265705Z"},"links":{"citing_paper":"/paper/2505.22181"},"observation_digest":"sha256:3d5a47f763a176d512e17793bdb95a84b8763ba18189ada2263891c5a48a52e3","observation_id":"1d1dca40-85eb-4f4d-9489-2db4859c8251","resolution":{"observed_at":"2026-08-07T13:24:21.198599Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1023/a:1005843632307","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:24:21.012069Z","title":"Journal of Automated Reasoning (1997)","venue":null,"work_id":"829bb83b-ee7c-4029-a1f1-b628b6b200f8","year":1997},"citing_paper":{"arxiv_id":"2505.22181","last_updated":"2025-05-28T09:56:55Z","snapshot_observed_at":"2026-08-08T12:28:37.865045Z","submitted_at":"2025-05-28T09:56:55Z","title":"Term Ordering Diagrams","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-07T13:24:18.355876Z"},"links":{"citing_paper":"/paper/2505.22181"},"observation_digest":"sha256:17a93d33e80ccaa9cce4f5c7d1f85ca02550c9211b80eb4837123c075ea41a82","observation_id":"392d40d5-d838-4e85-ae7f-5159cc89a6af","resolution":{"observed_at":"2026-08-07T13:24:21.057782Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:24:18.430699Z","title":"In: Hand- book of Automated Reasoning, chap","venue":null,"work_id":null,"year":2001},"citing_paper":{"arxiv_id":"2505.22181","last_updated":"2025-05-28T09:56:55Z","snapshot_observed_at":"2026-08-08T12:28:37.865045Z","submitted_at":"2025-05-28T09:56:55Z","title":"Term Ordering Diagrams","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-07T13:24:18.430699Z"},"links":{"citing_paper":"/paper/2505.22181"},"observation_digest":"sha256:d51ec07d03c8ed55b422e71fb177d9f76d32f0f1679fbb4be1ad227dcba83618","observation_id":"912bafd1-3065-4286-88e3-73f4730f12ff","resolution":{"observed_at":"2026-08-07T13:24:18.430699Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/0020-0190(93)90226-y","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:24:20.869405Z","title":"Information Processing Letters (1993)","venue":null,"work_id":"66c236a7-d508-457d-9e36-452791b0104d","year":1993},"citing_paper":{"arxiv_id":"2505.22181","last_updated":"2025-05-28T09:56:55Z","snapshot_observed_at":"2026-08-08T12:28:37.865045Z","submitted_at":"2025-05-28T09:56:55Z","title":"Term Ordering Diagrams","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-07T13:24:18.499236Z"},"links":{"citing_paper":"/paper/2505.22181"},"observation_digest":"sha256:baacd5c0ceb72494c7932d779f74ba677aa92930d5a8be7c362e825217d87af8","observation_id":"aef3060a-2ac0-45e5-8c6d-fde3e2d4ea53","resolution":{"observed_at":"2026-08-07T13:24:20.927295Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/3-540-48660-7","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:24:20.750482Z","title":"In: CADE (1999)","venue":null,"work_id":"a830679e-9239-4163-ae10-18c15255ad2a","year":1999},"citing_paper":{"arxiv_id":"2505.22181","last_updated":"2025-05-28T09:56:55Z","snapshot_observed_at":"2026-08-08T12:28:37.865045Z","submitted_at":"2025-05-28T09:56:55Z","title":"Term Ordering Diagrams","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-07T13:24:18.562003Z"},"links":{"citing_paper":"/paper/2505.22181"},"observation_digest":"sha256:7d97f4c03da4b34b3ee0c6d7292ea40cb0afc29a6f9c23ec0ade075e13e26a7e","observation_id":"29ca8fb2-46c1-47e4-a535-b07d67a1c4c1","resolution":{"observed_at":"2026-08-07T13:24:20.801732Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2002.3146","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:24:22.228362Z","title":"Information and Computation (2002)","venue":null,"work_id":"efeab016-747d-45a8-a46f-d68a23ef179b","year":2002},"citing_paper":{"arxiv_id":"2505.22181","last_updated":"2025-05-28T09:56:55Z","snapshot_observed_at":"2026-08-08T12:28:37.865045Z","submitted_at":"2025-05-28T09:56:55Z","title":"Term Ordering Diagrams","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-07T13:24:18.628035Z"},"links":{"citing_paper":"/paper/2505.22181"},"observation_digest":"sha256:9d18660a63cee13591b74a39dd8108a2e0c55a070a28a414ec963a85fb8a68cd","observation_id":"f3ae5eeb-7f1e-4e27-9de6-82eb1abf8951","resolution":{"observed_at":"2026-08-07T13:24:22.355473Z","resolver_source":"raw_fallback","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/3-540-40006-0","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:24:20.593937Z","title":"In: JELIA (2000)","venue":null,"work_id":"4ed49476-f738-4254-b592-701638b78123","year":2000},"citing_paper":{"arxiv_id":"2505.22181","last_updated":"2025-05-28T09:56:55Z","snapshot_observed_at":"2026-08-08T12:28:37.865045Z","submitted_at":"2025-05-28T09:56:55Z","title":"Term Ordering Diagrams","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-07T13:24:18.723216Z"},"links":{"citing_paper":"/paper/2505.22181"},"observation_digest":"sha256:8d72e9f4bdfbfde0deec33224f3a9d2744c16035fe1db1368ab7861ae22c7466","observation_id":"686b980f-58ed-4121-bf8c-7ef4bdc7c5a7","resolution":{"observed_at":"2026-08-07T13:24:20.646188Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-540-25984-8","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:24:21.567332Z","title":"In: CADE (2004)","venue":null,"work_id":"2ce4c5f7-634e-4b3a-b9f6-3cacff794c0f","year":2004},"citing_paper":{"arxiv_id":"2505.22181","last_updated":"2025-05-28T09:56:55Z","snapshot_observed_at":"2026-08-08T12:28:37.865045Z","submitted_at":"2025-05-28T09:56:55Z","title":"Term Ordering Diagrams","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-07T13:24:18.794949Z"},"links":{"citing_paper":"/paper/2505.22181"},"observation_digest":"sha256:f953951b1351befa234c8f67bd379c22e93d4e0f21706e77cd77b3be7d0ded81","observation_id":"ff807948-6090-40e1-ae54-abbaa368b1f6","resolution":{"observed_at":"2026-08-07T13:24:21.675244Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:24:18.860220Z","title":"In: CADE (2019)","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2505.22181","last_updated":"2025-05-28T09:56:55Z","snapshot_observed_at":"2026-08-08T12:28:37.865045Z","submitted_at":"2025-05-28T09:56:55Z","title":"Term Ordering Diagrams","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-07T13:24:18.860220Z"},"links":{"citing_paper":"/paper/2505.22181"},"observation_digest":"sha256:1c50b9140241b300c0120fb863d05ece9ddf62394dd5b59473b4a4247a2a3f54","observation_id":"cdba1ff8-e101-48cc-b3d0-8cad1442b5d2","resolution":{"observed_at":"2026-08-07T13:24:18.860220Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:24:18.933043Z","title":"In: Handbook of Au- tomated Reasoning, chap","venue":null,"work_id":null,"year":2001},"citing_paper":{"arxiv_id":"2505.22181","last_updated":"2025-05-28T09:56:55Z","snapshot_observed_at":"2026-08-08T12:28:37.865045Z","submitted_at":"2025-05-28T09:56:55Z","title":"Term Ordering Diagrams","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-07T13:24:18.933043Z"},"links":{"citing_paper":"/paper/2505.22181"},"observation_digest":"sha256:2ba05f1d9910b20ee35093757784f65dea104ac99a33d0cb41a7e90fdab775d2","observation_id":"a633a5f6-26f8-4453-9c70-f50bd482756e","resolution":{"observed_at":"2026-08-07T13:24:18.933043Z","resolver_source":null,"status":"malformed_identifier"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:24:18.982761Z","title":"AI Magazine (2016)","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2505.22181","last_updated":"2025-05-28T09:56:55Z","snapshot_observed_at":"2026-08-08T12:28:37.865045Z","submitted_at":"2025-05-28T09:56:55Z","title":"Term Ordering Diagrams","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-07T13:24:18.982761Z"},"links":{"citing_paper":"/paper/2505.22181"},"observation_digest":"sha256:0c4dba18faf35dbec25e09f120f208e56e4bf67286f380f5e24c1e59f5ebe094","observation_id":"3947de89-a6f8-42b3-b0ca-e388529b2d8b","resolution":{"observed_at":"2026-08-07T13:24:18.982761Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:24:19.036998Z","title":"In: IJCAR (2024)","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2505.22181","last_updated":"2025-05-28T09:56:55Z","snapshot_observed_at":"2026-08-08T12:28:37.865045Z","submitted_at":"2025-05-28T09:56:55Z","title":"Term Ordering Diagrams","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-07T13:24:19.036998Z"},"links":{"citing_paper":"/paper/2505.22181"},"observation_digest":"sha256:9da8b1868a1e5817c327cd32b1b9e5d5d3bbe5e86e69d300af3f49a55ea10e2b","observation_id":"4e8699df-c5d4-4bbf-8069-872319835ae4","resolution":{"observed_at":"2026-08-07T13:24:19.036998Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:24:19.094045Z","title":"Journal of Automated Reasoning (2022)","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2505.22181","last_updated":"2025-05-28T09:56:55Z","snapshot_observed_at":"2026-08-08T12:28:37.865045Z","submitted_at":"2025-05-28T09:56:55Z","title":"Term Ordering Diagrams","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-07T13:24:19.094045Z"},"links":{"citing_paper":"/paper/2505.22181"},"observation_digest":"sha256:b831ef7d368da5efe651cd69d8d4eb5dc1c6c4914528de0f194bc51928cc4323","observation_id":"adc8b92b-3f2e-40ba-956d-05896702c14c","resolution":{"observed_at":"2026-08-07T13:24:19.094045Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:24:19.147453Z","title":"Science of Computer Programming (2015)","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2505.22181","last_updated":"2025-05-28T09:56:55Z","snapshot_observed_at":"2026-08-08T12:28:37.865045Z","submitted_at":"2025-05-28T09:56:55Z","title":"Term Ordering Diagrams","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-07T13:24:19.147453Z"},"links":{"citing_paper":"/paper/2505.22181"},"observation_digest":"sha256:e1373c7f5b093c33d902a1da854aff6d85aa1fe26369c57c5e2019ca773c422e","observation_id":"c3449218-ec4a-4038-bf97-f9122e419743","resolution":{"observed_at":"2026-08-07T13:24:19.147453Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:24:25.940178Z","title":null,"venue":null,"work_id":"ee1466de-bb4f-42cb-9894-86eaba3ddabf","year":null},"citing_paper":{"arxiv_id":"2505.22181","last_updated":"2025-05-28T09:56:55Z","snapshot_observed_at":"2026-08-08T12:28:37.865045Z","submitted_at":"2025-05-28T09:56:55Z","title":"Term Ordering Diagrams","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-07T13:24:19.202281Z"},"links":{"citing_paper":"/paper/2505.22181"},"observation_digest":"sha256:2071180b3c41377e0ecb79ada1ceefd3ff97bda8f20bbadec8f62ec7039041f3","observation_id":"2c9748dc-c1db-420e-9de6-910b3c774209","resolution":{"observed_at":"2026-08-07T13:24:26.003761Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:24:25.778798Z","title":null,"venue":null,"work_id":"686cf8a7-66f2-49eb-b532-575e823d9b02","year":null},"citing_paper":{"arxiv_id":"2505.22181","last_updated":"2025-05-28T09:56:55Z","snapshot_observed_at":"2026-08-08T12:28:37.865045Z","submitted_at":"2025-05-28T09:56:55Z","title":"Term Ordering Diagrams","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-07T13:24:19.263616Z"},"links":{"citing_paper":"/paper/2505.22181"},"observation_digest":"sha256:2535085b13f9cab9d714c3f438af384234a0cf107a87c43f2f7768fd26cf2c35","observation_id":"78ff0c9d-6f83-4b28-8aaa-1072cb2b6176","resolution":{"observed_at":"2026-08-07T13:24:25.860451Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:24:25.641675Z","title":"Since x ⩾̸ z is implied by TR∧ F , we conclude that the node labeled x >? z forces label ≱","venue":null,"work_id":"2e1493b9-1249-46a2-9b9e-d172be3a3a89","year":null},"citing_paper":{"arxiv_id":"2505.22181","last_updated":"2025-05-28T09:56:55Z","snapshot_observed_at":"2026-08-08T12:28:37.865045Z","submitted_at":"2025-05-28T09:56:55Z","title":"Term Ordering Diagrams","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-07T13:24:19.335646Z"},"links":{"citing_paper":"/paper/2505.22181"},"observation_digest":"sha256:7efe7f1f2b6237b5bb1c8e4eb58f251bb452c3f93ea63be437556323605dd2c4","observation_id":"3c923884-41d6-408b-8e50-6926bc474934","resolution":{"observed_at":"2026-08-07T13:24:25.710411Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:24:25.507865Z","title":null,"venue":null,"work_id":"f8fa5ecd-1398-4060-9db3-1daab338f911","year":null},"citing_paper":{"arxiv_id":"2505.22181","last_updated":"2025-05-28T09:56:55Z","snapshot_observed_at":"2026-08-08T12:28:37.865045Z","submitted_at":"2025-05-28T09:56:55Z","title":"Term Ordering Diagrams","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-07T13:24:19.408929Z"},"links":{"citing_paper":"/paper/2505.22181"},"observation_digest":"sha256:733743ce758ed98845b2831a3f1db035597cb94f7b2b7b9220c01d5af1a0d909","observation_id":"9c544726-68b6-48e6-b549-ac2fb76ab37c","resolution":{"observed_at":"2026-08-07T13:24:25.570671Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:24:25.326920Z","title":"We noted earlier that KBO and LPO can be implemented in linear, respectively quadratic time in the size of the compared terms [14,12]","venue":null,"work_id":"62d3b88a-c6b9-47d9-b903-d8d8e19e1c3f","year":null},"citing_paper":{"arxiv_id":"2505.22181","last_updated":"2025-05-28T09:56:55Z","snapshot_observed_at":"2026-08-08T12:28:37.865045Z","submitted_at":"2025-05-28T09:56:55Z","title":"Term Ordering Diagrams","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-07T13:24:19.506876Z"},"links":{"citing_paper":"/paper/2505.22181"},"observation_digest":"sha256:1a193ec3219ceef9068a31a5ff1642e59bc2f1b409c63c80efb71c10fd7292c7","observation_id":"7003861b-28d7-4786-9bf7-c9107f9db103","resolution":{"observed_at":"2026-08-07T13:24:25.397628Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:24:25.206025Z","title":null,"venue":null,"work_id":"e0592dbc-a5f2-4119-aca2-4b9c0bacdab5","year":null},"citing_paper":{"arxiv_id":"2505.22181","last_updated":"2025-05-28T09:56:55Z","snapshot_observed_at":"2026-08-08T12:28:37.865045Z","submitted_at":"2025-05-28T09:56:55Z","title":"Term Ordering Diagrams","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-07T13:24:19.577617Z"},"links":{"citing_paper":"/paper/2505.22181"},"observation_digest":"sha256:10622a7d1ddad731619a76aca407a00fa58650648a140d19d6cab88dcf341268","observation_id":"f5bcef73-4037-452a-abee-a68b6c303fa4","resolution":{"observed_at":"2026-08-07T13:24:25.264508Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:24:25.048152Z","title":"For this, we have to work on pairs of terms and substitutions, as defined below","venue":null,"work_id":"040cceb7-bc47-4feb-86ed-3c7d7ae42ea1","year":null},"citing_paper":{"arxiv_id":"2505.22181","last_updated":"2025-05-28T09:56:55Z","snapshot_observed_at":"2026-08-08T12:28:37.865045Z","submitted_at":"2025-05-28T09:56:55Z","title":"Term Ordering Diagrams","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-07T13:24:19.659074Z"},"links":{"citing_paper":"/paper/2505.22181"},"observation_digest":"sha256:5e3089e7e016bbb7c6aab2f36119f9ce46f98b383f8fa6cdf17a6293f3fd4150","observation_id":"693e0c87-77ac-4d61-9117-455cc13597a5","resolution":{"observed_at":"2026-08-07T13:24:25.126725Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:24:24.903839Z","title":"We get a·ε =a·θ, which is true by case (1) since a is ground","venue":null,"work_id":"c4c6b534-56dd-4724-a09e-ca2655b5727a","year":null},"citing_paper":{"arxiv_id":"2505.22181","last_updated":"2025-05-28T09:56:55Z","snapshot_observed_at":"2026-08-08T12:28:37.865045Z","submitted_at":"2025-05-28T09:56:55Z","title":"Term Ordering Diagrams","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-07T13:24:19.726065Z"},"links":{"citing_paper":"/paper/2505.22181"},"observation_digest":"sha256:482c75bb130422260a493e3cd2e6feac1bbf4d08cb4133fcb864fd875a5e0c50","observation_id":"a8ff1169-5061-4c6e-8dc0-078f1b6367a8","resolution":{"observed_at":"2026-08-07T13:24:24.964307Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:24:24.775687Z","title":"We get b·σ =b·ε, which is true by case (1) since b is ground","venue":null,"work_id":"8229efdc-7a15-47a5-a4f7-20a45fe5abf9","year":null},"citing_paper":{"arxiv_id":"2505.22181","last_updated":"2025-05-28T09:56:55Z","snapshot_observed_at":"2026-08-08T12:28:37.865045Z","submitted_at":"2025-05-28T09:56:55Z","title":"Term Ordering Diagrams","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-07T13:24:19.805258Z"},"links":{"citing_paper":"/paper/2505.22181"},"observation_digest":"sha256:f33b759f45f999cc90b3c7fa82daebc995f7ccf690e06f03d7b1a7621c927205","observation_id":"90f8fa7c-3c6c-4443-9443-f7692ade809c","resolution":{"observed_at":"2026-08-07T13:24:24.831307Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:24:24.622697Z","title":"Finally,f(z,u )·ε≻lpo z·ε holds due to (L1) and f(z,u )≻lpo z","venue":null,"work_id":"e3cd8b90-e33b-4b96-97f1-7a9b7d7874ba","year":null},"citing_paper":{"arxiv_id":"2505.22181","last_updated":"2025-05-28T09:56:55Z","snapshot_observed_at":"2026-08-08T12:28:37.865045Z","submitted_at":"2025-05-28T09:56:55Z","title":"Term Ordering Diagrams","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-07T13:24:19.877285Z"},"links":{"citing_paper":"/paper/2505.22181"},"observation_digest":"sha256:6747660b331199cb97532f61765def62f07c4a3f3262ecd32d770b6beca036b2","observation_id":"fa0c5792-a70f-49b8-843e-594cdaf3c25e","resolution":{"observed_at":"2026-08-07T13:24:24.699553Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:24:24.464184Z","title":"This holds by (L1) and f(z,u )≻lpo u","venue":null,"work_id":"a51a0242-1796-4994-acf7-f25ca77e92d2","year":null},"citing_paper":{"arxiv_id":"2505.22181","last_updated":"2025-05-28T09:56:55Z","snapshot_observed_at":"2026-08-08T12:28:37.865045Z","submitted_at":"2025-05-28T09:56:55Z","title":"Term Ordering Diagrams","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-07T13:24:19.932794Z"},"links":{"citing_paper":"/paper/2505.22181"},"observation_digest":"sha256:725d311fdc7554d13dc1559e317b39c48ff855631dfb2cda3269d9107bb92ec7","observation_id":"d4032e0e-82d9-4770-b1f0-9621e73358a9","resolution":{"observed_at":"2026-08-07T13:24:24.534027Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:24:24.339874Z","title":null,"venue":null,"work_id":"5deb9451-0bea-4728-ae8b-3d4ddf9dbdce","year":null},"citing_paper":{"arxiv_id":"2505.22181","last_updated":"2025-05-28T09:56:55Z","snapshot_observed_at":"2026-08-08T12:28:37.865045Z","submitted_at":"2025-05-28T09:56:55Z","title":"Term Ordering Diagrams","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-07T13:24:19.990944Z"},"links":{"citing_paper":"/paper/2505.22181"},"observation_digest":"sha256:a2f93570aa71267aef2be2226af198ad5e72baae8e534b52c81fd58d2d49e08a","observation_id":"be192053-2bbb-4027-abba-8df6d948c0e9","resolution":{"observed_at":"2026-08-07T13:24:24.400440Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:24:24.159230Z","title":null,"venue":null,"work_id":"14b39d7c-bb94-4c7a-92f7-fa9777fae81b","year":null},"citing_paper":{"arxiv_id":"2505.22181","last_updated":"2025-05-28T09:56:55Z","snapshot_observed_at":"2026-08-08T12:28:37.865045Z","submitted_at":"2025-05-28T09:56:55Z","title":"Term Ordering Diagrams","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-07T13:24:20.077205Z"},"links":{"citing_paper":"/paper/2505.22181"},"observation_digest":"sha256:e3b02cea4cde9aedb4226f9ea2b09912225a3c0fb379cb6e0e52bc68d08df1e2","observation_id":"3b8e402f-7307-4fc0-8537-47fae62a8a1c","resolution":{"observed_at":"2026-08-07T13:24:24.229760Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:24:24.017994Z","title":null,"venue":null,"work_id":"572e08ea-6826-479d-937f-b6cf3c3798e7","year":null},"citing_paper":{"arxiv_id":"2505.22181","last_updated":"2025-05-28T09:56:55Z","snapshot_observed_at":"2026-08-08T12:28:37.865045Z","submitted_at":"2025-05-28T09:56:55Z","title":"Term Ordering Diagrams","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-07T13:24:20.138571Z"},"links":{"citing_paper":"/paper/2505.22181"},"observation_digest":"sha256:a43eb6f0914fd953e5452fbdc4719494c9164de4301eed6077342722ce932aa9","observation_id":"77809636-5aa2-4233-b0a6-d569e6e42c0b","resolution":{"observed_at":"2026-08-07T13:24:24.095004Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:24:23.863331Z","title":"for free","venue":null,"work_id":"79b0d7d9-7acd-4786-86eb-7662536bf228","year":null},"citing_paper":{"arxiv_id":"2505.22181","last_updated":"2025-05-28T09:56:55Z","snapshot_observed_at":"2026-08-08T12:28:37.865045Z","submitted_at":"2025-05-28T09:56:55Z","title":"Term Ordering Diagrams","version":1},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-07T13:24:20.197446Z"},"links":{"citing_paper":"/paper/2505.22181"},"observation_digest":"sha256:14c686804e2b41eb1ff046cc80a64e83556d9a1e719e97a3402c54fef2ec3023","observation_id":"a271ab06-ed10-4c26-bb15-38bbcd6e900c","resolution":{"observed_at":"2026-08-07T13:24:23.933821Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:24:23.732207Z","title":null,"venue":null,"work_id":"22b21f98-201d-4938-9c4c-63646bb3b4bf","year":null},"citing_paper":{"arxiv_id":"2505.22181","last_updated":"2025-05-28T09:56:55Z","snapshot_observed_at":"2026-08-08T12:28:37.865045Z","submitted_at":"2025-05-28T09:56:55Z","title":"Term Ordering Diagrams","version":1},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-07T13:24:20.255155Z"},"links":{"citing_paper":"/paper/2505.22181"},"observation_digest":"sha256:219e5747515c7f8da67c4caefdc31fc2908db09e85ce65f7f880d334f7d2b817","observation_id":"d63dcf5a-e3bf-43bd-bd83-e5cac35d621a","resolution":{"observed_at":"2026-08-07T13:24:23.782894Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:24:23.579661Z","title":null,"venue":null,"work_id":"44d31024-31c3-43c7-80e4-a5ae02af306b","year":null},"citing_paper":{"arxiv_id":"2505.22181","last_updated":"2025-05-28T09:56:55Z","snapshot_observed_at":"2026-08-08T12:28:37.865045Z","submitted_at":"2025-05-28T09:56:55Z","title":"Term Ordering Diagrams","version":1},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-08-07T13:24:20.323324Z"},"links":{"citing_paper":"/paper/2505.22181"},"observation_digest":"sha256:8aaf418b1efd9d236d42038f356a915d3637cd286c37db8d727ca73f9cd18e7d","observation_id":"85b23832-e090-498e-8bd5-61ebb167aace","resolution":{"observed_at":"2026-08-07T13:24:23.648530Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:24:23.330429Z","title":null,"venue":null,"work_id":"ada6ba5e-71b5-4e70-988b-d49351ec74e9","year":null},"citing_paper":{"arxiv_id":"2505.22181","last_updated":"2025-05-28T09:56:55Z","snapshot_observed_at":"2026-08-08T12:28:37.865045Z","submitted_at":"2025-05-28T09:56:55Z","title":"Term Ordering Diagrams","version":1},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-08-07T13:24:20.382469Z"},"links":{"citing_paper":"/paper/2505.22181"},"observation_digest":"sha256:495e3552fcf238fd6952ee015809aa9084a4eecf48a2bb133eaaf0040633258b","observation_id":"afb5ce00-812b-4325-a78f-c0141da610ae","resolution":{"observed_at":"2026-08-07T13:24:23.438621Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:24:23.048051Z","title":"queries” represent the number of retrievals for TODs, whereas “answers","venue":null,"work_id":"2f4dceea-87e6-438e-9995-b9d19960e5cb","year":null},"citing_paper":{"arxiv_id":"2505.22181","last_updated":"2025-05-28T09:56:55Z","snapshot_observed_at":"2026-08-08T12:28:37.865045Z","submitted_at":"2025-05-28T09:56:55Z","title":"Term Ordering Diagrams","version":1},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-08-07T13:24:20.450684Z"},"links":{"citing_paper":"/paper/2505.22181"},"observation_digest":"sha256:a56652406e8aea2fa3cf7330506f08d0ef22550ce6f0ec49f1fb47c414f0b985","observation_id":"6531bf6c-c0d4-45fd-ba48-97e0a4ad8d48","resolution":{"observed_at":"2026-08-07T13:24:23.201241Z","resolver_source":"raw_fallback","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2505.22181","last_updated":"2025-05-28T09:56:55Z","latest_version":1,"primary_category":"cs.LO","snapshot_observed_at":"2026-08-08T12:28:37.865045Z","submitted_at":"2025-05-28T09:56:55Z","title":"Term Ordering Diagrams"},"reference_resolution":{"displayed":45,"state_counts":{"malformed_identifier":5,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":21,"verified_exact":10,"verified_fuzzy":9},"total_outbound_references":45},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"thesis":"As of 8 August 2026, this Paper Citation Record lists 45 of 45 outbound references and 0 inbound Pith citation observations for arXiv:2505.22181."}