Semantic resolution tree
एक शब्दार्थिक संकल्प वृक्ष एक ऐसा वृक्ष है जिसका उपयोग एक प्रोग्रामिंग भाषा के शब्दार्थ की परिभाषा के लिए किया जाता है। उन्हें अक्सर प्रथम-क्रम विधेय तर्क में खंडों की असंतोषजनकता दिखाने के लिए एक सैद्धांतिक उपकरण के रूप में उपयोग किया गया है। संदर्भ वृक्ष (डेटा संरचना)