Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-07T15:35:39.504455Z
Paper Citation Record · LEDGER
Integer Reasoning Modulo Different Constants in SMT
As of 18 August 2026, this Paper Citation Record lists 87 of 87 outbound references and 0 inbound Pith citation observations for arXiv:2505.14998.
A citation records a reference. It does not transfer a finding from one paper to another.
Coverage vector
One-hop event checks from named stored sources.
Source: scholarly_work_events, retraction_status_cache, observed 2026-08-18T06:34:40.430872+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links
A source-named dated measurement, never combined with another source.
Source: cited_works
Reference resolution
87 of 87 outbound references displayed
- verified exact0
- verified fuzzy52
- unresolved33
- parse uncertain1
- malformed identifier1
- metadata mismatch0
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation 187c4fc5-e6ae-43d1-922b-b1f6875eeb43 · outbound
This paper cites Abbott and A.
Integer Reasoning Modulo Different Constants in SMT Abbott and A
Reference 1
- Resolution
- unresolved
- no resolver link, observed 2026-08-07T15:35:33.384599Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation ca75dc2e-f324-4fb9-8f69-a68934abce88 · outbound
This paper cites Ábrahám, J.
Integer Reasoning Modulo Different Constants in SMT Ábrahám, J
Reference 2
- Resolution
- unresolved
- no resolver link, observed 2026-08-07T15:35:33.505189Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 03dc9cca-fc17-4f00-aed7-64e732d8bafe · outbound
This paper cites Barbosa, C.
Integer Reasoning Modulo Different Constants in SMT Barbosa, C
Reference 3
- Resolution
- unresolved
- no resolver link, observed 2026-08-07T15:35:33.642294Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 5d730388-8d2b-47de-a7b5-1209831da8cc · outbound
This paper cites an unresolved cited work.
Integer Reasoning Modulo Different Constants in SMT Unresolved cited work
Reference 4
- Resolution
- unresolved
- no resolver link, observed 2026-08-07T15:35:33.758758Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation be38c805-5527-4b20-97c9-f038e6695e71 · outbound
This paper cites Barrett, P.
Integer Reasoning Modulo Different Constants in SMT Barrett, P
Reference 5
- Resolution
- unresolved
- no resolver link, observed 2026-08-07T15:35:33.867932Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 77595312-f035-4257-8e69-8370417cc9b3 · outbound
This paper cites Barrett and C.
Integer Reasoning Modulo Different Constants in SMT Barrett and C
Reference 6
- Resolution
- unresolved
- no resolver link, observed 2026-08-07T15:35:33.950162Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 2e995b7c-feca-4c45-ba86-2c77384da364 · outbound
This paper cites an unresolved cited work.
Integer Reasoning Modulo Different Constants in SMT Unresolved cited work
Reference 7
- Resolution
- unresolved
- no resolver link, observed 2026-08-07T15:35:34.032014Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation f7e23472-ef58-4e9b-bd12-257478d5476b · outbound
This paper cites Bjørner and L.
Integer Reasoning Modulo Different Constants in SMT Bjørner and L
Reference 8
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T15:35:41.003543Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 90e49aa3-d571-45a3-82cc-58ea5b5c5989 · outbound
This paper cites Bosma, J.
Integer Reasoning Modulo Different Constants in SMT Bosma, J
Reference 9
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T15:35:40.995315Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 11e29de7-c5df-4c21-8d3d-0acf294f5801 · outbound
This paper cites an unresolved cited work.
Integer Reasoning Modulo Different Constants in SMT Unresolved cited work
Reference 10
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T15:35:40.987289Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 998e2ac7-aeef-4ac8-823f-a338f1b7a58b · outbound
This paper cites Brummayer and A.
Integer Reasoning Modulo Different Constants in SMT Brummayer and A
Reference 11
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T15:35:40.978442Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 06103633-beb2-4d84-aeb3-fed4f1d9b58f · outbound
This paper cites Buchberger.
Integer Reasoning Modulo Different Constants in SMT Buchberger
Reference 12
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T15:35:40.970690Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation ed9daa42-3d60-4580-8a5e-8d518a19d639 · outbound
This paper cites Buchberger.
Integer Reasoning Modulo Different Constants in SMT Buchberger
Reference 13
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T15:35:40.962743Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 8e11c667-800f-4d3f-9553-eea91087d978 · outbound
This paper cites an unresolved cited work.
Integer Reasoning Modulo Different Constants in SMT Unresolved cited work
Reference 14
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T15:35:40.954478Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation e9ec22c9-757c-46d2-8f7b-0d988a388773 · outbound
This paper cites Chaliasos, J.
Integer Reasoning Modulo Different Constants in SMT Chaliasos, J
Reference 15
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T15:35:40.946234Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 74e1c13f-0c41-4f3a-8622-f962c284864d · outbound
This paper cites an unresolved cited work.
Integer Reasoning Modulo Different Constants in SMT Unresolved cited work
Reference 16
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T15:35:40.937445Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation c6042bd3-8cf5-4f2e-95c8-4f9bef6597ec · outbound
This paper cites Cimatti, A.
Integer Reasoning Modulo Different Constants in SMT Cimatti, A
Reference 17
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T15:35:40.929174Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation c9b0fb18-465a-4151-ac8a-10a8570f2978 · outbound
This paper cites Coglio, E.
Integer Reasoning Modulo Different Constants in SMT Coglio, E
Reference 18
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T15:35:40.921000Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 33ea34a6-3e92-4e84-b1ff-06b3e9c65348 · outbound
This paper cites Corzilius, G.
Integer Reasoning Modulo Different Constants in SMT Corzilius, G
Reference 19
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T15:35:40.912675Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 7f3b995c-e551-48bc-90ad-b16af4678c93 · outbound
This paper cites Dahlgren.
Integer Reasoning Modulo Different Constants in SMT Dahlgren
Reference 20
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T15:35:40.904193Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 48fcbcc6-06c8-403d-a549-c473a0885ddb · outbound
This paper cites Davenport.
Integer Reasoning Modulo Different Constants in SMT Davenport
Reference 21
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T15:35:40.886447Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 352d30c0-fea2-4afb-9d00-32be721126fa · outbound
This paper cites an unresolved cited work.
Integer Reasoning Modulo Different Constants in SMT Unresolved cited work
Reference 22
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T15:35:40.878013Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation e6a581b3-9cef-421d-a9a6-04dddc7f444f · outbound
This paper cites Decker, G.-M.
Integer Reasoning Modulo Different Constants in SMT Decker, G.-M
Reference 23
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T15:35:40.869310Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 660c2353-e034-4bff-9268-849cedf6c117 · outbound
This paper cites Diffie and M.
Integer Reasoning Modulo Different Constants in SMT Diffie and M
Reference 24
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T15:35:40.860144Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation bcaa5132-da6c-4f17-a0df-2b877a9c0113 · outbound
This paper cites an unresolved cited work.
Integer Reasoning Modulo Different Constants in SMT Unresolved cited work
Reference 25
- Resolution
- unresolved
- no resolver link, observed 2026-08-07T15:35:35.450801Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation bf6ba5bc-18ac-4a67-a8d3-d5648874ce6a · outbound
This paper cites Dutertre.
Integer Reasoning Modulo Different Constants in SMT Dutertre
Reference 26
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T15:35:40.845603Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation d6facc90-c941-4018-8893-8b051815f4b0 · outbound
This paper cites Eder and T.
Integer Reasoning Modulo Different Constants in SMT Eder and T
Reference 27
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T15:35:40.837531Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 96aff927-1c81-4108-8e8c-c36dc0511183 · outbound
This paper cites Eisenbud, D.
Integer Reasoning Modulo Different Constants in SMT Eisenbud, D
Reference 28
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T15:35:40.829460Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 58a3a6cb-6d45-43d8-8ad4-b05ccb30b223 · outbound
This paper cites an unresolved cited work.
Integer Reasoning Modulo Different Constants in SMT Unresolved cited work
Reference 29
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T15:35:40.820888Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation eab5652b-4f5d-4e9c-93cf-a0164e7eed27 · outbound
This paper cites Erbsen, J.
Integer Reasoning Modulo Different Constants in SMT Erbsen, J
Reference 30
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T15:35:40.812661Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 7c0643fe-891a-4bfd-a426-bf02b8b06010 · outbound
This paper cites Erbsen, J.
Integer Reasoning Modulo Different Constants in SMT Erbsen, J
Reference 31
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T15:35:40.803987Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 39560a51-222f-46ae-a138-7c76cdb889dd · outbound
This paper cites an unresolved cited work.
Integer Reasoning Modulo Different Constants in SMT Unresolved cited work
Reference 32
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T15:35:40.796052Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation dad1d7d7-5907-4b0b-8f3e-ea6632d907fe · outbound
This paper cites an unresolved cited work.
Integer Reasoning Modulo Different Constants in SMT Unresolved cited work
Reference 33
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T15:35:40.787912Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation c4a6078f-e1c1-49b7-9bc7-e95b74625a74 · outbound
This paper cites Fournet, C.
Integer Reasoning Modulo Different Constants in SMT Fournet, C
Reference 34
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T15:35:40.779685Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation b9308c59-7b66-4fd1-9e3d-060e34c541b4 · outbound
This paper cites Fränzle, C.
Integer Reasoning Modulo Different Constants in SMT Fränzle, C
Reference 35
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T15:35:40.771020Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 81f7ec5b-1c5c-49d5-be47-3c720d0a4a94 · outbound
This paper cites https://www.gap-system.org, this year.
Integer Reasoning Modulo Different Constants in SMT https://www.gap-system.org, this year
Reference 36
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T15:35:40.762691Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 610e0b55-fd54-4e32-af9d-ec98c0614c66 · outbound
This paper cites an unresolved cited work.
Integer Reasoning Modulo Different Constants in SMT Unresolved cited work
Reference 37
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T15:35:40.753917Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation cb86f3a6-4cbd-4c73-854c-92986af153c7 · outbound
This paper cites Goldwasser, S.
Integer Reasoning Modulo Different Constants in SMT Goldwasser, S
Reference 38
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T15:35:40.746066Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 6078fc74-218e-4ffd-99a6-b864723bfc53 · outbound
This paper cites Graham-Lengrand, D.
Integer Reasoning Modulo Different Constants in SMT Graham-Lengrand, D
Reference 39
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T15:35:40.737549Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 17eca1d5-87f1-4316-b963-decf96d545d7 · outbound
This paper cites an unresolved cited work.
Integer Reasoning Modulo Different Constants in SMT Unresolved cited work
Reference 40
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T15:35:40.728912Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 5e7b3171-6624-49d5-a35b-70d012d4be91 · outbound
This paper cites Hader, D.
Integer Reasoning Modulo Different Constants in SMT Hader, D
Reference 41
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T15:35:40.720661Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation e3ec5105-f750-4766-8a66-44da6c94ccde · outbound
This paper cites Hader and L.
Integer Reasoning Modulo Different Constants in SMT Hader and L
Reference 42
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T15:35:40.711849Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 09bc8c76-0f58-48b6-8d79-5b135372de6a · outbound
This paper cites an unresolved cited work.
Integer Reasoning Modulo Different Constants in SMT Unresolved cited work
Reference 43
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T15:35:40.694235Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 073e12b5-adc1-45a1-8a2c-03ab4b359dbf · outbound
This paper cites an unresolved cited work.
Integer Reasoning Modulo Different Constants in SMT Unresolved cited work
Reference 44
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T15:35:40.703096Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 098f0312-6f32-4500-8ea8-c3fcf084744d · outbound
This paper cites Hickey, Q.
Integer Reasoning Modulo Different Constants in SMT Hickey, Q
Reference 45
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T15:35:40.677781Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation ebd1bef9-e1fa-4123-9663-d9cf71976fa0 · outbound
This paper cites Heck and W.
Integer Reasoning Modulo Different Constants in SMT Heck and W
Reference 46
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T15:35:40.685636Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation cbd7bed0-5dcc-4a1c-a842-aad1ddd35ccc · outbound
This paper cites Jovanović and L.
Integer Reasoning Modulo Different Constants in SMT Jovanović and L
Reference 47
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T15:35:40.661170Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 2d2ac6c3-b8ee-4669-8373-882dd9f79956 · outbound
This paper cites Jovanović.
Integer Reasoning Modulo Different Constants in SMT Jovanović
Reference 48
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T15:35:40.669114Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation edadc7a9-e26e-4deb-9221-8f284a0c56e3 · outbound
This paper cites Kosba, C.
Integer Reasoning Modulo Different Constants in SMT Kosba, C
Reference 49
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T15:35:40.644980Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 95334bd3-ef5a-434f-8fcd-44b90d3de106 · outbound
This paper cites Jovanović and L.
Integer Reasoning Modulo Different Constants in SMT Jovanović and L
Reference 50
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T15:35:40.653140Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 9d44a6c4-00a0-445c-8d42-0f9bdcc9fe79 · outbound
This paper cites an unresolved cited work.
Integer Reasoning Modulo Different Constants in SMT Unresolved cited work
Reference 51
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T15:35:40.628579Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation dd682342-20c7-465c-a7d5-dce0fb71d64b · outbound
This paper cites Liang, A.
Integer Reasoning Modulo Different Constants in SMT Liang, A
Reference 52
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T15:35:40.637058Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation f461bc49-5b9f-4e72-a5bc-cb46cbccd2ff · outbound
This paper cites Maréchal, A.
Integer Reasoning Modulo Different Constants in SMT Maréchal, A
Reference 53
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T15:35:40.603820Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 2d8bb7f2-3607-4baa-88a0-facfbada4fe7 · outbound
This paper cites an unresolved cited work.
Integer Reasoning Modulo Different Constants in SMT Unresolved cited work
Reference 54
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T15:35:40.595874Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation a1c3d397-a85c-48d7-ab99-21ca9fd72531 · outbound
This paper cites Makhorin.
Integer Reasoning Modulo Different Constants in SMT Makhorin
Reference 55
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T15:35:40.612207Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 5f2b588d-342e-4993-9cd5-72d7a1c4d2cd · outbound
This paper cites an unresolved cited work.
Integer Reasoning Modulo Different Constants in SMT Unresolved cited work
Reference 56
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T15:35:40.578158Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 1e655be3-51e4-40ed-9380-fd228dd10a75 · outbound
This paper cites an unresolved cited work.
Integer Reasoning Modulo Different Constants in SMT Unresolved cited work
Reference 57
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T15:35:40.569910Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation b72b4ddf-7909-4992-8c66-ca367dee5609 · outbound
This paper cites Meurer, C.
Integer Reasoning Modulo Different Constants in SMT Meurer, C
Reference 58
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T15:35:40.587447Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation f758a611-10ad-4434-9cad-8529c40d5352 · outbound
This paper cites Niemetz and M.
Integer Reasoning Modulo Different Constants in SMT Niemetz and M
Reference 59
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T15:35:40.552051Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 5064a5ef-ff59-4694-a30f-c5f407ea9b7c · outbound
This paper cites Niemetz and M.
Integer Reasoning Modulo Different Constants in SMT Niemetz and M
Reference 60
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T15:35:40.543265Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 58659351-19d2-4aa2-9239-9316ba1f4a75 · outbound
This paper cites an unresolved cited work.
Integer Reasoning Modulo Different Constants in SMT Unresolved cited work
Reference 61
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T15:35:40.561495Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 0f00c302-a8e4-4dac-a2d6-24639dcafa78 · outbound
This paper cites Niemetz, M.
Integer Reasoning Modulo Different Constants in SMT Niemetz, M
Reference 62
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T15:35:40.525120Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 679c2993-de2d-4592-b162-aae37fdcb1a7 · outbound
This paper cites an unresolved cited work.
Integer Reasoning Modulo Different Constants in SMT Unresolved cited work
Reference 63
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T15:35:40.516569Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 1c0b11fd-b06a-49d5-9a6b-682eb54e0a2d · outbound
This paper cites Niemetz, M.
Integer Reasoning Modulo Different Constants in SMT Niemetz, M
Reference 64
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T15:35:40.534119Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation a1073c23-cc07-4825-85bb-33bacb910264 · outbound
This paper cites Ozdemir, G.
Integer Reasoning Modulo Different Constants in SMT Ozdemir, G
Reference 65
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T15:35:40.497462Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation ed78d73e-2522-4697-b5a8-a0b4f77869a1 · outbound
This paper cites Ozdemir, S.
Integer Reasoning Modulo Different Constants in SMT Ozdemir, S
Reference 66
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T15:35:40.421050Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation c44ec473-8be0-4a11-ac57-20e9a24ed7d8 · outbound
This paper cites Foreign field multiplication gate, 2024.
Integer Reasoning Modulo Different Constants in SMT Foreign field multiplication gate, 2024
Reference 67
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T15:35:40.507039Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 63ee48ec-c987-4a65-997c-8d61de409adf · outbound
This paper cites Pailoor, Y.
Integer Reasoning Modulo Different Constants in SMT Pailoor, Y
Reference 68
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T15:35:40.045242Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation e0644971-308b-4aeb-88a2-94c958700cae · outbound
This paper cites Philipoom.
Integer Reasoning Modulo Different Constants in SMT Philipoom
Reference 69
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T15:35:39.792460Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 05ea1cc3-0e7d-45b4-ad3c-366aff7c66aa · outbound
This paper cites Ozdemir, R.
Integer Reasoning Modulo Different Constants in SMT Ozdemir, R
Reference 70
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T15:35:40.208387Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 2ce004d1-c812-4751-a96b-313ad092cde9 · outbound
This paper cites an unresolved cited work.
Integer Reasoning Modulo Different Constants in SMT Unresolved cited work
Reference 71
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T15:35:39.672905Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 4902f178-bc3d-4328-9959-7d72b79fa848 · outbound
This paper cites Schwabe, B.
Integer Reasoning Modulo Different Constants in SMT Schwabe, B
Reference 72
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T15:35:39.663311Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation c888098c-d43a-40dd-9400-e4325fca548d · outbound
This paper cites an unresolved cited work.
Integer Reasoning Modulo Different Constants in SMT Unresolved cited work
Reference 73
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T15:35:39.688474Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 79d53915-8c52-4cea-978b-5ab55ed8d047 · outbound
This paper cites Gnark Plonky2 recursive verifier: The goldilocks field implementation, 2024.
Integer Reasoning Modulo Different Constants in SMT Gnark Plonky2 recursive verifier: The goldilocks field implementation, 2024
Reference 74
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T15:35:39.643934Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation d52e472b-ad26-4696-9a7c-f8df1bd86186 · outbound
This paper cites an unresolved cited work.
Integer Reasoning Modulo Different Constants in SMT Unresolved cited work
Reference 75
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T15:35:39.633825Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 3bdfc193-7c6d-4417-aa14-ba4744cfbe34 · outbound
This paper cites Sheng, A.
Integer Reasoning Modulo Different Constants in SMT Sheng, A
Reference 76
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T15:35:39.653498Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 80e2ebd9-f503-4c6f-be66-10b92182f0e6 · outbound
This paper cites Walfish and A.
Integer Reasoning Modulo Different Constants in SMT Walfish and A
Reference 77
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T15:35:39.612393Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation b53acb3a-ff4c-41ae-8ee4-603e9b1b877a · outbound
This paper cites an unresolved cited work.
Integer Reasoning Modulo Different Constants in SMT Unresolved cited work
Reference 78
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T15:35:39.601589Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation fab9c2be-070e-4429-8e10-076ab5b51855 · outbound
This paper cites an unresolved cited work.
Integer Reasoning Modulo Different Constants in SMT Unresolved cited work
Reference 79
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T15:35:39.623681Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 406920f5-9aa9-43e7-b1df-5f5a2960fa49 · outbound
This paper cites an unresolved cited work.
Integer Reasoning Modulo Different Constants in SMT Unresolved cited work
Reference 80
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T15:35:39.581557Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 602fcdb3-e3ca-4444-b556-88c3971652f0 · outbound
This paper cites Wolfram.Mathematica: a system for doing mathematics by computer.
Integer Reasoning Modulo Different Constants in SMT Wolfram.Mathematica: a system for doing mathematics by computer
Reference 81
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T15:35:39.570500Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 020029cf-5fc4-4a71-9962-cc8f546e1464 · outbound
This paper cites Weispfenning.
Integer Reasoning Modulo Different Constants in SMT Weispfenning
Reference 82
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T15:35:39.591271Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation a80b82d2-c6eb-4c26-899b-e538b62cb545 · outbound
This paper cites Zimmermann, A.
Integer Reasoning Modulo Different Constants in SMT Zimmermann, A
Reference 83
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T15:35:39.549954Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 96dc77a1-6593-42c1-8d07-d4bb60629cf2 · outbound
This paper cites an unresolved cited work.
Integer Reasoning Modulo Different Constants in SMT Unresolved cited work
Reference 85
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T15:35:39.561054Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 3540f7f4-7965-4dfd-af95-597da2438cdb · outbound
This paper cites ⇐ Assume there exists a linear combination of the forme′ = Pl i=1 aiei, ai ∈ Z and ei ∈ R≈ n s.t e′ is liftable inC and e′ ̸= 0.
Integer Reasoning Modulo Different Constants in SMT ⇐ Assume there exists a linear combination of the forme′ = Pl i=1 aiei, ai ∈ Z and ei ∈ R≈ n s.t e′ is liftable inC and e′ ̸= 0
Reference 87
- Resolution
- malformed identifier
- raw_fallback, observed 2026-08-07T15:35:39.538137Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 5c9463fd-358c-495b-b542-932c476133df · outbound
This paper cites an unresolved cited work.
Integer Reasoning Modulo Different Constants in SMT Unresolved cited work
Reference 2022
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T15:35:40.895427Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation c2800bcd-6c24-4e1c-b378-4d08fd7ca20f · outbound
This paper cites an unresolved cited work.
Integer Reasoning Modulo Different Constants in SMT Unresolved cited work
Reference 2023
- Resolution
- parse uncertain
- raw_fallback, observed 2026-08-07T15:35:40.620415Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Pith citing papers
No inbound Pith citation observations are available.