Démonstration automatique de théorèmes

Procédé de démonstration par ordinateur

Rare · Événement · logique mathématique

4Démonstration automatique de théorèmes

Événement, logique mathématiqueR

Chaos. En arrivant : les cartes adverses déjà ici perdent 2.

procédé de démonstration par ordinateur

5 346

4 723

Pl. 805411WikiArcana

Cette carte peut sortir de tes packs

10 packs offerts, sans paiement · 1,58 million de cartes

Recevoir mes 10 packs

D'où viennent les stats

Attaque: 5 346
Aucune donnée chiffrée sur Wikidata : la valeur dépend de la renommée du sujet.
Défense: 4 723
Aucune donnée chiffrée sur Wikidata : la valeur dépend de la renommée du sujet.

Résumé Wikipédia

Lire l'article sur Wikipédia

Données : Wikidata (CC0). Image : Agda proof.jpg sur Wikimedia Commons ; auteur et licence sur la page du fichier.

Signaler cette carte

Finitions

Chaque carte peut sortir d'un pack en plusieurs finitions ; le pourcentage est la chance qu'une carte tirée sorte dans celle-ci. Shiny et Gold renforcent aussi ses stats.

Cartes liées

Ces sujets sont reliés à Démonstration automatique de théorèmes dans Wikidata. En combat, posées sur le même territoire, les cartes liées se renforcent : +1 par lien (jusqu'à +3).

6Logique mathématique

Savoir, branche des mathématiquesM

Érudition. En arrivant : pioche une carte.

discipline des mathématiques étudiant celles-ci en tant que langage

8 951

8 994

Pl. 1484350WikiArcana

Cette carte peut sortir de tes packs

10 packs offerts, sans paiement · 1,58 million de cartes

Recevoir mes 10 packs