[{"data":1,"prerenderedAt":87},["ShallowReactive",2],{"ki-evidenznetz-dossier-output-d65668e4430fd1c2e4dcb9e3-9c0f6839":3},{"edges":4,"entity":16,"fingerprint":43,"generatedAt":44,"neighbors":45,"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","101093006:output:d65668e4430fd1c2e4dcb9e3","https:\u002F\u002Fcordis.europa.eu\u002Fproject\u002Fid\u002F101093006","exact","cordis:101093006","edge:project-output:101093006:d65668e4430fd1c2e4dcb9e3","has_observed_output","output:d65668e4430fd1c2e4dcb9e3",{"attributes":17,"edgeCount":27,"id":15,"indexable":19,"label":28,"links":29,"slug":38,"sourceRefs":39,"type":42},{"citationCount":18,"isOpenAccess":19,"openAireId":20,"outputType":21,"persistentIdentifiers":22,"publicationDate":26},4,true,"doi_dedup___::1727ec178056a0d0a4764d26e5e8746b","publication",[23],{"scheme":24,"value":25},"doi","10.1007\u002Fs10009-025-00795-0","2025-02-01",1,"Correct orchestration of federated learning generic algorithms: Python translation to CSP and verification by PAT",[30,34],{"kind":31,"label":32,"url":33},"official_source","OpenAIRE","https:\u002F\u002Fapi.openaire.eu\u002Fgraph\u002Fv3\u002Fresearch-products\u002Fdoi_dedup___%3A%3A1727ec178056a0d0a4764d26e5e8746b",{"kind":35,"label":36,"url":37},"persistent_identifier","DOI 10.1007\u002Fs10009-025-00795-0","https:\u002F\u002Fdoi.org\u002F10.1007\u002Fs10009-025-00795-0","output-d65668e4430fd1c2e4dcb9e3-9c0f6839",[40],{"dataset":7,"field":41,"sourceId":20,"url":33},"openaire_research_product_id","output","sha256:4465c602d14f2c0da1a07cc3ee584e1ed8a01a640be6bb9bbf817fa0b4c44983","2026-10-01T08:35:18.410Z",[46],{"attributes":47,"description":70,"edgeCount":71,"id":12,"indexable":19,"label":72,"links":73,"slug":80,"sourceRefs":81,"type":85},{"acronym":48,"code":49,"endDate":50,"frameworkProgramme":51,"funding":52,"knowledgeFlow":56,"research":57,"startDate":69},"TaRDIS","101093006","2026-03-31","HORIZON",{"currency":53,"germanNetEuContributionCents":54,"participantEdgeCount":27,"status":55},"EUR","70356125","linked",null,{"citationDataOutputCount":58,"citedOutputCount":59,"firstPublicationDate":60,"lastPublicationDate":61,"openAccessOutputCount":62,"outputCount":58,"status":55,"totalCitations":63,"typeCounts":64},89,37,"2022-01-01","2025-09-25",85,132,{"dataset":65,"other":66,"publication":67,"software":68},0,2,84,3,"2023-01-01","Trustworthy and Resilient Decentralised Intelligence for Edge Systems",17,"TaRDIS · Trustworthy and Resilient Decentralised Intelligence for Edge Systems",[74,76],{"kind":31,"label":75,"url":10},"CORDIS",{"kind":77,"label":78,"url":79},"local_dossier","KI-Innovationspfad","\u002Ftools\u002Fki-innovationspfad\u002F?project=101093006","project-cordis-101093006-ae4c8984",[82],{"dataset":83,"field":84,"sourceId":12,"url":10},"german-ai-innovation-path","cordis_project_id","project","ki-evidenznetz.entity.v1",1790844158209]