Fichier:Backjump-ignored.svg
Aller à la navigation
Aller à la recherche
Taille de cet aperçu PNG pour ce fichier SVG : 189 × 171 pixels. Autres résolutions : 265 × 240 pixels | 531 × 480 pixels | 849 × 768 pixels | 1 132 × 1 024 pixels | 2 264 × 2 048 pixels.
Fichier d’origine (Fichier SVG, nominalement de 189 × 171 pixels, taille : 8 kio)
Description
| Description | The nodes that have been skipped during a backjump can be ignored for further backjumps. This includes also subtrees that could have been avoided |
| Date | 11 février 2006 (date de téléversement originale) |
| Source | La source n’a pas pu être reconnue automatiquement. « Travail personnel » supposé (étant donné la revendication de droit d’auteur). |
| Auteur | L’auteur n’a pas pu être identifié automatiquement. Il est supposé qu'il s'agit de : Tizio (étant donné la revendication de droit d’auteur). |
Conditions d’utilisation
|
Moi, propriétaire des droits d’auteur sur cette œuvre, la place dans le domaine public. Ceci s'applique dans le monde entier. Dans certains pays, ceci peut ne pas être possible ; dans ce cas : J’accorde à toute personne le droit d’utiliser cette œuvre dans n’importe quel but, sans aucune condition, sauf celles requises par la loi. |
Historique du fichier
Cliquer sur une date et heure pour voir le fichier tel qu'il était à ce moment-là.
| Date et heure | Vignette | Dimensions | Utilisateur | Commentaire | |
|---|---|---|---|---|---|
| actuel | 11 février 2006 à 13:40 | | 189 × 171 (8 kio) | wikimediacommons>Tizio | One edge was missing |
Utilisation du fichier
La page suivante utilise ce fichier :
