[{"data":1,"prerenderedAt":232},["ShallowReactive",2],{"ki-evidenznetz-dossier-project-cordis-101167561-f32e13b0":3},{"edges":4,"entity":16,"fingerprint":53,"generatedAt":54,"neighbors":55,"schemaVersion":231},[5],{"evidence":6,"evidenceClass":11,"from":12,"id":13,"relation":14,"to":15},{"dataset":7,"field":8,"sourceId":9,"url":10},"german-ai-innovation-path","cordis_project_code_and_participant_pic","cordis:101167561:participant:999990267","https:\u002F\u002Fcordis.europa.eu\u002Fproject\u002Fid\u002F101167561","exact","actor:cordis-pic:999990267","claim:funding:101167561:999990267","participates_in","cordis:101167561",{"attributes":17,"description":37,"edgeCount":25,"id":15,"indexable":38,"label":39,"links":40,"slug":48,"sourceRefs":49,"type":52},{"acronym":18,"code":19,"endDate":20,"frameworkProgramme":21,"funding":22,"knowledgeFlow":27,"research":30,"startDate":36},"DynAMiCs","101167561","2031-04-30","HORIZON",{"currency":23,"germanNetEuContributionCents":24,"participantEdgeCount":25,"status":26},"EUR","463298075",1,"linked",{"citingCountryCount":25,"citingInstitutionCount":25,"distinctCitingWorkCount":25,"firstObservedCitationDate":28,"lastObservedCitationDate":28,"observedCitationEdgeCount":25,"status":29},"2026-10-11","full_input_observation",{"citationDataOutputCount":31,"citedOutputCount":32,"firstPublicationDate":33,"lastPublicationDate":34,"openAccessOutputCount":31,"outputCount":31,"status":26,"totalCitations":32,"typeCounts":35},10,0,"2025-01-01","2026-03-31",{"dataset":32,"other":32,"publication":31,"software":32},"2025-05-01","Dynamical and Arithmetical Model Checking",true,"DynAMiCs · Dynamical and Arithmetical Model Checking",[41,44],{"kind":42,"label":43,"url":10},"official_source","CORDIS",{"kind":45,"label":46,"url":47},"local_dossier","KI-Innovationspfad","\u002Ftools\u002Fki-innovationspfad\u002F?project=101167561","project-cordis-101167561-f32e13b0",[50],{"dataset":7,"field":51,"sourceId":15,"url":10},"cordis_project_id","project","sha256:e06b5101726a3af52365bf09da37d955ec70665ae2f98b31b133ac810672f7a0","2026-11-15T08:35:37.204Z",[56],{"attributes":57,"edgeCount":70,"id":12,"indexable":38,"label":59,"links":71,"slug":226,"sourceRefs":227,"type":230},{"aliases":58,"identifiers":60,"identityBasis":64,"kind":65,"lanes":66,"roles":68},[59],"MAX-PLANCK-GESELLSCHAFT ZUR FORDERUNG DER WISSENSCHAFTEN EV",[61],{"scheme":62,"value":63},"cordis-pic","999990267","official_identifier","organization",[67],"funding",[69],"funding_participant",77,[72,75,77,79,81,83,85,87,89,91,93,95,97,99,101,103,105,107,109,111,113,115,117,119,121,123,125,126,128,130,132,134,136,138,140,142,144,146,148,150,152,154,156,158,160,162,164,166,168,170,172,174,176,178,180,182,184,186,188,190,192,194,196,198,200,202,204,206,208,210,212,214,216,218,220,222,224],{"kind":73,"label":7,"url":74},"evidence_source","https:\u002F\u002Fcordis.europa.eu\u002Fproject\u002Fid\u002F101003469",{"kind":73,"label":7,"url":76},"https:\u002F\u002Fcordis.europa.eu\u002Fproject\u002Fid\u002F101003536",{"kind":73,"label":7,"url":78},"https:\u002F\u002Fcordis.europa.eu\u002Fproject\u002Fid\u002F101034439",{"kind":73,"label":7,"url":80},"https:\u002F\u002Fcordis.europa.eu\u002Fproject\u002Fid\u002F101039090",{"kind":73,"label":7,"url":82},"https:\u002F\u002Fcordis.europa.eu\u002Fproject\u002Fid\u002F101039712",{"kind":73,"label":7,"url":84},"https:\u002F\u002Fcordis.europa.eu\u002Fproject\u002Fid\u002F101045454",{"kind":73,"label":7,"url":86},"https:\u002F\u002Fcordis.europa.eu\u002Fproject\u002Fid\u002F101057604",{"kind":73,"label":7,"url":88},"https:\u002F\u002Fcordis.europa.eu\u002Fproject\u002Fid\u002F101058547",{"kind":73,"label":7,"url":90},"https:\u002F\u002Fcordis.europa.eu\u002Fproject\u002Fid\u002F101059547",{"kind":73,"label":7,"url":92},"https:\u002F\u002Fcordis.europa.eu\u002Fproject\u002Fid\u002F101064539",{"kind":73,"label":7,"url":94},"https:\u002F\u002Fcordis.europa.eu\u002Fproject\u002Fid\u002F101070588",{"kind":73,"label":7,"url":96},"https:\u002F\u002Fcordis.europa.eu\u002Fproject\u002Fid\u002F101071203",{"kind":73,"label":7,"url":98},"https:\u002F\u002Fcordis.europa.eu\u002Fproject\u002Fid\u002F101071224",{"kind":73,"label":7,"url":100},"https:\u002F\u002Fcordis.europa.eu\u002Fproject\u002Fid\u002F101081383",{"kind":73,"label":7,"url":102},"https:\u002F\u002Fcordis.europa.eu\u002Fproject\u002Fid\u002F101086179",{"kind":73,"label":7,"url":104},"https:\u002F\u002Fcordis.europa.eu\u002Fproject\u002Fid\u002F101087822",{"kind":73,"label":7,"url":106},"https:\u002F\u002Fcordis.europa.eu\u002Fproject\u002Fid\u002F101111457",{"kind":73,"label":7,"url":108},"https:\u002F\u002Fcordis.europa.eu\u002Fproject\u002Fid\u002F101116284",{"kind":73,"label":7,"url":110},"https:\u002F\u002Fcordis.europa.eu\u002Fproject\u002Fid\u002F101116715",{"kind":73,"label":7,"url":112},"https:\u002F\u002Fcordis.europa.eu\u002Fproject\u002Fid\u002F101119924",{"kind":73,"label":7,"url":114},"https:\u002F\u002Fcordis.europa.eu\u002Fproject\u002Fid\u002F101120237",{"kind":73,"label":7,"url":116},"https:\u002F\u002Fcordis.europa.eu\u002Fproject\u002Fid\u002F101137682",{"kind":73,"label":7,"url":118},"https:\u002F\u002Fcordis.europa.eu\u002Fproject\u002Fid\u002F101156161",{"kind":73,"label":7,"url":120},"https:\u002F\u002Fcordis.europa.eu\u002Fproject\u002Fid\u002F101157840",{"kind":73,"label":7,"url":122},"https:\u002F\u002Fcordis.europa.eu\u002Fproject\u002Fid\u002F101165179",{"kind":73,"label":7,"url":124},"https:\u002F\u002Fcordis.europa.eu\u002Fproject\u002Fid\u002F101167289",{"kind":73,"label":7,"url":10},{"kind":73,"label":7,"url":127},"https:\u002F\u002Fcordis.europa.eu\u002Fproject\u002Fid\u002F101169607",{"kind":73,"label":7,"url":129},"https:\u002F\u002Fcordis.europa.eu\u002Fproject\u002Fid\u002F101170362",{"kind":73,"label":7,"url":131},"https:\u002F\u002Fcordis.europa.eu\u002Fproject\u002Fid\u002F101209198",{"kind":73,"label":7,"url":133},"https:\u002F\u002Fcordis.europa.eu\u002Fproject\u002Fid\u002F101221906",{"kind":73,"label":7,"url":135},"https:\u002F\u002Fcordis.europa.eu\u002Fproject\u002Fid\u002F101222996",{"kind":73,"label":7,"url":137},"https:\u002F\u002Fcordis.europa.eu\u002Fproject\u002Fid\u002F101226456",{"kind":73,"label":7,"url":139},"https:\u002F\u002Fcordis.europa.eu\u002Fproject\u002Fid\u002F101226762",{"kind":73,"label":7,"url":141},"https:\u002F\u002Fcordis.europa.eu\u002Fproject\u002Fid\u002F101227034",{"kind":73,"label":7,"url":143},"https:\u002F\u002Fcordis.europa.eu\u002Fproject\u002Fid\u002F101229406",{"kind":73,"label":7,"url":145},"https:\u002F\u002Fcordis.europa.eu\u002Fproject\u002Fid\u002F101250347",{"kind":73,"label":7,"url":147},"https:\u002F\u002Fcordis.europa.eu\u002Fproject\u002Fid\u002F101278020",{"kind":73,"label":7,"url":149},"https:\u002F\u002Fcordis.europa.eu\u002Fproject\u002Fid\u002F101278403",{"kind":73,"label":7,"url":151},"https:\u002F\u002Fcordis.europa.eu\u002Fproject\u002Fid\u002F101282597",{"kind":73,"label":7,"url":153},"https:\u002F\u002Fcordis.europa.eu\u002Fproject\u002Fid\u002F101312622",{"kind":73,"label":7,"url":155},"https:\u002F\u002Fcordis.europa.eu\u002Fproject\u002Fid\u002F633428",{"kind":73,"label":7,"url":157},"https:\u002F\u002Fcordis.europa.eu\u002Fproject\u002Fid\u002F637472",{"kind":73,"label":7,"url":159},"https:\u002F\u002Fcordis.europa.eu\u002Fproject\u002Fid\u002F637935",{"kind":73,"label":7,"url":161},"https:\u002F\u002Fcordis.europa.eu\u002Fproject\u002Fid\u002F643052",{"kind":73,"label":7,"url":163},"https:\u002F\u002Fcordis.europa.eu\u002Fproject\u002Fid\u002F654462",{"kind":73,"label":7,"url":165},"https:\u002F\u002Fcordis.europa.eu\u002Fproject\u002Fid\u002F660086",{"kind":73,"label":7,"url":167},"https:\u002F\u002Fcordis.europa.eu\u002Fproject\u002Fid\u002F676531",{"kind":73,"label":7,"url":169},"https:\u002F\u002Fcordis.europa.eu\u002Fproject\u002Fid\u002F676580",{"kind":73,"label":7,"url":171},"https:\u002F\u002Fcordis.europa.eu\u002Fproject\u002Fid\u002F686547",{"kind":73,"label":7,"url":173},"https:\u002F\u002Fcordis.europa.eu\u002Fproject\u002Fid\u002F715650",{"kind":73,"label":7,"url":175},"https:\u002F\u002Fcordis.europa.eu\u002Fproject\u002Fid\u002F737109",{"kind":73,"label":7,"url":177},"https:\u002F\u002Fcordis.europa.eu\u002Fproject\u002Fid\u002F748549",{"kind":73,"label":7,"url":179},"https:\u002F\u002Fcordis.europa.eu\u002Fproject\u002Fid\u002F748893",{"kind":73,"label":7,"url":181},"https:\u002F\u002Fcordis.europa.eu\u002Fproject\u002Fid\u002F749499",{"kind":73,"label":7,"url":183},"https:\u002F\u002Fcordis.europa.eu\u002Fproject\u002Fid\u002F757275",{"kind":73,"label":7,"url":185},"https:\u002F\u002Fcordis.europa.eu\u002Fproject\u002Fid\u002F757983",{"kind":73,"label":7,"url":187},"https:\u002F\u002Fcordis.europa.eu\u002Fproject\u002Fid\u002F770784",{"kind":73,"label":7,"url":189},"https:\u002F\u002Fcordis.europa.eu\u002Fproject\u002Fid\u002F780684",{"kind":73,"label":7,"url":191},"https:\u002F\u002Fcordis.europa.eu\u002Fproject\u002Fid\u002F785907",{"kind":73,"label":7,"url":193},"https:\u002F\u002Fcordis.europa.eu\u002Fproject\u002Fid\u002F789373",{"kind":73,"label":7,"url":195},"https:\u002F\u002Fcordis.europa.eu\u002Fproject\u002Fid\u002F793609",{"kind":73,"label":7,"url":197},"https:\u002F\u002Fcordis.europa.eu\u002Fproject\u002Fid\u002F795246",{"kind":73,"label":7,"url":199},"https:\u002F\u002Fcordis.europa.eu\u002Fproject\u002Fid\u002F798091",{"kind":73,"label":7,"url":201},"https:\u002F\u002Fcordis.europa.eu\u002Fproject\u002Fid\u002F798321",{"kind":73,"label":7,"url":203},"https:\u002F\u002Fcordis.europa.eu\u002Fproject\u002Fid\u002F813120",{"kind":73,"label":7,"url":205},"https:\u002F\u002Fcordis.europa.eu\u002Fproject\u002Fid\u002F813533",{"kind":73,"label":7,"url":207},"https:\u002F\u002Fcordis.europa.eu\u002Fproject\u002Fid\u002F814645",{"kind":73,"label":7,"url":209},"https:\u002F\u002Fcordis.europa.eu\u002Fproject\u002Fid\u002F820437",{"kind":73,"label":7,"url":211},"https:\u002F\u002Fcordis.europa.eu\u002Fproject\u002Fid\u002F829044",{"kind":73,"label":7,"url":213},"https:\u002F\u002Fcordis.europa.eu\u002Fproject\u002Fid\u002F840701",{"kind":73,"label":7,"url":215},"https:\u002F\u002Fcordis.europa.eu\u002Fproject\u002Fid\u002F852669",{"kind":73,"label":7,"url":217},"https:\u002F\u002Fcordis.europa.eu\u002Fproject\u002Fid\u002F862862",{"kind":73,"label":7,"url":219},"https:\u002F\u002Fcordis.europa.eu\u002Fproject\u002Fid\u002F895747",{"kind":73,"label":7,"url":221},"https:\u002F\u002Fcordis.europa.eu\u002Fproject\u002Fid\u002F897042",{"kind":73,"label":7,"url":223},"https:\u002F\u002Fcordis.europa.eu\u002Fproject\u002Fid\u002F899794",{"kind":73,"label":7,"url":225},"https:\u002F\u002Fcordis.europa.eu\u002Fproject\u002Fid\u002F945719","actor-cordis-pic-999990267-1cddf7b5",[228],{"dataset":7,"field":64,"recordCount":70,"sourceId":229,"url":74},"cordis:101003469:participant:999990267","actor","ki-evidenznetz.entity.v1",1794732295768]