(Eng:
unique names assumption) Soort bij-verstekredenering waarin ieder object een unieke naam heeft, zodat van een naam kan worden aangenomen dat het naar een specifiek object verwijst.
Gevonden op
https://www.angelfire.com/ca/vlietstra/KNSTINTL.pdf
(Eng:
unique names assumption) Soort bij-verstekredenering waarin ieder object een unieke naam heeft, zodat van een naam kan worden aangenomen dat het naar een specifiek object verwijst.
Gevonden op
https://www.angelfire.com/ca/vlietstra/KNSTINTL.pdf
Geen exacte overeenkomst gevonden.
