{
  "edges": [
    {
      "evidence": {
        "dataset": "german-ai-research-to-transfer-index",
        "field": "cordis_project_code",
        "sourceId": "101167561:output:384f02f1e5bf6c2c561cc060",
        "url": "https://cordis.europa.eu/project/id/101167561"
      },
      "evidenceClass": "exact",
      "from": "cordis:101167561",
      "id": "edge:project-output:101167561:384f02f1e5bf6c2c561cc060",
      "relation": "has_observed_output",
      "to": "output:384f02f1e5bf6c2c561cc060"
    }
  ],
  "entity": {
    "attributes": {
      "citationCount": 0,
      "isOpenAccess": true,
      "openAireId": "doi_dedup___::1f3d5013ee2c279ae09d55f492468054",
      "outputType": "publication",
      "persistentIdentifiers": [
        {
          "scheme": "arXiv",
          "value": "2507.11234"
        },
        {
          "scheme": "doi",
          "value": "10.1137/1.9781611978971.191"
        },
        {
          "scheme": "doi",
          "value": "10.48550/arxiv.2507.11234"
        },
        {
          "scheme": "handle",
          "value": "21.11116/0000-0012-51E2-1"
        },
        {
          "scheme": "handle",
          "value": "21.11116/0000-0012-51E4-F"
        }
      ],
      "publicationDate": "2026-01-01"
    },
    "edgeCount": 1,
    "id": "output:384f02f1e5bf6c2c561cc060",
    "indexable": true,
    "label": "On the Complexity of the Skolem Problem at Low Orders",
    "links": [
      {
        "kind": "official_source",
        "label": "OpenAIRE",
        "url": "https://api.openaire.eu/graph/v3/research-products/doi_dedup___%3A%3A1f3d5013ee2c279ae09d55f492468054"
      },
      {
        "kind": "persistent_identifier",
        "label": "DOI 10.1137/1.9781611978971.191",
        "url": "https://doi.org/10.1137/1.9781611978971.191"
      },
      {
        "kind": "persistent_identifier",
        "label": "DOI 10.48550/arxiv.2507.11234",
        "url": "https://doi.org/10.48550/arxiv.2507.11234"
      }
    ],
    "slug": "output-384f02f1e5bf6c2c561cc060-93c33fa4",
    "sourceRefs": [
      {
        "dataset": "german-ai-research-to-transfer-index",
        "field": "openaire_research_product_id",
        "sourceId": "doi_dedup___::1f3d5013ee2c279ae09d55f492468054",
        "url": "https://api.openaire.eu/graph/v3/research-products/doi_dedup___%3A%3A1f3d5013ee2c279ae09d55f492468054"
      }
    ],
    "type": "output"
  },
  "fingerprint": "sha256:087482219212770506ff899e594e0a7a81d9364dec47ddbb75108148c214c0ff",
  "generatedAt": "2026-10-01T08:35:18.410Z",
  "neighbors": [
    {
      "attributes": {
        "acronym": "DynAMiCs",
        "code": "101167561",
        "endDate": "2031-04-30",
        "frameworkProgramme": "HORIZON",
        "funding": {
          "currency": "EUR",
          "germanNetEuContributionCents": "463298075",
          "participantEdgeCount": 1,
          "status": "linked"
        },
        "knowledgeFlow": null,
        "research": {
          "citationDataOutputCount": 10,
          "citedOutputCount": 0,
          "firstPublicationDate": "2025-01-01",
          "lastPublicationDate": "2026-03-31",
          "openAccessOutputCount": 10,
          "outputCount": 10,
          "status": "linked",
          "totalCitations": 0,
          "typeCounts": {
            "dataset": 0,
            "other": 0,
            "publication": 10,
            "software": 0
          }
        },
        "startDate": "2025-05-01"
      },
      "description": "Dynamical and Arithmetical Model Checking",
      "edgeCount": 8,
      "id": "cordis:101167561",
      "indexable": true,
      "label": "DynAMiCs · Dynamical and Arithmetical Model Checking",
      "links": [
        {
          "kind": "official_source",
          "label": "CORDIS",
          "url": "https://cordis.europa.eu/project/id/101167561"
        },
        {
          "kind": "local_dossier",
          "label": "KI-Innovationspfad",
          "url": "/tools/ki-innovationspfad/?project=101167561"
        }
      ],
      "slug": "project-cordis-101167561-f32e13b0",
      "sourceRefs": [
        {
          "dataset": "german-ai-innovation-path",
          "field": "cordis_project_id",
          "sourceId": "cordis:101167561",
          "url": "https://cordis.europa.eu/project/id/101167561"
        }
      ],
      "type": "project"
    }
  ],
  "schemaVersion": "ki-evidenznetz.entity.v1"
}