( صحه گذاریِ سازگاری ) در منطق و علوم رایانه؛ فرآیند بررسیِ اینکه آیا مجموعه ای از داده ها یا گزاره ها با هم تناقض دارند یا خیر+ عکس و لینک