{
  "edges": [
    {
      "evidence": {
        "dataset": "german-ai-research-to-transfer-index",
        "field": "cordis_project_code",
        "sourceId": "681988:output:a7a75adc0462dea88183da4e",
        "url": "https://cordis.europa.eu/project/id/681988"
      },
      "evidenceClass": "exact",
      "from": "cordis:681988",
      "id": "edge:project-output:681988:a7a75adc0462dea88183da4e",
      "relation": "has_observed_output",
      "to": "output:a7a75adc0462dea88183da4e"
    }
  ],
  "entity": {
    "attributes": {
      "citationCount": 1,
      "isOpenAccess": true,
      "openAireId": "doi_dedup___::b96003b0233fe8ca69d708736489e260",
      "outputType": "publication",
      "persistentIdentifiers": [
        {
          "scheme": "arXiv",
          "value": "2010.05677"
        },
        {
          "scheme": "doi",
          "value": "10.1145/3779418"
        },
        {
          "scheme": "doi",
          "value": "10.48550/arxiv.2010.05677"
        }
      ],
      "publicationDate": "2026-02-12"
    },
    "edgeCount": 1,
    "id": "output:a7a75adc0462dea88183da4e",
    "indexable": true,
    "label": "Datalog-Expressibility for Monadic and Guarded Second-Order Logic",
    "links": [
      {
        "kind": "official_source",
        "label": "OpenAIRE",
        "url": "https://api.openaire.eu/graph/v3/research-products/doi_dedup___%3A%3Ab96003b0233fe8ca69d708736489e260"
      },
      {
        "kind": "persistent_identifier",
        "label": "DOI 10.1145/3779418",
        "url": "https://doi.org/10.1145/3779418"
      },
      {
        "kind": "persistent_identifier",
        "label": "DOI 10.48550/arxiv.2010.05677",
        "url": "https://doi.org/10.48550/arxiv.2010.05677"
      }
    ],
    "slug": "output-a7a75adc0462dea88183da4e-db98935f",
    "sourceRefs": [
      {
        "dataset": "german-ai-research-to-transfer-index",
        "field": "openaire_research_product_id",
        "sourceId": "doi_dedup___::b96003b0233fe8ca69d708736489e260",
        "url": "https://api.openaire.eu/graph/v3/research-products/doi_dedup___%3A%3Ab96003b0233fe8ca69d708736489e260"
      }
    ],
    "type": "output"
  },
  "fingerprint": "sha256:7a825cbe6787ca819e18272d209c10a7b538fdcdd9f2fe0f016f79852e2937d1",
  "generatedAt": "2026-07-21T08:59:15.288Z",
  "neighbors": [
    {
      "attributes": {
        "acronym": "CSP-Infinity",
        "code": "681988",
        "endDate": "2021-09-30",
        "frameworkProgramme": "H2020",
        "funding": {
          "currency": "EUR",
          "germanNetEuContributionCents": "141625000",
          "participantEdgeCount": 1,
          "status": "linked"
        },
        "knowledgeFlow": {
          "citingCountryCount": 1,
          "citingInstitutionCount": 1,
          "distinctCitingWorkCount": 1,
          "firstObservedCitationDate": "2021-06-29",
          "lastObservedCitationDate": "2021-06-29",
          "observedCitationEdgeCount": 1,
          "status": "bounded_observation"
        },
        "research": {
          "citationDataOutputCount": 84,
          "citedOutputCount": 60,
          "firstPublicationDate": "2017-01-01",
          "lastPublicationDate": "2026-02-12",
          "openAccessOutputCount": 76,
          "outputCount": 84,
          "status": "linked",
          "totalCitations": 582,
          "typeCounts": {
            "dataset": 0,
            "other": 0,
            "publication": 84,
            "software": 0
          }
        },
        "startDate": "2016-10-01"
      },
      "description": "Homogeneous Structures, Constraint Satisfaction Problems, and Topological Clones",
      "edgeCount": 4,
      "id": "cordis:681988",
      "indexable": true,
      "label": "CSP-Infinity · Homogeneous Structures, Constraint Satisfaction Problems, and Topological Clones",
      "links": [
        {
          "kind": "official_source",
          "label": "CORDIS",
          "url": "https://cordis.europa.eu/project/id/681988"
        },
        {
          "kind": "local_dossier",
          "label": "KI-Innovationspfad",
          "url": "/tools/ki-innovationspfad/?project=681988"
        }
      ],
      "slug": "project-cordis-681988-5e30c273",
      "sourceRefs": [
        {
          "dataset": "german-ai-innovation-path",
          "field": "cordis_project_id",
          "sourceId": "cordis:681988",
          "url": "https://cordis.europa.eu/project/id/681988"
        }
      ],
      "type": "project"
    }
  ],
  "schemaVersion": "ki-evidenznetz.entity.v1"
}
