Kalimat 1: Jape adalah asisten bukti grafis yang dapat dikonfigurasi, awalnya dikembangkan oleh Richard Bornat di Queen Mary, Universitas London, dan Bernard Sufrin dari Universitas Oxford. Kalimat 2: Jape adalah asisten bukti grafis yang dapat dikonfigurasi, awalnya dikembangkan oleh Bernard Sufrin di Queen Mary, Universitas London dan Richard Bornat dari Universitas Oxford. Pertanyaan: Apakah Kalimat 1 dan Kalimat 2 menyatakan makna yang sama? Ya atau tidak?
Tidak