The MRS Dictionary
–AI Classics/files/AI/classics/KSL REPORTS/Report 80-24.pdf
So. up to a point, does (achi.v. ( Note that propositions stashed in theories other than the currently writeable one are not affected. It is the user's responsibility to ensure that there are never two or more theories active which use different representations for the same proposition.)
Jan-25-2015, 21:19:44 GMT