{"as_of":"2026-08-16T16:21:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:5361f80568058ac69a650f045f34edac80f276466ac0a5bc33d212fccca6ba88","coverage":[{"denominator":30,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":30,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-14T15:24:43.451801Z","state":"measured"},{"denominator":30,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":30,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-16T06:30:59.297886+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/1908.01635/citation-record","integrity":"/paper/1908.01635/integrity","json":"/paper/1908.01635/citation-record.json","paper":"/paper/1908.01635"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T15:24:43.899325Z","title":"Bellissima","venue":null,"work_id":"2a3f7a7b-e68a-4ad9-91e5-df7d9d6071f0","year":1986},"citing_paper":{"arxiv_id":"1908.01635","last_updated":"2020-08-22T21:50:46Z","snapshot_observed_at":"2026-08-16T15:33:42.577977Z","submitted_at":"2019-08-05T14:10:13Z","title":"NNIL-formulas revisited: universal models and finite model property","version":2},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-14T15:24:43.326423Z"},"links":{"citing_paper":"/paper/1908.01635"},"observation_digest":"sha256:5e9f05f7223c899e8910e5d4a589b2b8e020a8cc03bdf29e6da06318e88dd78d","observation_id":"3e648f54-8073-419e-a083-7854d428e242","resolution":{"observed_at":"2026-08-14T15:24:43.903644Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T15:24:43.884793Z","title":"Bezhanishvili and S","venue":null,"work_id":"b42aa5c1-6923-4c08-8a40-354860714904","year":2007},"citing_paper":{"arxiv_id":"1908.01635","last_updated":"2020-08-22T21:50:46Z","snapshot_observed_at":"2026-08-16T15:33:42.577977Z","submitted_at":"2019-08-05T14:10:13Z","title":"NNIL-formulas revisited: universal models and finite model property","version":2},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-14T15:24:43.331793Z"},"links":{"citing_paper":"/paper/1908.01635"},"observation_digest":"sha256:5d4afc877d5d817f1b537f6a73ef2d59b5bab0b977a34c7f8408c652b51ea14c","observation_id":"78a51d84-b228-4a2b-b4f2-a69290e5d20c","resolution":{"observed_at":"2026-08-14T15:24:43.889535Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T15:24:43.870039Z","title":"Bezhanishvili","venue":null,"work_id":"361c7465-0e6f-456d-94de-30fa24ba1a5e","year":2006},"citing_paper":{"arxiv_id":"1908.01635","last_updated":"2020-08-22T21:50:46Z","snapshot_observed_at":"2026-08-16T15:33:42.577977Z","submitted_at":"2019-08-05T14:10:13Z","title":"NNIL-formulas revisited: universal models and finite model property","version":2},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-14T15:24:43.335949Z"},"links":{"citing_paper":"/paper/1908.01635"},"observation_digest":"sha256:d47107e644117494e0e4fa29d8c099f266a923107de050d8c205525e4db99379","observation_id":"8ab87781-8998-4a3e-a49e-4568d82284bb","resolution":{"observed_at":"2026-08-14T15:24:43.874823Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T15:24:43.854557Z","title":"Bezhanishvili","venue":null,"work_id":"d185c74c-eb44-4d10-81db-e607cf3279ec","year":2008},"citing_paper":{"arxiv_id":"1908.01635","last_updated":"2020-08-22T21:50:46Z","snapshot_observed_at":"2026-08-16T15:33:42.577977Z","submitted_at":"2019-08-05T14:10:13Z","title":"NNIL-formulas revisited: universal models and finite model property","version":2},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-14T15:24:43.339852Z"},"links":{"citing_paper":"/paper/1908.01635"},"observation_digest":"sha256:1c51d50d00de4a07f514c1364ab88a39f3f3d4bf91dee79ddb041e67575e847d","observation_id":"a44c1d48-82df-4290-8951-13a74ac14f9e","resolution":{"observed_at":"2026-08-14T15:24:43.858810Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T15:24:43.840166Z","title":"Bezhanishvili, D","venue":null,"work_id":"bd142473-0572-430b-9d17-069a876e7dcd","year":2013},"citing_paper":{"arxiv_id":"1908.01635","last_updated":"2020-08-22T21:50:46Z","snapshot_observed_at":"2026-08-16T15:33:42.577977Z","submitted_at":"2019-08-05T14:10:13Z","title":"NNIL-formulas revisited: universal models and finite model property","version":2},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-14T15:24:43.343996Z"},"links":{"citing_paper":"/paper/1908.01635"},"observation_digest":"sha256:e4e1d6bb0f19231e86d01eb6688c663c0acc987ad7b9304e68ae5abd7d39fc2f","observation_id":"a0cf6e5b-1d40-4c65-87ef-2913b88827c0","resolution":{"observed_at":"2026-08-14T15:24:43.844119Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T15:24:43.826537Z","title":"Bezhanishvili and D","venue":null,"work_id":"42c8f201-4ab9-4590-bb9c-185565bec49e","year":2018},"citing_paper":{"arxiv_id":"1908.01635","last_updated":"2020-08-22T21:50:46Z","snapshot_observed_at":"2026-08-16T15:33:42.577977Z","submitted_at":"2019-08-05T14:10:13Z","title":"NNIL-formulas revisited: universal models and finite model property","version":2},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-14T15:24:43.348659Z"},"links":{"citing_paper":"/paper/1908.01635"},"observation_digest":"sha256:a1845bf132d4db1970e06e6085e05c889334a4be60b08a6919b21f7350b7018e","observation_id":"315a7449-e166-4241-98ba-2480b1330417","resolution":{"observed_at":"2026-08-14T15:24:43.831082Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T15:24:43.814023Z","title":"Bezhanishvili, D","venue":null,"work_id":"e88b9026-bd96-4aa3-ae91-8185a8547bc8","year":2015},"citing_paper":{"arxiv_id":"1908.01635","last_updated":"2020-08-22T21:50:46Z","snapshot_observed_at":"2026-08-16T15:33:42.577977Z","submitted_at":"2019-08-05T14:10:13Z","title":"NNIL-formulas revisited: universal models and finite model property","version":2},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-14T15:24:43.353529Z"},"links":{"citing_paper":"/paper/1908.01635"},"observation_digest":"sha256:0d90180977cdb27a809236b23c2797ef0fa1ab24f23ee457caa14982a17d4b4b","observation_id":"5e128e0b-683d-49f8-9939-603122889677","resolution":{"observed_at":"2026-08-14T15:24:43.817932Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T15:24:43.799648Z","title":"Chagrov and M","venue":null,"work_id":"2bf1ea50-530d-47fa-ab7f-31fef9baf949","year":1997},"citing_paper":{"arxiv_id":"1908.01635","last_updated":"2020-08-22T21:50:46Z","snapshot_observed_at":"2026-08-16T15:33:42.577977Z","submitted_at":"2019-08-05T14:10:13Z","title":"NNIL-formulas revisited: universal models and finite model property","version":2},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-14T15:24:43.357908Z"},"links":{"citing_paper":"/paper/1908.01635"},"observation_digest":"sha256:fea5d1519d99c4a893193a3f1e70c15d3d776f803ed548e0d98427a924872e5a","observation_id":"5a943c9a-8a03-420e-a183-7074ae41732b","resolution":{"observed_at":"2026-08-14T15:24:43.804825Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T15:24:43.785789Z","title":"Contrini and Y","venue":null,"work_id":"31b297ab-9a87-4bd1-b67f-7366321cea37","year":2013},"citing_paper":{"arxiv_id":"1908.01635","last_updated":"2020-08-22T21:50:46Z","snapshot_observed_at":"2026-08-16T15:33:42.577977Z","submitted_at":"2019-08-05T14:10:13Z","title":"NNIL-formulas revisited: universal models and finite model property","version":2},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-14T15:24:43.361674Z"},"links":{"citing_paper":"/paper/1908.01635"},"observation_digest":"sha256:97ad58b41d5ba8c65be2fe57f2e83373aef9c2e98ecc1716de1a39a855c54af6","observation_id":"08e07161-8f3a-4a6a-874c-c05ac01b689b","resolution":{"observed_at":"2026-08-14T15:24:43.790452Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T15:24:43.772750Z","title":"van Dalen","venue":null,"work_id":"d3b5975e-6185-4ba1-818b-72484834f8e7","year":1986},"citing_paper":{"arxiv_id":"1908.01635","last_updated":"2020-08-22T21:50:46Z","snapshot_observed_at":"2026-08-16T15:33:42.577977Z","submitted_at":"2019-08-05T14:10:13Z","title":"NNIL-formulas revisited: universal models and finite model property","version":2},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-14T15:24:43.365617Z"},"links":{"citing_paper":"/paper/1908.01635"},"observation_digest":"sha256:fd46452297928208a52b3532c1a91538ab917b28cd41ac75d759416cc97c9f8c","observation_id":"6a4fd10f-9db4-47dc-923b-60da3301eb0d","resolution":{"observed_at":"2026-08-14T15:24:43.776788Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T15:24:43.760104Z","title":"de Jongh","venue":null,"work_id":"9705bc07-f74c-4fc5-98d7-1c66d138581d","year":1968},"citing_paper":{"arxiv_id":"1908.01635","last_updated":"2020-08-22T21:50:46Z","snapshot_observed_at":"2026-08-16T15:33:42.577977Z","submitted_at":"2019-08-05T14:10:13Z","title":"NNIL-formulas revisited: universal models and finite model property","version":2},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-14T15:24:43.369658Z"},"links":{"citing_paper":"/paper/1908.01635"},"observation_digest":"sha256:2210a732d77bdf99b027d8fb3ce4ee8688104dd25a4d919b97a069c5ce2d21ec","observation_id":"7dd0fe1b-0890-4b10-8814-408ab381c735","resolution":{"observed_at":"2026-08-14T15:24:43.764217Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T15:24:43.747144Z","title":"de Jongh and A","venue":null,"work_id":"4c05a014-2a1a-408e-a58e-8b5e1b5c9975","year":1993},"citing_paper":{"arxiv_id":"1908.01635","last_updated":"2020-08-22T21:50:46Z","snapshot_observed_at":"2026-08-16T15:33:42.577977Z","submitted_at":"2019-08-05T14:10:13Z","title":"NNIL-formulas revisited: universal models and finite model property","version":2},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-14T15:24:43.373674Z"},"links":{"citing_paper":"/paper/1908.01635"},"observation_digest":"sha256:afe6824925277e03b8f6772a2a2eacd564cefa6d833ead06e49d0aa17abfb227","observation_id":"c220fd1a-7443-419a-a90d-fc6e57851c2d","resolution":{"observed_at":"2026-08-14T15:24:43.751158Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T15:24:43.733393Z","title":null,"venue":null,"work_id":"05ba4093-0b91-4ec7-a880-e3a0757c1694","year":1985},"citing_paper":{"arxiv_id":"1908.01635","last_updated":"2020-08-22T21:50:46Z","snapshot_observed_at":"2026-08-16T15:33:42.577977Z","submitted_at":"2019-08-05T14:10:13Z","title":"NNIL-formulas revisited: universal models and finite model property","version":2},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-14T15:24:43.378376Z"},"links":{"citing_paper":"/paper/1908.01635"},"observation_digest":"sha256:735f6e1ac9c8022eb32ed40fb298b87148c685aa0fd29933265529efecab22ad","observation_id":"a7771ee8-776d-4aaa-943e-9ba8628e6eb1","resolution":{"observed_at":"2026-08-14T15:24:43.737586Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T15:24:43.719366Z","title":"Ghilardi","venue":null,"work_id":"11009c48-c0f5-4a22-827f-1f3ce65ee6dc","year":1992},"citing_paper":{"arxiv_id":"1908.01635","last_updated":"2020-08-22T21:50:46Z","snapshot_observed_at":"2026-08-16T15:33:42.577977Z","submitted_at":"2019-08-05T14:10:13Z","title":"NNIL-formulas revisited: universal models and finite model property","version":2},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-14T15:24:43.382481Z"},"links":{"citing_paper":"/paper/1908.01635"},"observation_digest":"sha256:fd35021698b0a985360d7a3890eb92744c222367d59ade789d5699e3968d7cd5","observation_id":"99b70075-4dac-4187-986c-f61d5b735bfd","resolution":{"observed_at":"2026-08-14T15:24:43.724502Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T15:24:43.704907Z","title":"Metsniereba","venue":null,"work_id":"e70079c7-fdf5-4d9d-a98e-33173084339e","year":1987},"citing_paper":{"arxiv_id":"1908.01635","last_updated":"2020-08-22T21:50:46Z","snapshot_observed_at":"2026-08-16T15:33:42.577977Z","submitted_at":"2019-08-05T14:10:13Z","title":"NNIL-formulas revisited: universal models and finite model property","version":2},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-14T15:24:43.386066Z"},"links":{"citing_paper":"/paper/1908.01635"},"observation_digest":"sha256:db24b4a87ad41350cd206cbba1847e20552cfe9a1b144ea11bb4987319394035","observation_id":"91455230-949e-472e-b5cf-02b438390222","resolution":{"observed_at":"2026-08-14T15:24:43.710269Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T15:24:43.687212Z","title":"Hendriks","venue":null,"work_id":"3514cdfd-dc33-4401-9457-088e16a2eaf1","year":1996},"citing_paper":{"arxiv_id":"1908.01635","last_updated":"2020-08-22T21:50:46Z","snapshot_observed_at":"2026-08-16T15:33:42.577977Z","submitted_at":"2019-08-05T14:10:13Z","title":"NNIL-formulas revisited: universal models and finite model property","version":2},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-14T15:24:43.389956Z"},"links":{"citing_paper":"/paper/1908.01635"},"observation_digest":"sha256:38918dd49417aca2701bc07530a1eeebb471776035ba8fa98cab4f29cba1121f","observation_id":"a9e418e3-8ea0-4fd6-9bdd-0c4552ac032f","resolution":{"observed_at":"2026-08-14T15:24:43.692864Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T15:24:43.673705Z","title":null,"venue":null,"work_id":"e7cfad5e-d95e-4205-8350-5e4cff81a573","year":2018},"citing_paper":{"arxiv_id":"1908.01635","last_updated":"2020-08-22T21:50:46Z","snapshot_observed_at":"2026-08-16T15:33:42.577977Z","submitted_at":"2019-08-05T14:10:13Z","title":"NNIL-formulas revisited: universal models and finite model property","version":2},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-14T15:24:43.393777Z"},"links":{"citing_paper":"/paper/1908.01635"},"observation_digest":"sha256:ffa3a511f58f9202573388a511bf5f25c2a64e580ec34dfa0526d714368995e5","observation_id":"7ac96c3d-071b-4821-a882-e13f0e2db7e4","resolution":{"observed_at":"2026-08-14T15:24:43.678233Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T15:24:43.659842Z","title":null,"venue":null,"work_id":"f201d868-25cd-4648-8520-9891b7d4efba","year":2016},"citing_paper":{"arxiv_id":"1908.01635","last_updated":"2020-08-22T21:50:46Z","snapshot_observed_at":"2026-08-16T15:33:42.577977Z","submitted_at":"2019-08-05T14:10:13Z","title":"NNIL-formulas revisited: universal models and finite model property","version":2},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-14T15:24:43.397609Z"},"links":{"citing_paper":"/paper/1908.01635"},"observation_digest":"sha256:ebcdb95ca152339cc8c5e1e420610bd474c6f9ef7d14f3fecbb0d66b4a6be6b6","observation_id":"11ba82b0-a354-4bd9-8f7a-59eabce2aa7e","resolution":{"observed_at":"2026-08-14T15:24:43.664213Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T15:24:43.644729Z","title":null,"venue":null,"work_id":"ad8d21a8-7dee-455e-9df2-959039ad979a","year":2016},"citing_paper":{"arxiv_id":"1908.01635","last_updated":"2020-08-22T21:50:46Z","snapshot_observed_at":"2026-08-16T15:33:42.577977Z","submitted_at":"2019-08-05T14:10:13Z","title":"NNIL-formulas revisited: universal models and finite model property","version":2},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-14T15:24:43.401302Z"},"links":{"citing_paper":"/paper/1908.01635"},"observation_digest":"sha256:021d62e92c2fa87403e66aece7f1df1cb21041466e683b1d6027e7a9142f106f","observation_id":"8a03a581-20bb-4fc4-bf05-8416b96a07a5","resolution":{"observed_at":"2026-08-14T15:24:43.649751Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T15:24:43.630640Z","title":"de Jongh and F","venue":null,"work_id":"6aa0f79b-efb2-4b80-a453-c9f6e813d3b2","year":2011},"citing_paper":{"arxiv_id":"1908.01635","last_updated":"2020-08-22T21:50:46Z","snapshot_observed_at":"2026-08-16T15:33:42.577977Z","submitted_at":"2019-08-05T14:10:13Z","title":"NNIL-formulas revisited: universal models and finite model property","version":2},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-14T15:24:43.406013Z"},"links":{"citing_paper":"/paper/1908.01635"},"observation_digest":"sha256:620e0e435f85ece340903b0ba6f51dee83a5e9242cb9e0a7229a7b514c857af9","observation_id":"d07fe74b-53b1-4cf1-bb56-65b99226a1d2","resolution":{"observed_at":"2026-08-14T15:24:43.634794Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T15:24:43.617372Z","title":"Nishimura","venue":null,"work_id":"9cca9a65-a267-482e-b4b8-0f20e4a57182","year":1960},"citing_paper":{"arxiv_id":"1908.01635","last_updated":"2020-08-22T21:50:46Z","snapshot_observed_at":"2026-08-16T15:33:42.577977Z","submitted_at":"2019-08-05T14:10:13Z","title":"NNIL-formulas revisited: universal models and finite model property","version":2},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-14T15:24:43.411101Z"},"links":{"citing_paper":"/paper/1908.01635"},"observation_digest":"sha256:44b3b68367ff8714344e8739e1d0b9627dfc5621453b4f90c15a4bff1280c9e9","observation_id":"8a27f97e-804c-4ddd-b04b-f73eea8da731","resolution":{"observed_at":"2026-08-14T15:24:43.621640Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T15:24:43.603468Z","title":"Renardel de Lavalette, A","venue":null,"work_id":"615e73a2-9d32-430d-8619-dcd510e2b2b5","year":2012},"citing_paper":{"arxiv_id":"1908.01635","last_updated":"2020-08-22T21:50:46Z","snapshot_observed_at":"2026-08-16T15:33:42.577977Z","submitted_at":"2019-08-05T14:10:13Z","title":"NNIL-formulas revisited: universal models and finite model property","version":2},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-14T15:24:43.415659Z"},"links":{"citing_paper":"/paper/1908.01635"},"observation_digest":"sha256:7e2d540997ff74a5d87060b9cc860eb16b35b1433b4836b8ce5bc3052c882d79","observation_id":"4c9ee306-99be-4e4e-a7a3-4b98b936d65e","resolution":{"observed_at":"2026-08-14T15:24:43.607784Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T15:24:43.587671Z","title":null,"venue":null,"work_id":"c9342b16-1cc9-411d-9021-f9c2c89b7c28","year":1949},"citing_paper":{"arxiv_id":"1908.01635","last_updated":"2020-08-22T21:50:46Z","snapshot_observed_at":"2026-08-16T15:33:42.577977Z","submitted_at":"2019-08-05T14:10:13Z","title":"NNIL-formulas revisited: universal models and finite model property","version":2},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-14T15:24:43.421236Z"},"links":{"citing_paper":"/paper/1908.01635"},"observation_digest":"sha256:5470440f3b0e7278279a250872cffc04cf4314ec2de1d37ab10df593090a7301","observation_id":"d8837ec3-dc26-4801-bed8-78eb02d02bd9","resolution":{"observed_at":"2026-08-14T15:24:43.592299Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T15:24:43.573851Z","title":null,"venue":null,"work_id":"99795277-1859-497d-95aa-d91e124df01d","year":1997},"citing_paper":{"arxiv_id":"1908.01635","last_updated":"2020-08-22T21:50:46Z","snapshot_observed_at":"2026-08-16T15:33:42.577977Z","submitted_at":"2019-08-05T14:10:13Z","title":"NNIL-formulas revisited: universal models and finite model property","version":2},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-14T15:24:43.426084Z"},"links":{"citing_paper":"/paper/1908.01635"},"observation_digest":"sha256:035665f8e93d8e3213e4e35b2d9ce1f0c56674327c30da739df6be3609d5e335","observation_id":"a432aeb5-0c9d-4b5b-9513-0d85eec52435","resolution":{"observed_at":"2026-08-14T15:24:43.578009Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T15:24:43.558175Z","title":"Shehtman","venue":null,"work_id":"45e822ec-0c41-4bd8-ae92-3346958bd3cf","year":1978},"citing_paper":{"arxiv_id":"1908.01635","last_updated":"2020-08-22T21:50:46Z","snapshot_observed_at":"2026-08-16T15:33:42.577977Z","submitted_at":"2019-08-05T14:10:13Z","title":"NNIL-formulas revisited: universal models and finite model property","version":2},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-14T15:24:43.430110Z"},"links":{"citing_paper":"/paper/1908.01635"},"observation_digest":"sha256:d3d4b5be25d5109712cbea3f3cfdbab48fd356685d9127c684dc71e256e234da","observation_id":"c95a32f7-be5d-4e2c-8004-99b36336504f","resolution":{"observed_at":"2026-08-14T15:24:43.563330Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T15:24:43.541628Z","title":null,"venue":null,"work_id":"b5878e87-c40a-4d15-9a4a-aaf4ff9446dc","year":1979},"citing_paper":{"arxiv_id":"1908.01635","last_updated":"2020-08-22T21:50:46Z","snapshot_observed_at":"2026-08-16T15:33:42.577977Z","submitted_at":"2019-08-05T14:10:13Z","title":"NNIL-formulas revisited: universal models and finite model property","version":2},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-14T15:24:43.434160Z"},"links":{"citing_paper":"/paper/1908.01635"},"observation_digest":"sha256:33c92e5cca925633e24db27727fcf88ffc24210b02d1f9a6920a9a56a7d22958","observation_id":"dae0731f-5776-4677-a0a8-5e637baee08f","resolution":{"observed_at":"2026-08-14T15:24:43.546157Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T15:24:43.527009Z","title":null,"venue":null,"work_id":"3de67840-aaa4-4c5d-b025-81bbce91c558","year":1985},"citing_paper":{"arxiv_id":"1908.01635","last_updated":"2020-08-22T21:50:46Z","snapshot_observed_at":"2026-08-16T15:33:42.577977Z","submitted_at":"2019-08-05T14:10:13Z","title":"NNIL-formulas revisited: universal models and finite model property","version":2},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-14T15:24:43.438246Z"},"links":{"citing_paper":"/paper/1908.01635"},"observation_digest":"sha256:822127d62e2ea14b322f5bb1e96ac95c3a208a4a7621f9bd216caec6fccd9249","observation_id":"f06ad310-6bf5-4ad3-9e1f-b6323677141d","resolution":{"observed_at":"2026-08-14T15:24:43.531900Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T15:24:43.513310Z","title":"Visser, D","venue":null,"work_id":"eddd79c4-47a0-454c-86ee-62112d37e380","year":1995},"citing_paper":{"arxiv_id":"1908.01635","last_updated":"2020-08-22T21:50:46Z","snapshot_observed_at":"2026-08-16T15:33:42.577977Z","submitted_at":"2019-08-05T14:10:13Z","title":"NNIL-formulas revisited: universal models and finite model property","version":2},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-14T15:24:43.442336Z"},"links":{"citing_paper":"/paper/1908.01635"},"observation_digest":"sha256:4ef4613045e8f1c1a99e8026d56838d694fd83b83225680edc6d2c07d8ba2a25","observation_id":"173ecc79-b931-4079-a3ab-fe3cec82f641","resolution":{"observed_at":"2026-08-14T15:24:43.518100Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T15:24:43.499874Z","title":null,"venue":null,"work_id":"69b9d21f-5402-44f7-928e-e81bb520bf01","year":2008},"citing_paper":{"arxiv_id":"1908.01635","last_updated":"2020-08-22T21:50:46Z","snapshot_observed_at":"2026-08-16T15:33:42.577977Z","submitted_at":"2019-08-05T14:10:13Z","title":"NNIL-formulas revisited: universal models and finite model property","version":2},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-14T15:24:43.446439Z"},"links":{"citing_paper":"/paper/1908.01635"},"observation_digest":"sha256:91d1299816bec25c490d247907af9dffedfeafe5d3680e71ec93249f595d7b8a","observation_id":"33481159-ae60-4243-8522-5e446baabdb2","resolution":{"observed_at":"2026-08-14T15:24:43.504246Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T15:24:43.482446Z","title":"Zakharyaschev","venue":null,"work_id":"aabdc942-5680-46de-a4cf-f5c16c7a8f67","year":1989},"citing_paper":{"arxiv_id":"1908.01635","last_updated":"2020-08-22T21:50:46Z","snapshot_observed_at":"2026-08-16T15:33:42.577977Z","submitted_at":"2019-08-05T14:10:13Z","title":"NNIL-formulas revisited: universal models and finite model property","version":2},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-14T15:24:43.451801Z"},"links":{"citing_paper":"/paper/1908.01635"},"observation_digest":"sha256:6e8c980f95c29c7f9f910c434ed11ddf8558fd7df050ab292ffd1a7379ec6bc4","observation_id":"6cbfcadf-1b6e-4e90-83a4-5255d496cdad","resolution":{"observed_at":"2026-08-14T15:24:43.489389Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"1908.01635","last_updated":"2020-08-22T21:50:46Z","latest_version":2,"primary_category":"math.LO","snapshot_observed_at":"2026-08-16T15:33:42.577977Z","submitted_at":"2019-08-05T14:10:13Z","title":"NNIL-formulas revisited: universal models and finite model property"},"reference_resolution":{"displayed":30,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":9,"verified_exact":0,"verified_fuzzy":21},"total_outbound_references":30},"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-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"thesis":"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."}