{"admin":{"created":{"date":"2025-09-19","schema_version":"2.1"},"last_modified":{"date":"2026-01-15","schema_version":"2.1"}},"domains":[],"established":2021,"external_ids":[],"id":"https://ror.org/0305gxg06","links":[{"type":"website","value":"https://www.inria.fr/equipes/deducteam"}],"locations":[{"geonames_details":{"continent_code":"EU","continent_name":"Europe","country_code":"FR","country_name":"France","country_subdivision_code":"IDF","country_subdivision_name":"Île-de-France","lat":48.7326,"lng":2.16923,"name":"Saclay"},"geonames_id":2982043}],"names":[{"lang":"fr","types":["alias"],"value":"DEDUCTEAM"},{"lang":"fr","types":["label","ror_display"],"value":"DEDUCTEAM: Deduction modulo, interopérabilité et démonstration automatique"}],"relationships":[{"label":"Centre Inria de Saclay","type":"parent","id":"https://ror.org/0315e5x55"},{"label":"Laboratoire Méthodes Formelles","type":"parent","id":"https://ror.org/00gdtta79"},{"label":"Centre Inria de l'Université Paris-Saclay","type":"parent","id":"https://ror.org/040753f36"}],"status":"active","types":["facility"]}