[{"data":1,"prerenderedAt":457},["ShallowReactive",2],{"ki-evidenznetz-dossier-project-cordis-101093006-ae4c8984":3},{"edges":4,"entity":99,"fingerprint":141,"generatedAt":142,"neighbors":143,"schemaVersion":456},[5,16,24,29,34,39,44,49,54,59,64,69,74,79,84,89,94],{"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:101093006:participant:912999891","https:\u002F\u002Fcordis.europa.eu\u002Fproject\u002Fid\u002F101093006","exact","actor:cordis-pic:912999891","claim:funding:101093006:912999891","participates_in","cordis:101093006",{"evidence":17,"evidenceClass":11,"from":15,"id":21,"relation":22,"to":23},{"dataset":18,"field":19,"sourceId":20,"url":10},"german-ai-research-to-transfer-index","cordis_project_code","101093006:output:16461ede17b217bb5c92c975","edge:project-output:101093006:16461ede17b217bb5c92c975","has_observed_output","output:16461ede17b217bb5c92c975",{"evidence":25,"evidenceClass":11,"from":15,"id":27,"relation":22,"to":28},{"dataset":18,"field":19,"sourceId":26,"url":10},"101093006:output:2a49acd58b6439a2e28dc42d","edge:project-output:101093006:2a49acd58b6439a2e28dc42d","output:2a49acd58b6439a2e28dc42d",{"evidence":30,"evidenceClass":11,"from":15,"id":32,"relation":22,"to":33},{"dataset":18,"field":19,"sourceId":31,"url":10},"101093006:output:3c6c40c2afb77c995ca69b55","edge:project-output:101093006:3c6c40c2afb77c995ca69b55","output:3c6c40c2afb77c995ca69b55",{"evidence":35,"evidenceClass":11,"from":15,"id":37,"relation":22,"to":38},{"dataset":18,"field":19,"sourceId":36,"url":10},"101093006:output:4d0027974ea7be1a762bb08d","edge:project-output:101093006:4d0027974ea7be1a762bb08d","output:4d0027974ea7be1a762bb08d",{"evidence":40,"evidenceClass":11,"from":15,"id":42,"relation":22,"to":43},{"dataset":18,"field":19,"sourceId":41,"url":10},"101093006:output:4f7e06583ec034fae107ebee","edge:project-output:101093006:4f7e06583ec034fae107ebee","output:4f7e06583ec034fae107ebee",{"evidence":45,"evidenceClass":11,"from":15,"id":47,"relation":22,"to":48},{"dataset":18,"field":19,"sourceId":46,"url":10},"101093006:output:659e898d55c4900a3816bfb2","edge:project-output:101093006:659e898d55c4900a3816bfb2","output:659e898d55c4900a3816bfb2",{"evidence":50,"evidenceClass":11,"from":15,"id":52,"relation":22,"to":53},{"dataset":18,"field":19,"sourceId":51,"url":10},"101093006:output:854301fc01104b0112f236a9","edge:project-output:101093006:854301fc01104b0112f236a9","output:854301fc01104b0112f236a9",{"evidence":55,"evidenceClass":11,"from":15,"id":57,"relation":22,"to":58},{"dataset":18,"field":19,"sourceId":56,"url":10},"101093006:output:914538fa15679e44a920bdda","edge:project-output:101093006:914538fa15679e44a920bdda","output:914538fa15679e44a920bdda",{"evidence":60,"evidenceClass":11,"from":15,"id":62,"relation":22,"to":63},{"dataset":18,"field":19,"sourceId":61,"url":10},"101093006:output:984f8a94ebe0474adc7c2a7b","edge:project-output:101093006:984f8a94ebe0474adc7c2a7b","output:984f8a94ebe0474adc7c2a7b",{"evidence":65,"evidenceClass":11,"from":15,"id":67,"relation":22,"to":68},{"dataset":18,"field":19,"sourceId":66,"url":10},"101093006:output:9aa2b32dff6ace0e45559fea","edge:project-output:101093006:9aa2b32dff6ace0e45559fea","output:9aa2b32dff6ace0e45559fea",{"evidence":70,"evidenceClass":11,"from":15,"id":72,"relation":22,"to":73},{"dataset":18,"field":19,"sourceId":71,"url":10},"101093006:output:a0f1366564f712b4b93197ed","edge:project-output:101093006:a0f1366564f712b4b93197ed","output:a0f1366564f712b4b93197ed",{"evidence":75,"evidenceClass":11,"from":15,"id":77,"relation":22,"to":78},{"dataset":18,"field":19,"sourceId":76,"url":10},"101093006:output:a4cc667d55de5feb8bd59a35","edge:project-output:101093006:a4cc667d55de5feb8bd59a35","output:a4cc667d55de5feb8bd59a35",{"evidence":80,"evidenceClass":11,"from":15,"id":82,"relation":22,"to":83},{"dataset":18,"field":19,"sourceId":81,"url":10},"101093006:output:bf89122d7585d2cb380b2b1d","edge:project-output:101093006:bf89122d7585d2cb380b2b1d","output:bf89122d7585d2cb380b2b1d",{"evidence":85,"evidenceClass":11,"from":15,"id":87,"relation":22,"to":88},{"dataset":18,"field":19,"sourceId":86,"url":10},"101093006:output:d65668e4430fd1c2e4dcb9e3","edge:project-output:101093006:d65668e4430fd1c2e4dcb9e3","output:d65668e4430fd1c2e4dcb9e3",{"evidence":90,"evidenceClass":11,"from":15,"id":92,"relation":22,"to":93},{"dataset":18,"field":19,"sourceId":91,"url":10},"101093006:output:d7a78f9ec06db2b45028a268","edge:project-output:101093006:d7a78f9ec06db2b45028a268","output:d7a78f9ec06db2b45028a268",{"evidence":95,"evidenceClass":11,"from":15,"id":97,"relation":22,"to":98},{"dataset":18,"field":19,"sourceId":96,"url":10},"101093006:output:e92f2596749cd8a477598d83","edge:project-output:101093006:e92f2596749cd8a477598d83","output:e92f2596749cd8a477598d83",{"attributes":100,"description":124,"edgeCount":125,"id":15,"indexable":126,"label":127,"links":128,"slug":136,"sourceRefs":137,"type":140},{"acronym":101,"code":102,"endDate":103,"frameworkProgramme":104,"funding":105,"knowledgeFlow":110,"research":111,"startDate":123},"TaRDIS","101093006","2026-03-31","HORIZON",{"currency":106,"germanNetEuContributionCents":107,"participantEdgeCount":108,"status":109},"EUR","70356125",1,"linked",null,{"citationDataOutputCount":112,"citedOutputCount":113,"firstPublicationDate":114,"lastPublicationDate":115,"openAccessOutputCount":116,"outputCount":112,"status":109,"totalCitations":117,"typeCounts":118},89,37,"2022-01-01","2025-09-25",85,132,{"dataset":119,"other":120,"publication":121,"software":122},0,2,84,3,"2023-01-01","Trustworthy and Resilient Decentralised Intelligence for Edge Systems",17,true,"TaRDIS · Trustworthy and Resilient Decentralised Intelligence for Edge Systems",[129,132],{"kind":130,"label":131,"url":10},"official_source","CORDIS",{"kind":133,"label":134,"url":135},"local_dossier","KI-Innovationspfad","\u002Ftools\u002Fki-innovationspfad\u002F?project=101093006","project-cordis-101093006-ae4c8984",[138],{"dataset":7,"field":139,"sourceId":15,"url":10},"cordis_project_id","project","sha256:5036c1044a297259c9b6c0fcf4ce27fd6a4bfdb15cff83df380c23740f6df473","2026-10-01T08:35:18.410Z",[144,165,181,197,216,227,238,263,296,309,327,355,366,377,403,421,440],{"attributes":145,"edgeCount":108,"id":12,"indexable":126,"label":147,"links":158,"slug":161,"sourceRefs":162,"type":164},{"aliases":146,"identifiers":148,"identityBasis":152,"kind":153,"lanes":154,"roles":156},[147],"ACTYX AG",[149],{"scheme":150,"value":151},"cordis-pic","912999891","official_identifier","organization",[155],"funding",[157],"funding_participant",[159],{"kind":160,"label":7,"url":10},"evidence_source","actor-cordis-pic-912999891-53cd5eed",[163],{"dataset":7,"field":152,"recordCount":108,"sourceId":9,"url":10},"actor",{"attributes":166,"edgeCount":108,"id":23,"indexable":126,"label":171,"links":172,"slug":176,"sourceRefs":177,"type":180},{"citationCount":119,"isOpenAccess":126,"openAireId":167,"outputType":168,"persistentIdentifiers":169,"publicationDate":170},"sygma_______::b5e71265b5009651bd9c271640ddccd4","other",[],"2025-01-27","Parameterized Complexity of Caching in Networks",[173],{"kind":130,"label":174,"url":175},"OpenAIRE","https:\u002F\u002Fapi.openaire.eu\u002Fgraph\u002Fv3\u002Fresearch-products\u002Fsygma_______%3A%3Ab5e71265b5009651bd9c271640ddccd4","output-16461ede17b217bb5c92c975-9a37d2d6",[178],{"dataset":18,"field":179,"sourceId":167,"url":175},"openaire_research_product_id","output",{"attributes":182,"edgeCount":108,"id":28,"indexable":126,"label":190,"links":191,"slug":194,"sourceRefs":195,"type":180},{"citationCount":119,"isOpenAccess":126,"openAireId":183,"outputType":184,"persistentIdentifiers":185,"publicationDate":189},"dedup_wf_002::2aa34237e79d7a8fcbcef2c8bd62b0a1","publication",[186],{"scheme":187,"value":188},"handle","10023\u002F32613","2025-01-01","Encoding choice and replication in roll-π",[192],{"kind":130,"label":174,"url":193},"https:\u002F\u002Fapi.openaire.eu\u002Fgraph\u002Fv3\u002Fresearch-products\u002Fdedup_wf_002%3A%3A2aa34237e79d7a8fcbcef2c8bd62b0a1","output-2a49acd58b6439a2e28dc42d-51a23b31",[196],{"dataset":18,"field":179,"sourceId":183,"url":193},{"attributes":198,"edgeCount":108,"id":33,"indexable":126,"label":205,"links":206,"slug":213,"sourceRefs":214,"type":180},{"citationCount":119,"isOpenAccess":199,"openAireId":200,"outputType":184,"persistentIdentifiers":201,"publicationDate":115},false,"doi_dedup___::87d863e7c454edbaa7119fd3f6f6f441",[202],{"scheme":203,"value":204},"doi","10.1007\u002F978-3-032-05291-9_18","Type Congruence, Duality and Iso-Recursive Binary Session Types",[207,209],{"kind":130,"label":174,"url":208},"https:\u002F\u002Fapi.openaire.eu\u002Fgraph\u002Fv3\u002Fresearch-products\u002Fdoi_dedup___%3A%3A87d863e7c454edbaa7119fd3f6f6f441",{"kind":210,"label":211,"url":212},"persistent_identifier","DOI 10.1007\u002F978-3-032-05291-9_18","https:\u002F\u002Fdoi.org\u002F10.1007\u002F978-3-032-05291-9_18","output-3c6c40c2afb77c995ca69b55-0e27c34d",[215],{"dataset":18,"field":179,"sourceId":200,"url":208},{"attributes":217,"edgeCount":108,"id":38,"indexable":126,"label":220,"links":221,"slug":224,"sourceRefs":225,"type":180},{"citationCount":119,"isOpenAccess":199,"openAireId":218,"outputType":184,"persistentIdentifiers":219,"publicationDate":189},"dedup_wf_002::479e165e6a18f0117544a6c08a0c2f3e",[],"Grading Call-By-Push-Value, Explicitly and Implicitly.",[222],{"kind":130,"label":174,"url":223},"https:\u002F\u002Fapi.openaire.eu\u002Fgraph\u002Fv3\u002Fresearch-products\u002Fdedup_wf_002%3A%3A479e165e6a18f0117544a6c08a0c2f3e","output-4d0027974ea7be1a762bb08d-21b0cbc3",[226],{"dataset":18,"field":179,"sourceId":218,"url":223},{"attributes":228,"edgeCount":108,"id":43,"indexable":126,"label":231,"links":232,"slug":235,"sourceRefs":236,"type":180},{"citationCount":119,"isOpenAccess":199,"openAireId":229,"outputType":184,"persistentIdentifiers":230,"publicationDate":189},"dedup_wf_002::f8914d4606a3395e3baa98a0185f0171",[],"Ensuring Convergence and Invariants Without Coordination (Artifact).",[233],{"kind":130,"label":174,"url":234},"https:\u002F\u002Fapi.openaire.eu\u002Fgraph\u002Fv3\u002Fresearch-products\u002Fdedup_wf_002%3A%3Af8914d4606a3395e3baa98a0185f0171","output-4f7e06583ec034fae107ebee-c8985ae8",[237],{"dataset":18,"field":179,"sourceId":229,"url":234},{"attributes":239,"edgeCount":108,"id":48,"indexable":126,"label":250,"links":251,"slug":260,"sourceRefs":261,"type":180},{"citationCount":122,"isOpenAccess":126,"openAireId":240,"outputType":184,"persistentIdentifiers":241,"publicationDate":249},"doi_dedup___::c8157a1d0b059d45faae4dd7d062fb38",[242,245,247],{"scheme":243,"value":244},"arXiv","2403.02661",{"scheme":203,"value":246},"10.1109\u002Ftse.2025.3593930",{"scheme":203,"value":248},"10.48550\u002Farxiv.2403.02661","2025-09-01","How to Save My Gas Fees: Understanding and Detecting Real-World Gas Issues in Solidity Programs",[252,254,257],{"kind":130,"label":174,"url":253},"https:\u002F\u002Fapi.openaire.eu\u002Fgraph\u002Fv3\u002Fresearch-products\u002Fdoi_dedup___%3A%3Ac8157a1d0b059d45faae4dd7d062fb38",{"kind":210,"label":255,"url":256},"DOI 10.1109\u002Ftse.2025.3593930","https:\u002F\u002Fdoi.org\u002F10.1109\u002Ftse.2025.3593930",{"kind":210,"label":258,"url":259},"DOI 10.48550\u002Farxiv.2403.02661","https:\u002F\u002Fdoi.org\u002F10.48550\u002Farxiv.2403.02661","output-659e898d55c4900a3816bfb2-7297572a",[262],{"dataset":18,"field":179,"sourceId":240,"url":253},{"attributes":264,"edgeCount":108,"id":53,"indexable":126,"label":171,"links":278,"slug":293,"sourceRefs":294,"type":180},{"citationCount":119,"isOpenAccess":126,"openAireId":265,"outputType":184,"persistentIdentifiers":266,"publicationDate":277},"doi_dedup___::73deda5619ce14dfe2a1318d6abfe259",[267,269,271,273,275],{"scheme":243,"value":268},"2412.16585",{"scheme":203,"value":270},"10.1609\u002Faaai.v39i11.33221",{"scheme":203,"value":272},"10.48550\u002Farxiv.2412.16585",{"scheme":203,"value":274},"10.5281\u002Fzenodo.14748608",{"scheme":203,"value":276},"10.5281\u002Fzenodo.14748609","2025-04-11",[279,281,284,287,290],{"kind":130,"label":174,"url":280},"https:\u002F\u002Fapi.openaire.eu\u002Fgraph\u002Fv3\u002Fresearch-products\u002Fdoi_dedup___%3A%3A73deda5619ce14dfe2a1318d6abfe259",{"kind":210,"label":282,"url":283},"DOI 10.1609\u002Faaai.v39i11.33221","https:\u002F\u002Fdoi.org\u002F10.1609\u002Faaai.v39i11.33221",{"kind":210,"label":285,"url":286},"DOI 10.48550\u002Farxiv.2412.16585","https:\u002F\u002Fdoi.org\u002F10.48550\u002Farxiv.2412.16585",{"kind":210,"label":288,"url":289},"DOI 10.5281\u002Fzenodo.14748608","https:\u002F\u002Fdoi.org\u002F10.5281\u002Fzenodo.14748608",{"kind":210,"label":291,"url":292},"DOI 10.5281\u002Fzenodo.14748609","https:\u002F\u002Fdoi.org\u002F10.5281\u002Fzenodo.14748609","output-854301fc01104b0112f236a9-3f11c544",[295],{"dataset":18,"field":179,"sourceId":265,"url":280},{"attributes":297,"edgeCount":108,"id":58,"indexable":126,"label":302,"links":303,"slug":306,"sourceRefs":307,"type":180},{"citationCount":119,"isOpenAccess":126,"openAireId":298,"outputType":184,"persistentIdentifiers":299,"publicationDate":189},"dedup_wf_002::c53ba9c3df063c022d16958e667afdfb",[300],{"scheme":187,"value":301},"10362\u002F186792","Ensuring Convergence and Invariants Without Coordination.",[304],{"kind":130,"label":174,"url":305},"https:\u002F\u002Fapi.openaire.eu\u002Fgraph\u002Fv3\u002Fresearch-products\u002Fdedup_wf_002%3A%3Ac53ba9c3df063c022d16958e667afdfb","output-914538fa15679e44a920bdda-cbc75f5f",[308],{"dataset":18,"field":179,"sourceId":298,"url":305},{"attributes":310,"edgeCount":108,"id":63,"indexable":126,"label":317,"links":318,"slug":324,"sourceRefs":325,"type":180},{"citationCount":119,"isOpenAccess":126,"openAireId":311,"outputType":184,"persistentIdentifiers":312,"publicationDate":189},"doi_dedup___::62a4a56dbd01676d310dd6c80e18a6a7",[313,315],{"scheme":243,"value":314},"2510.03941",{"scheme":203,"value":316},"10.48550\u002Farxiv.2510.03941","Unreliability in Practical Subclasses of Communicating Systems",[319,321],{"kind":130,"label":174,"url":320},"https:\u002F\u002Fapi.openaire.eu\u002Fgraph\u002Fv3\u002Fresearch-products\u002Fdoi_dedup___%3A%3A62a4a56dbd01676d310dd6c80e18a6a7",{"kind":210,"label":322,"url":323},"DOI 10.48550\u002Farxiv.2510.03941","https:\u002F\u002Fdoi.org\u002F10.48550\u002Farxiv.2510.03941","output-984f8a94ebe0474adc7c2a7b-0a38d533",[326],{"dataset":18,"field":179,"sourceId":311,"url":320},{"attributes":328,"edgeCount":108,"id":68,"indexable":126,"label":342,"links":343,"slug":352,"sourceRefs":353,"type":180},{"citationCount":120,"isOpenAccess":126,"openAireId":329,"outputType":184,"persistentIdentifiers":330,"publicationDate":341},"doi_dedup___::bd4f3b50fff49ba0db12c66ba6a97275",[331,333,335,337,339],{"scheme":243,"value":332},"2312.02851",{"scheme":203,"value":334},"10.46298\u002Flmcs-21(1:2)2025",{"scheme":203,"value":336},"10.48550\u002Farxiv.2312.02851",{"scheme":187,"value":338},"11576\u002F2750311",{"scheme":187,"value":340},"2158\u002F1439137","2025-01-10","Checkpoint-based rollback recovery in session programming",[344,346,349],{"kind":130,"label":174,"url":345},"https:\u002F\u002Fapi.openaire.eu\u002Fgraph\u002Fv3\u002Fresearch-products\u002Fdoi_dedup___%3A%3Abd4f3b50fff49ba0db12c66ba6a97275",{"kind":210,"label":347,"url":348},"DOI 10.46298\u002Flmcs-21(1:2)2025","https:\u002F\u002Fdoi.org\u002F10.46298\u002Flmcs-21(1:2)2025",{"kind":210,"label":350,"url":351},"DOI 10.48550\u002Farxiv.2312.02851","https:\u002F\u002Fdoi.org\u002F10.48550\u002Farxiv.2312.02851","output-9aa2b32dff6ace0e45559fea-d8a24973",[354],{"dataset":18,"field":179,"sourceId":329,"url":345},{"attributes":356,"edgeCount":108,"id":73,"indexable":126,"label":359,"links":360,"slug":363,"sourceRefs":364,"type":180},{"citationCount":119,"isOpenAccess":126,"openAireId":357,"outputType":184,"persistentIdentifiers":358,"publicationDate":189},"dedup_wf_002::1082af262e207ea81158f7aa42d9874e",[],"Formalising Subject Reduction and Progress for Multiparty Session Processes.",[361],{"kind":130,"label":174,"url":362},"https:\u002F\u002Fapi.openaire.eu\u002Fgraph\u002Fv3\u002Fresearch-products\u002Fdedup_wf_002%3A%3A1082af262e207ea81158f7aa42d9874e","output-a0f1366564f712b4b93197ed-a5d644a8",[365],{"dataset":18,"field":179,"sourceId":357,"url":362},{"attributes":367,"edgeCount":108,"id":78,"indexable":126,"label":370,"links":371,"slug":374,"sourceRefs":375,"type":180},{"citationCount":119,"isOpenAccess":126,"openAireId":368,"outputType":184,"persistentIdentifiers":369,"publicationDate":189},"dris___01492::ab3368d6862cec4a866c0d4ff149ce50",[],"Fine-Tuning LLMs for Croatian Text Retrieval",[372],{"kind":130,"label":174,"url":373},"https:\u002F\u002Fapi.openaire.eu\u002Fgraph\u002Fv3\u002Fresearch-products\u002Fdris___01492%3A%3Aab3368d6862cec4a866c0d4ff149ce50","output-a4cc667d55de5feb8bd59a35-b0787b8e",[376],{"dataset":18,"field":179,"sourceId":368,"url":373},{"attributes":378,"edgeCount":108,"id":83,"indexable":126,"label":390,"links":391,"slug":400,"sourceRefs":401,"type":180},{"citationCount":119,"isOpenAccess":126,"openAireId":379,"outputType":184,"persistentIdentifiers":380,"publicationDate":389},"doi_dedup___::355b14bfd88a158f1f9be38295c16b0c",[381,383,385,387],{"scheme":243,"value":382},"2311.11851",{"scheme":203,"value":384},"10.46298\u002Flmcs-21(2:5)2025",{"scheme":203,"value":386},"10.48550\u002Farxiv.2311.11851",{"scheme":187,"value":388},"10023\u002F32054","2025-04-18","Crash-Stop Failures in Asynchronous Multiparty Session Types",[392,394,397],{"kind":130,"label":174,"url":393},"https:\u002F\u002Fapi.openaire.eu\u002Fgraph\u002Fv3\u002Fresearch-products\u002Fdoi_dedup___%3A%3A355b14bfd88a158f1f9be38295c16b0c",{"kind":210,"label":395,"url":396},"DOI 10.46298\u002Flmcs-21(2:5)2025","https:\u002F\u002Fdoi.org\u002F10.46298\u002Flmcs-21(2:5)2025",{"kind":210,"label":398,"url":399},"DOI 10.48550\u002Farxiv.2311.11851","https:\u002F\u002Fdoi.org\u002F10.48550\u002Farxiv.2311.11851","output-bf89122d7585d2cb380b2b1d-aab79988",[402],{"dataset":18,"field":179,"sourceId":379,"url":393},{"attributes":404,"edgeCount":108,"id":88,"indexable":126,"label":411,"links":412,"slug":418,"sourceRefs":419,"type":180},{"citationCount":405,"isOpenAccess":126,"openAireId":406,"outputType":184,"persistentIdentifiers":407,"publicationDate":410},4,"doi_dedup___::1727ec178056a0d0a4764d26e5e8746b",[408],{"scheme":203,"value":409},"10.1007\u002Fs10009-025-00795-0","2025-02-01","Correct orchestration of federated learning generic algorithms: Python translation to CSP and verification by PAT",[413,415],{"kind":130,"label":174,"url":414},"https:\u002F\u002Fapi.openaire.eu\u002Fgraph\u002Fv3\u002Fresearch-products\u002Fdoi_dedup___%3A%3A1727ec178056a0d0a4764d26e5e8746b",{"kind":210,"label":416,"url":417},"DOI 10.1007\u002Fs10009-025-00795-0","https:\u002F\u002Fdoi.org\u002F10.1007\u002Fs10009-025-00795-0","output-d65668e4430fd1c2e4dcb9e3-9c0f6839",[420],{"dataset":18,"field":179,"sourceId":406,"url":414},{"attributes":422,"edgeCount":108,"id":93,"indexable":126,"label":430,"links":431,"slug":437,"sourceRefs":438,"type":180},{"citationCount":119,"isOpenAccess":126,"openAireId":423,"outputType":184,"persistentIdentifiers":424,"publicationDate":429},"doi_dedup___::252172e0cda9c0847e6a520e4555ecf5",[425,427],{"scheme":203,"value":426},"10.1145\u002F3721473.3722145",{"scheme":187,"value":428},"10362\u002F187570","2025-03-30","ReDunT: Automatically Deriving Redundancy Relations for Pure Op-Based CRDTs",[432,434],{"kind":130,"label":174,"url":433},"https:\u002F\u002Fapi.openaire.eu\u002Fgraph\u002Fv3\u002Fresearch-products\u002Fdoi_dedup___%3A%3A252172e0cda9c0847e6a520e4555ecf5",{"kind":210,"label":435,"url":436},"DOI 10.1145\u002F3721473.3722145","https:\u002F\u002Fdoi.org\u002F10.1145\u002F3721473.3722145","output-d7a78f9ec06db2b45028a268-94b4c0da",[439],{"dataset":18,"field":179,"sourceId":423,"url":433},{"attributes":441,"edgeCount":108,"id":98,"indexable":126,"label":446,"links":447,"slug":453,"sourceRefs":454,"type":180},{"citationCount":119,"isOpenAccess":126,"openAireId":442,"outputType":184,"persistentIdentifiers":443,"publicationDate":429},"doi_dedup___::259eea893e61797a97c405f45ac67646",[444],{"scheme":203,"value":445},"10.1145\u002F3721473.3722139","Towards Local-First Distributed Property Graphs",[448,450],{"kind":130,"label":174,"url":449},"https:\u002F\u002Fapi.openaire.eu\u002Fgraph\u002Fv3\u002Fresearch-products\u002Fdoi_dedup___%3A%3A259eea893e61797a97c405f45ac67646",{"kind":210,"label":451,"url":452},"DOI 10.1145\u002F3721473.3722139","https:\u002F\u002Fdoi.org\u002F10.1145\u002F3721473.3722139","output-e92f2596749cd8a477598d83-29a2d6f3",[455],{"dataset":18,"field":179,"sourceId":442,"url":449},"ki-evidenznetz.entity.v1",1790844224446]