Besonderhede van voorbeeld: -3629730753877689407

French

Le système d'Oscar de John Pollock (en) est un exemple d'argumentation automatisée bien plus spécifique qu'un « simple » assistant de preuve de théorème.

Japanese

John Pollock の Oscar システムは単なる自動定理証明機よりも自動論証システムといえるものである。