Bây giờ, nếu giấy có, nói, sáu trích dẫn, chúng tôi có thể xem xét việc lưu trữ trong cơ sở thực tế của chúng tôi sáu lần xuất hiện của ref ("MousaviZ11"), nhưng đó sẽ là không có hậu quả hợp lý kể từ idempotence được giả định trong ngữ nghĩa của chương trình logic.
đang được dịch, vui lòng đợi..