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