[{"data":1,"prerenderedAt":87},["ShallowReactive",2],{"ki-evidenznetz-dossier-output-6f70928a2db5fb6cb16987a2-55ddf4a0":3},{"edges":4,"entity":16,"fingerprint":51,"generatedAt":52,"neighbors":53,"schemaVersion":86},[5],{"evidence":6,"evidenceClass":11,"from":12,"id":13,"relation":14,"to":15},{"dataset":7,"field":8,"sourceId":9,"url":10},"german-ai-research-to-transfer-index","cordis_project_code","101167561:output:6f70928a2db5fb6cb16987a2","https:\u002F\u002Fcordis.europa.eu\u002Fproject\u002Fid\u002F101167561","exact","cordis:101167561","edge:project-output:101167561:6f70928a2db5fb6cb16987a2","has_observed_output","output:6f70928a2db5fb6cb16987a2",{"attributes":17,"edgeCount":35,"id":15,"indexable":19,"label":36,"links":37,"slug":46,"sourceRefs":47,"type":50},{"citationCount":18,"isOpenAccess":19,"openAireId":20,"outputType":21,"persistentIdentifiers":22,"publicationDate":34},0,true,"doi_dedup___::d5131ecaf5acbbad330d00e05a7f94be","publication",[23,26,29,32],{"scheme":24,"value":25},"arXiv","2507.16581",{"scheme":27,"value":28},"doi","10.48550\u002Farxiv.2507.16581",{"scheme":30,"value":31},"handle","21.11116\u002F0000-0011-B2BF-D",{"scheme":30,"value":33},"21.11116\u002F0000-0011-B2C1-9","2025-01-01",1,"On Expansions of Monadic Second-Order Logic with Dynamical Predicates",[38,42],{"kind":39,"label":40,"url":41},"official_source","OpenAIRE","https:\u002F\u002Fapi.openaire.eu\u002Fgraph\u002Fv3\u002Fresearch-products\u002Fdoi_dedup___%3A%3Ad5131ecaf5acbbad330d00e05a7f94be",{"kind":43,"label":44,"url":45},"persistent_identifier","DOI 10.48550\u002Farxiv.2507.16581","https:\u002F\u002Fdoi.org\u002F10.48550\u002Farxiv.2507.16581","output-6f70928a2db5fb6cb16987a2-55ddf4a0",[48],{"dataset":7,"field":49,"sourceId":20,"url":41},"openaire_research_product_id","output","sha256:e1a662a64aee8685e9bb9acbc0370b29ebd4469154712ebed4f6262c8c0ecbbf","2026-10-01T08:35:18.410Z",[54],{"attributes":55,"description":70,"edgeCount":71,"id":12,"indexable":19,"label":72,"links":73,"slug":80,"sourceRefs":81,"type":85},{"acronym":56,"code":57,"endDate":58,"frameworkProgramme":59,"funding":60,"knowledgeFlow":64,"research":65,"startDate":69},"DynAMiCs","101167561","2031-04-30","HORIZON",{"currency":61,"germanNetEuContributionCents":62,"participantEdgeCount":35,"status":63},"EUR","463298075","linked",null,{"citationDataOutputCount":66,"citedOutputCount":18,"firstPublicationDate":34,"lastPublicationDate":67,"openAccessOutputCount":66,"outputCount":66,"status":63,"totalCitations":18,"typeCounts":68},10,"2026-03-31",{"dataset":18,"other":18,"publication":66,"software":18},"2025-05-01","Dynamical and Arithmetical Model Checking",8,"DynAMiCs · Dynamical and Arithmetical Model Checking",[74,76],{"kind":39,"label":75,"url":10},"CORDIS",{"kind":77,"label":78,"url":79},"local_dossier","KI-Innovationspfad","\u002Ftools\u002Fki-innovationspfad\u002F?project=101167561","project-cordis-101167561-f32e13b0",[82],{"dataset":83,"field":84,"sourceId":12,"url":10},"german-ai-innovation-path","cordis_project_id","project","ki-evidenznetz.entity.v1",1790844168760]