Frase 1: Jape è un assistente di prova grafica configurabile, originariamente sviluppato da Richard Bornat alla Queen Mary, Università di Londra, e Bernard Sufrin dell' Università di Oxford. Jape è un assistente di prova grafico configurabile, originariamente sviluppato da Bernard Sufrin alla Queen Mary, Università di Londra e Richard Bornat all' Università di Oxford. Domanda: La frase 1 e la frase 2 esprimono lo stesso significato? - Sì o no?
No, no, no.