[{"data":1,"prerenderedAt":93},["ShallowReactive",2],{"ki-evidenznetz-dossier-output-5324a7d8f80ff092f83da5af-f678afd0":3},{"edges":4,"entity":16,"fingerprint":56,"generatedAt":57,"neighbors":58,"schemaVersion":92},[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:5324a7d8f80ff092f83da5af","https:\u002F\u002Fcordis.europa.eu\u002Fproject\u002Fid\u002F101167561","exact","cordis:101167561","edge:project-output:101167561:5324a7d8f80ff092f83da5af","has_observed_output","output:5324a7d8f80ff092f83da5af",{"attributes":17,"edgeCount":37,"id":15,"indexable":19,"label":38,"links":39,"slug":51,"sourceRefs":52,"type":55},{"citationCount":18,"isOpenAccess":19,"openAireId":20,"outputType":21,"persistentIdentifiers":22,"publicationDate":36},0,true,"doi_dedup___::06f2671a77e5376a7610dcee63658d22","publication",[23,26,29,31,34],{"scheme":24,"value":25},"arXiv","2403.06515",{"scheme":27,"value":28},"doi","10.1109\u002Flics65433.2025.00055",{"scheme":27,"value":30},"10.48550\u002Farxiv.2403.06515",{"scheme":32,"value":33},"handle","21.11116\u002F0000-000F-5B85-5",{"scheme":32,"value":35},"21.11116\u002F0000-000F-5B87-3","2025-06-23",1,"Multiple Reachability in Linear Dynamical Systems",[40,44,48],{"kind":41,"label":42,"url":43},"official_source","OpenAIRE","https:\u002F\u002Fapi.openaire.eu\u002Fgraph\u002Fv3\u002Fresearch-products\u002Fdoi_dedup___%3A%3A06f2671a77e5376a7610dcee63658d22",{"kind":45,"label":46,"url":47},"persistent_identifier","DOI 10.1109\u002Flics65433.2025.00055","https:\u002F\u002Fdoi.org\u002F10.1109\u002Flics65433.2025.00055",{"kind":45,"label":49,"url":50},"DOI 10.48550\u002Farxiv.2403.06515","https:\u002F\u002Fdoi.org\u002F10.48550\u002Farxiv.2403.06515","output-5324a7d8f80ff092f83da5af-f678afd0",[53],{"dataset":7,"field":54,"sourceId":20,"url":43},"openaire_research_product_id","output","sha256:5f416b216b76f25b9519a3e6ea98f32a4fb14d11e748e087c211b9f608c25876","2026-10-01T08:35:18.410Z",[59],{"attributes":60,"description":76,"edgeCount":77,"id":12,"indexable":19,"label":78,"links":79,"slug":86,"sourceRefs":87,"type":91},{"acronym":61,"code":62,"endDate":63,"frameworkProgramme":64,"funding":65,"knowledgeFlow":69,"research":70,"startDate":75},"DynAMiCs","101167561","2031-04-30","HORIZON",{"currency":66,"germanNetEuContributionCents":67,"participantEdgeCount":37,"status":68},"EUR","463298075","linked",null,{"citationDataOutputCount":71,"citedOutputCount":18,"firstPublicationDate":72,"lastPublicationDate":73,"openAccessOutputCount":71,"outputCount":71,"status":68,"totalCitations":18,"typeCounts":74},10,"2025-01-01","2026-03-31",{"dataset":18,"other":18,"publication":71,"software":18},"2025-05-01","Dynamical and Arithmetical Model Checking",8,"DynAMiCs · Dynamical and Arithmetical Model Checking",[80,82],{"kind":41,"label":81,"url":10},"CORDIS",{"kind":83,"label":84,"url":85},"local_dossier","KI-Innovationspfad","\u002Ftools\u002Fki-innovationspfad\u002F?project=101167561","project-cordis-101167561-f32e13b0",[88],{"dataset":89,"field":90,"sourceId":12,"url":10},"german-ai-innovation-path","cordis_project_id","project","ki-evidenznetz.entity.v1",1790844167526]