【替代實例】
英語翻譯：substitutioninstance
【辭書名稱】資訊與通信術語辭典
在述詞演算過程中，若以ti（i＝1,2,...n）來替代演算式中原有之變數，即可得出演算式的替代實例。