Logiciel Qiana : Un formalisme du premier ordre pour quantifier les contextes et les formules Qiana Création le : 11-02-2024 Mis a jour le : 04-02-2025 Pierre-Henri Paris En maintenance MIT License