Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-14T15:24:43.451801Z
Paper Citation Record · LEDGER
NNIL-formulas revisited: universal models and finite model property
As of 16 August 2026, this Paper Citation Record lists 30 of 30 outbound references and 0 inbound Pith citation observations for arXiv:1908.01635.
A citation records a reference. It does not transfer a finding from one paper to another.
Coverage vector
One-hop event checks from named stored sources.
Source: scholarly_work_events, retraction_status_cache, observed 2026-08-16T06:30:59.297886+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links
A source-named dated measurement, never combined with another source.
Source: cited_works
Reference resolution
30 of 30 outbound references displayed
- verified exact0
- verified fuzzy21
- unresolved9
- parse uncertain0
- malformed identifier0
- metadata mismatch0
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation 3e648f54-8073-419e-a083-7854d428e242 · outbound
This paper cites Bellissima.
NNIL-formulas revisited: universal models and finite model property Bellissima
Reference 1
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T15:24:43.903644Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 78a51d84-b228-4a2b-b4f2-a69290e5d20c · outbound
This paper cites Bezhanishvili and S.
NNIL-formulas revisited: universal models and finite model property Bezhanishvili and S
Reference 2
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T15:24:43.889535Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 8ab87781-8998-4a3e-a49e-4568d82284bb · outbound
This paper cites Bezhanishvili.
NNIL-formulas revisited: universal models and finite model property Bezhanishvili
Reference 3
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T15:24:43.874823Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation a44c1d48-82df-4290-8951-13a74ac14f9e · outbound
This paper cites Bezhanishvili.
NNIL-formulas revisited: universal models and finite model property Bezhanishvili
Reference 4
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T15:24:43.858810Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation a0cf6e5b-1d40-4c65-87ef-2913b88827c0 · outbound
This paper cites Bezhanishvili, D.
NNIL-formulas revisited: universal models and finite model property Bezhanishvili, D
Reference 5
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T15:24:43.844119Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 315a7449-e166-4241-98ba-2480b1330417 · outbound
This paper cites Bezhanishvili and D.
NNIL-formulas revisited: universal models and finite model property Bezhanishvili and D
Reference 6
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T15:24:43.831082Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 5e128e0b-683d-49f8-9939-603122889677 · outbound
This paper cites Bezhanishvili, D.
NNIL-formulas revisited: universal models and finite model property Bezhanishvili, D
Reference 7
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T15:24:43.817932Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 5a943c9a-8a03-420e-a183-7074ae41732b · outbound
This paper cites Chagrov and M.
NNIL-formulas revisited: universal models and finite model property Chagrov and M
Reference 8
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T15:24:43.804825Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 08e07161-8f3a-4a6a-874c-c05ac01b689b · outbound
This paper cites Contrini and Y.
NNIL-formulas revisited: universal models and finite model property Contrini and Y
Reference 9
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T15:24:43.790452Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 6a4fd10f-9db4-47dc-923b-60da3301eb0d · outbound
This paper cites van Dalen.
NNIL-formulas revisited: universal models and finite model property van Dalen
Reference 10
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T15:24:43.776788Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 7dd0fe1b-0890-4b10-8814-408ab381c735 · outbound
This paper cites de Jongh.
NNIL-formulas revisited: universal models and finite model property de Jongh
Reference 11
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T15:24:43.764217Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation c220fd1a-7443-419a-a90d-fc6e57851c2d · outbound
This paper cites de Jongh and A.
NNIL-formulas revisited: universal models and finite model property de Jongh and A
Reference 12
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T15:24:43.751158Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation a7771ee8-776d-4aaa-943e-9ba8628e6eb1 · outbound
This paper cites an unresolved cited work.
NNIL-formulas revisited: universal models and finite model property Unresolved cited work
Reference 13
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T15:24:43.737586Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 99b70075-4dac-4187-986c-f61d5b735bfd · outbound
This paper cites Ghilardi.
NNIL-formulas revisited: universal models and finite model property Ghilardi
Reference 14
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T15:24:43.724502Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 91455230-949e-472e-b5cf-02b438390222 · outbound
This paper cites Metsniereba.
NNIL-formulas revisited: universal models and finite model property Metsniereba
Reference 15
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T15:24:43.710269Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation a9e418e3-8ea0-4fd6-9bdd-0c4552ac032f · outbound
This paper cites Hendriks.
NNIL-formulas revisited: universal models and finite model property Hendriks
Reference 16
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T15:24:43.692864Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 7ac96c3d-071b-4821-a882-e13f0e2db7e4 · outbound
This paper cites an unresolved cited work.
NNIL-formulas revisited: universal models and finite model property Unresolved cited work
Reference 17
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T15:24:43.678233Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 11ba82b0-a354-4bd9-8f7a-59eabce2aa7e · outbound
This paper cites an unresolved cited work.
NNIL-formulas revisited: universal models and finite model property Unresolved cited work
Reference 18
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T15:24:43.664213Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 8a03a581-20bb-4fc4-bf05-8416b96a07a5 · outbound
This paper cites an unresolved cited work.
NNIL-formulas revisited: universal models and finite model property Unresolved cited work
Reference 19
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T15:24:43.649751Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation d07fe74b-53b1-4cf1-bb56-65b99226a1d2 · outbound
This paper cites de Jongh and F.
NNIL-formulas revisited: universal models and finite model property de Jongh and F
Reference 20
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T15:24:43.634794Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 8a27f97e-804c-4ddd-b04b-f73eea8da731 · outbound
This paper cites Nishimura.
NNIL-formulas revisited: universal models and finite model property Nishimura
Reference 21
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T15:24:43.621640Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 4c9ee306-99be-4e4e-a7a3-4b98b936d65e · outbound
This paper cites Renardel de Lavalette, A.
NNIL-formulas revisited: universal models and finite model property Renardel de Lavalette, A
Reference 22
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T15:24:43.607784Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation d8837ec3-dc26-4801-bed8-78eb02d02bd9 · outbound
This paper cites an unresolved cited work.
NNIL-formulas revisited: universal models and finite model property Unresolved cited work
Reference 23
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T15:24:43.592299Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation a432aeb5-0c9d-4b5b-9513-0d85eec52435 · outbound
This paper cites an unresolved cited work.
NNIL-formulas revisited: universal models and finite model property Unresolved cited work
Reference 24
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T15:24:43.578009Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation c95a32f7-be5d-4e2c-8004-99b36336504f · outbound
This paper cites Shehtman.
NNIL-formulas revisited: universal models and finite model property Shehtman
Reference 25
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T15:24:43.563330Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation dae0731f-5776-4677-a0a8-5e637baee08f · outbound
This paper cites an unresolved cited work.
NNIL-formulas revisited: universal models and finite model property Unresolved cited work
Reference 26
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T15:24:43.546157Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation f06ad310-6bf5-4ad3-9e1f-b6323677141d · outbound
This paper cites an unresolved cited work.
NNIL-formulas revisited: universal models and finite model property Unresolved cited work
Reference 27
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T15:24:43.531900Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 173ecc79-b931-4079-a3ab-fe3cec82f641 · outbound
This paper cites Visser, D.
NNIL-formulas revisited: universal models and finite model property Visser, D
Reference 28
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T15:24:43.518100Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 33481159-ae60-4243-8522-5e446baabdb2 · outbound
This paper cites an unresolved cited work.
NNIL-formulas revisited: universal models and finite model property Unresolved cited work
Reference 29
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T15:24:43.504246Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 6cbfcadf-1b6e-4e90-83a4-5255d496cdad · outbound
This paper cites Zakharyaschev.
NNIL-formulas revisited: universal models and finite model property Zakharyaschev
Reference 30
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T15:24:43.489389Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Pith citing papers
No inbound Pith citation observations are available.