File:Relational-consistency-1.svg
Size of this PNG preview of this SVG file: 216 × 171 pixels. Other resolutions: 303 × 240 pixels | 606 × 480 pixels | 970 × 768 pixels | 1,280 × 1,013 pixels | 2,560 × 2,027 pixels.
Original file (SVG file, nominally 216 × 171 pixels, file size: 4 KB)
 | This is a file from the Wikimedia Commons. Information from its description page there is shown below. Commons is a freely licensed media file repository. You can help. |
Summary
| Description | i-consistency vs. relational i-consistency: this image shows regular i-consistency: assuming that the values of the encircled variables satisfy the constraint, a consistent extension to x exists; relational consisteny is shown in Image:Relational-consistency-2.svg |
| Date | 13 February 2006 (original upload date) |
| Source | No machine-readable source provided. Own work assumed (based on copyright claims). |
| Author | No machine-readable author provided. Tizio assumed (based on copyright claims). |
Licensing
|
I, the copyright holder of this work, release this work into the public domain. This applies worldwide. In some countries this may not be legally possible; if so: I grant anyone the right to use this work for any purpose, without any conditions, unless such conditions are required by law. |
File history
Click on a date/time to view the file as it appeared at that time.
| Date/Time | Thumbnail | Dimensions | User | Comment | |
|---|---|---|---|---|---|
| current | 15:10, 4 March 2006 | | 216 × 171 (4 KB) | Tizio | Modified to show constraints that are required to be satisfied here but not in the relational version |
| 17:07, 13 February 2006 |  | 216 × 171 (3 KB) | Tizio | i-consistency vs. relational i-consistency: this image shows regular i-consistency: assuming that the values of the encircled variables satisfy the constraint, a consistent extension to x exists; relational consisteny is shown in [[:Image:Relational-consi |
File usage
The following page uses this file:
