الجملة 1: جيب هو مساعد إثبات جرافيكي قابل للتكوين ، طوره في الأصل ريتشارد بورنات في جامعة كوين ماري ، جامعة لندن ، وبرنارد سفرين من جامعة أكسفورد. الجملة 2: جيب هو مساعد إثبات جرافيكي قابل للتكوين ، طوره أصلاً بيرنارد سفرين في جامعة كوين ماري ، جامعة لندن وريتشارد بورنات في جامعة أكسفورد. سؤال: الجملة 1 والجملة 2 بتعبر عن نفس المعنى؟ نعم ولا لا؟