[{"data":1,"prerenderedAt":93},["ShallowReactive",2],{"ki-evidenznetz-dossier-output-384f02f1e5bf6c2c561cc060-93c33fa4":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:384f02f1e5bf6c2c561cc060","https:\u002F\u002Fcordis.europa.eu\u002Fproject\u002Fid\u002F101167561","exact","cordis:101167561","edge:project-output:101167561:384f02f1e5bf6c2c561cc060","has_observed_output","output:384f02f1e5bf6c2c561cc060",{"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___::1f3d5013ee2c279ae09d55f492468054","publication",[23,26,29,31,34],{"scheme":24,"value":25},"arXiv","2507.11234",{"scheme":27,"value":28},"doi","10.1137\u002F1.9781611978971.191",{"scheme":27,"value":30},"10.48550\u002Farxiv.2507.11234",{"scheme":32,"value":33},"handle","21.11116\u002F0000-0012-51E2-1",{"scheme":32,"value":35},"21.11116\u002F0000-0012-51E4-F","2026-01-01",1,"On the Complexity of the Skolem Problem at Low Orders",[40,44,48],{"kind":41,"label":42,"url":43},"official_source","OpenAIRE","https:\u002F\u002Fapi.openaire.eu\u002Fgraph\u002Fv3\u002Fresearch-products\u002Fdoi_dedup___%3A%3A1f3d5013ee2c279ae09d55f492468054",{"kind":45,"label":46,"url":47},"persistent_identifier","DOI 10.1137\u002F1.9781611978971.191","https:\u002F\u002Fdoi.org\u002F10.1137\u002F1.9781611978971.191",{"kind":45,"label":49,"url":50},"DOI 10.48550\u002Farxiv.2507.11234","https:\u002F\u002Fdoi.org\u002F10.48550\u002Farxiv.2507.11234","output-384f02f1e5bf6c2c561cc060-93c33fa4",[53],{"dataset":7,"field":54,"sourceId":20,"url":43},"openaire_research_product_id","output","sha256:087482219212770506ff899e594e0a7a81d9364dec47ddbb75108148c214c0ff","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",1790844168815]