Файл:Backjump-variables-1.svg
Розмір цього попереднього перегляду PNG для вихідного SVG-файлу: 144 × 126 пікселів. Інші роздільності: 274 × 240 пікселів | 549 × 480 пікселів | 878 × 768 пікселів | 1170 × 1024 пікселів | 2341 × 2048 пікселів.
Повна роздільність (SVG-файл, номінально 144 × 126 пікселів, розмір файлу: 7 КБ)
|
Відомості про цей файл містяться на Вікісховищі — централізованому сховищі вільних файлів мультимедіа для використання у проектах Фонду Вікімедіа. |
Опис файлу
| Опис | An example of backjumping: in this case, all assignments to x5 have been proved inconsistent with the current value of x1..x4. Normally, backtracking would change the value of x4. The next image Image:Backjump-variables-2.svg shows the case in which the value of x4 is actually irrelevant |
| Час створення | 8 лютого 2006 (дата завантаження оригінального файлу) |
| Джерело | Не вказане машиночитабельне джерело. Припускаємо, що це власна робота (на основі заяви про авторські права). |
| Автор | Не вказано машиночитабельного автора. Припускаємо, що автором є Tizio (на основі заяви про авторські права). |
Ліцензування
|
Я, власник авторських прав на цю роботу, передаю роботу в суспільне надбання. Застосовується по всьому світу. У деяких країнах це не може бути юридично можливо, в такому випадку: Я даю кожному право на використання цієї роботи для будь-яких цілей, без будь-яких умов, якщо такі умови не вимагаються за законом. |
Історія файлу
Клацніть на дату/час, щоб переглянути, як тоді виглядав файл.
| Дата/час | Мініатюра | Розмір об'єкта | Користувач | Коментар | |
|---|---|---|---|---|---|
| поточний | 20:22, 8 лютого 2006 | | 144 × 126 (7 КБ) | Tizio | White background |
| 14:13, 8 лютого 2006 |  | 126 × 117 (7 КБ) | Tizio | An example of backjumping: in this case, all assignments to x5 have been proved inconsistent with the current value of x1..x4. Normally, backtracking would change the value of x4. The next image Image:Backjump-variables-2.svg shows the case in which |
Використання файлу
Така сторінка використовує цей файл:
Глобальне використання файлу
Цей файл використовують такі інші вікі:
- Використання в en.wikipedia.org
- Використання в es.wikipedia.org
- Використання в fa.wikipedia.org
- Використання в fr.wikipedia.org
- Використання в sr.wikipedia.org
