Paper Citation Record · LEDGER

NNIL-formulas revisited: universal models and finite model property

As of 23 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.

pith.paper-citation-record.v1
1908.01635 v2

Coverage vector

measured 30 of 30 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-14T15:24:43.451801Z

measured 30 of 30 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-23T06:30:58.430688+00:00

measured 0 of 0 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

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-23T06:30:58.430688+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-23T06:30:58.430688+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-23T06:30:58.430688+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-23T06:30:58.430688+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-23T06:30:58.430688+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-23T06:30:58.430688+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-23T06:30:58.430688+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-23T06:30:58.430688+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-23T06:30:58.430688+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-23T06:30:58.430688+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-23T06:30:58.430688+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-23T06:30:58.430688+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-23T06:30:58.430688+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-23T06:30:58.430688+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-23T06:30:58.430688+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-23T06:30:58.430688+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-23T06:30:58.430688+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-23T06:30:58.430688+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-23T06:30:58.430688+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-23T06:30:58.430688+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-23T06:30:58.430688+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-23T06:30:58.430688+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-23T06:30:58.430688+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-23T06:30:58.430688+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-23T06:30:58.430688+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-23T06:30:58.430688+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-23T06:30:58.430688+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-23T06:30:58.430688+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-23T06:30:58.430688+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-23T06:30:58.430688+00:00.

Pith citing papers

No inbound Pith citation observations are available.