Semantic resolution tree
சொற்பொருள் தெளிவுத்திறன் மரம் என்பது ஒரு நிரலாக்க மொழியின் சொற்பொருளின் வரையறைக்கு பயன்படுத்தப்படும் ஒரு மரம் ஆகும். அவை பெரும்பாலும் முதல்-வரிசை முன்கணிப்பு தர்க்கத்தில் உட்பிரிவுகளின் திருப்தியற்ற தன்மையைக் காண்பிப்பதற்கான ஒரு தத்துவார்த்த கருவியாகப் பயன்படுத்தப்படுகின்றன. குறிப்புகள் மரங்கள் (தரவு கட்டமைப்புகள்)