אנגלית ⇄ גרמנית +

instantiation principle
.בינה	Instantiierungsprinzip n (des Prädikatenkalküls)