Prémisse : Oscar Chisini (né le 4 mars 1889 à Bergame, mort le 10 avril 1967 à Milan) est un mathématicien italien. Il a introduit la moyenne de Chisini en 1929.
Hypothèse : Oscar Chisini est mort en 1967.
Relation : entailment